Searched refs:saved_expected_fault_handler (Results 1 – 1 of 1) sorted by relevance
526 expected_fault_handler_t saved_expected_fault_handler = NULL; in sleh_synchronous() local584 saved_expected_fault_handler = thread->machine.expected_fault_handler; in sleh_synchronous()591 expected_fault_handler = saved_expected_fault_handler; in sleh_synchronous()754 if (saved_expected_fault_handler != NULL) { in sleh_synchronous()755 thread->machine.expected_fault_handler = saved_expected_fault_handler; in sleh_synchronous()