Home
last modified time | relevance | path

Searched refs:Debug_HaltIPI (Results 1 – 2 of 2) sorted by relevance

/sys/amd64/
Dtrap.c25 extern void Debug_HaltIPI(TrapFrame *tf);
240 Debug_HaltIPI(tf); in trap_entry()
Ddebug.c51 Debug_HaltIPI(TrapFrame *tf) in Debug_HaltIPI() function