Searched refs:int_type (Results 1 – 4 of 4) sorted by relevance
143 …unsigned int int_type; /* interrupt type of the interrupt that was … member
124 thread->machine.int_type = type; \
1405 …MASKED_DEBUG_START(current_thread()->machine.int_handler_addr, current_thread()->machine.int_type); in DebuggerXCall()
890 …thread->machine.int_type, (void *)thread->machine.int_handler_addr, (void *)thread->machine.int_ve… in __ml_trigger_interrupts_disabled_handle()