Searched refs:cpu_int_num (Results 1 – 1 of 1) sorted by relevance
2169 uint16_t cpu_int_num; in mp_interrupt_watchdog() local2210 cpu_int_num = saved_state64(cpu_int_state)->isf.trapno; in mp_interrupt_watchdog()2212 vector_timed_out = cpu_int_num; in mp_interrupt_watchdog()2216 cpu, cpu_int_num, cpu_int_event_time, now, cpu_int_state, cpu_rip); in mp_interrupt_watchdog()2220 cpu_int_num = saved_state64(cpu_int_state)->isf.trapno; in mp_interrupt_watchdog()2225 cpu, cpu_int_num, cpu_int_event_time, now, cpu_rip); in mp_interrupt_watchdog()