taglinefilesource code
hlt_counter43arch/i386/kernel/process.cstatic int hlt_counter=0;
hlt_counter49arch/i386/kernel/process.chlt_counter++;
hlt_counter54arch/i386/kernel/process.chlt_counter--;
hlt_counter62arch/i386/kernel/process.cif (hlt_works_ok && !hlt_counter) {
hlt_counter113arch/i386/kernel/process.cif (hlt_works_ok && !hlt_counter && !need_resched)
hlt_counter150arch/i386/kernel/process.cif(cpu_data[smp_processor_id()].hlt_works_ok && !hlt_counter && !need_resched)