Searched refs:cp_paused (Results 1 – 1 of 1) sorted by relevance
174 kthread_id_t cp_paused; member855 ASSERT(cpu_pause_info.cp_paused); in start_cpus()856 cpu_pause_info.cp_paused = NULL; in start_cpus()1023 ASSERT(cpi->cp_paused == NULL); in pause_cpus()1073 cpi->cp_paused = curthread; in pause_cpus()1082 if (cpu_pause_info.cp_paused != NULL) { in cpus_paused()1083 ASSERT(cpu_pause_info.cp_paused == curthread); in cpus_paused()