Searched refs:LAPIC_BroadcastNMI (Results 1 – 3 of 3) sorted by relevance
13 int LAPIC_BroadcastNMI(int vector);
161 LAPIC_BroadcastNMI(int vector) in LAPIC_BroadcastNMI() function
31 LAPIC_BroadcastNMI(T_DEBUGIPI); in Debug_HaltCPUs()