11  * Can be extended by adding triggers to spec_ex_triggers, see comments below.
21 /* toggled to signal occurrence of invalid psw fixup */
31  * The PSW to return to is set by load_psw.
99 	/* Since the fixup sets this to false we check for false here. */  in check_invalid_psw()
111 		report_fail("Expected exception due to invalid PSW");  in check_invalid_psw()
116 /* For normal PSWs bit 12 has to be 0 to be a valid PSW*/
162 /* A short PSW needs to have bit 12 set to be valid. */
183 	int to = 0, from = 0x0dd;  in odd_ex_target()  local
189 		"	lr	%[to],%[from]\n"  in odd_ex_target()
195 		  [to] "+d" (to)  in odd_ex_target()
200 	report(to != from, "did not perform ex with odd target");  in odd_ex_target()
256 /* List of all tests to execute */
276 	/* test failed, nothing to be done, reporting responsibility of trigger */  in test_spec_ex()
286  * NULL must not be passed to __builtin_tbegin via variable, only constant,
287  * forbid diagnose from being NULL at all to keep things simple
298 	 * If the transaction fails, execution is reset to this point with another  in with_transaction()
303 		 * return code is meaningless: transaction needs to complete  in with_transaction()
304 		 * in order to return and completion indicates a test failure  in with_transaction()