Searched refs:T_DEBUGIPI (Results 1 – 3 of 3) sorted by relevance
44 #define T_DEBUGIPI 62 /* Kernel Debugger Halt (IPI) */ macro
31 LAPIC_BroadcastNMI(T_DEBUGIPI); in Debug_HaltCPUs()
239 if (tf->vector == T_DEBUGIPI) { in trap_entry()