taglinefilesource code
hlt_works_ok62arch/i386/kernel/process.cif (hlt_works_ok && !hlt_counter) {
hlt_works_ok113arch/i386/kernel/process.cif (hlt_works_ok && !hlt_counter && !need_resched)
hlt_works_ok150arch/i386/kernel/process.cif(cpu_data[smp_processor_id()].hlt_works_ok && !hlt_counter && !need_resched)
hlt_works_ok48arch/i386/kernel/setup.cchar hlt_works_ok = 1;    /* set if the "hlt" instruction works */
hlt_works_ok246arch/i386/kernel/setup.chlt_works_ok ? "yes" : "no",
hlt_works_ok292arch/i386/kernel/setup.cbp+=sprintf(bp,"%-16s", cpu_data[i].hlt_works_ok?"yes":"no");
hlt_works_ok408arch/i386/kernel/smp.cc->hlt_works_ok=hlt_works_ok;
hlt_works_ok957arch/i386/kernel/smp.cif(cpu_data[smp_processor_id()].hlt_works_ok)
hlt_works_ok20include/asm-i386/bugs.hhlt_works_ok = 0;
hlt_works_ok105include/asm-i386/bugs.hif (!hlt_works_ok) {
hlt_works_ok22include/asm-i386/processor.hextern char hlt_works_ok;  /* problems on some 486Dx4's and old 386's */
hlt_works_ok165include/asm-i386/smp.hchar hlt_works_ok;