Searched refs:kern_idle (Results 1 – 1 of 1) sorted by relevance
45 static int kern_idle[NCPU]; /* kernel's idle loop */ variable73 kern_idle[CPU->cpu_id] = 1; in cpu_idle_self()74 while (kern_idle[CPU->cpu_id]) in cpu_idle_self()150 kern_idle[i] = 0; in resume_other_cpus()