Searched refs:Debug_LAPIC (Results 1 – 1 of 1) sorted by relevance
259 Debug_LAPIC(int argc, const char *argv[]) in Debug_LAPIC() function284 REGISTER_DBGCMD(lapic, "LAPIC Status", Debug_LAPIC);