Lines Matching refs:__NO_RETURN
409 static void __NO_RETURN test_child(void)
1160 static void __NO_RETURN trigger_unsupported(void)
1169 static void __NO_RETURN trigger_general(void)
1177 static void __NO_RETURN trigger_fatal_page_fault(void)
1183 static void __NO_RETURN trigger_undefined_insn(void)
1195 static void __NO_RETURN trigger_sw_bkpt(void)
1205 static void __NO_RETURN trigger_hw_bkpt(void)
1218 static void __NO_RETURN trigger_integer_divide_by_zero(void)
1230 static void __NO_RETURN trigger_sse_divide_by_zero(void)
1255 static void __NO_RETURN trigger_x87_divide_by_zero(void)
1276 void __NO_RETURN (*trigger_function) (void);
1290 static void __NO_RETURN trigger_exception(const char* excp_name)
1303 static void __NO_RETURN test_child_trigger(const char* excp_name)
1751 static void __NO_RETURN test_child_exit_closing_excp_handle(void)