Searched refs:debugHalted (Results 1 – 1 of 1) sorted by relevance
21 volatile static uint64_t debugHalted = 0; variable34 while (debugHalted < (MP_GetCPUs() - 1)) { in Debug_HaltCPUs()45 while (debugHalted > 0) { in Debug_ResumeCPUs()54 __sync_fetch_and_add(&debugHalted, 1); in Debug_HaltIPI()62 __sync_fetch_and_sub(&debugHalted, 1); in Debug_HaltIPI()