Searched refs:cpu_int_num (Results 1 – 1 of 1) sorted by relevance
2152 uint16_t cpu_int_num; in mp_interrupt_watchdog() local2193 cpu_int_num = saved_state64(cpu_int_state)->isf.trapno; in mp_interrupt_watchdog()2195 vector_timed_out = cpu_int_num; in mp_interrupt_watchdog()2199 cpu, cpu_int_num, cpu_int_event_time, now, cpu_int_state, cpu_rip); in mp_interrupt_watchdog()2203 cpu_int_num = saved_state64(cpu_int_state)->isf.trapno; in mp_interrupt_watchdog()2208 cpu, cpu_int_num, cpu_int_event_time, now, cpu_rip); in mp_interrupt_watchdog()