Searched refs:debugCmd (Results 1 – 1 of 1) sorted by relevance
20 volatile static uint64_t debugCmd = 0; variable26 debugCmd = 0; in Debug_HaltCPUs()42 debugCmd = 1; in Debug_ResumeCPUs()58 while (debugCmd == 0) { in Debug_HaltIPI()