Searched refs:cp_paused (Results 1 – 1 of 1) sorted by relevance
169 kthread_id_t cp_paused; member829 ASSERT(cpu_pause_info.cp_paused); in start_cpus()830 cpu_pause_info.cp_paused = NULL; in start_cpus()997 ASSERT(cpi->cp_paused == NULL); in pause_cpus()1047 cpi->cp_paused = curthread; in pause_cpus()1056 if (cpu_pause_info.cp_paused != NULL) { in cpus_paused()1057 ASSERT(cpu_pause_info.cp_paused == curthread); in cpus_paused()