Searched refs:cpu_int_num (Results 1 – 1 of 1) sorted by relevance
2149 uint16_t cpu_int_num; in mp_interrupt_watchdog() local2190 cpu_int_num = saved_state64(cpu_int_state)->isf.trapno; in mp_interrupt_watchdog()2192 vector_timed_out = cpu_int_num; in mp_interrupt_watchdog()2196 cpu, cpu_int_num, cpu_int_event_time, now, cpu_int_state, cpu_rip); in mp_interrupt_watchdog()2200 cpu_int_num = saved_state64(cpu_int_state)->isf.trapno; in mp_interrupt_watchdog()2205 cpu, cpu_int_num, cpu_int_event_time, now, cpu_rip); in mp_interrupt_watchdog()