taglinefilesource code
hlt_works_ok81arch/i386/kernel/process.cif (cpu_data[smp_processor_id()].hlt_works_ok && !hlt_counter && !need_resched)
hlt_works_ok83arch/i386/kernel/process.cif (hlt_works_ok && !hlt_counter && !need_resched)
hlt_works_ok45arch/i386/kernel/setup.cchar hlt_works_ok = 1;    /* set if the "hlt" instruction works */
hlt_works_ok188arch/i386/kernel/setup.chlt_works_ok ? "yes" : "no",
hlt_works_ok235arch/i386/kernel/setup.cbp+=sprintf(bp,"%-16s", cpu_data[i].hlt_works_ok?"yes":"no");
hlt_works_ok394arch/i386/kernel/smp.cc->hlt_works_ok=hlt_works_ok;
hlt_works_ok910arch/i386/kernel/smp.cif(cpu_data[smp_processor_id()].hlt_works_ok)
hlt_works_ok18include/asm-i386/bugs.hhlt_works_ok = 0;
hlt_works_ok103include/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_ok164include/asm-i386/smp.hchar hlt_works_ok;