Searched refs:int_type (Results 1 – 3 of 3) sorted by relevance
145 …unsigned int int_type; /* interrupt type of the interrupt that was … member
862 thread->machine.int_type = type; in _ml_interrupt_masked_debug_start()879 thread->machine.int_type = 0; in _ml_interrupt_masked_debug_end()924 "timed out:", thread->machine.int_type, in __ml_trigger_interrupts_disabled_handle()934 kern_timeout_try_panic(KERN_TIMEOUT_INTERRUPT, thread->machine.int_type, in __ml_trigger_interrupts_disabled_handle()
1450 …ebug_start((void *)current_thread()->machine.int_handler_addr, current_thread()->machine.int_type); in DebuggerXCall()