Searched refs:cpu_int_num (Results 1 – 1 of 1) sorted by relevance
2147 uint16_t cpu_int_num; in mp_interrupt_watchdog() local2188 cpu_int_num = saved_state64(cpu_int_state)->isf.trapno; in mp_interrupt_watchdog()2190 vector_timed_out = cpu_int_num; in mp_interrupt_watchdog()2194 cpu, cpu_int_num, cpu_int_event_time, now, cpu_int_state, cpu_rip); in mp_interrupt_watchdog()2198 cpu_int_num = saved_state64(cpu_int_state)->isf.trapno; in mp_interrupt_watchdog()2203 cpu, cpu_int_num, cpu_int_event_time, now, cpu_rip); in mp_interrupt_watchdog()