Searched refs:saved_expected_fault_handler (Results 1 – 1 of 1) sorted by relevance
579 expected_fault_handler_t saved_expected_fault_handler = NULL; in sleh_synchronous() local631 saved_expected_fault_handler = thread->machine.expected_fault_handler; in sleh_synchronous()638 expected_fault_handler = saved_expected_fault_handler; in sleh_synchronous()805 if (saved_expected_fault_handler != NULL) { in sleh_synchronous()806 thread->machine.expected_fault_handler = saved_expected_fault_handler; in sleh_synchronous()