Searched refs:MP_GetCPUs (Results 1 – 3 of 3) sorted by relevance
13 int MP_GetCPUs();
28 if (MP_GetCPUs() == 1) in Debug_HaltCPUs()34 while (debugHalted < (MP_GetCPUs() - 1)) { in Debug_HaltCPUs()
134 MP_GetCPUs() in MP_GetCPUs() function