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