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_ok51arch/i386/kernel/setup.cchar hlt_works_ok = 1;    /* set if the "hlt" instruction works */
hlt_works_ok314arch/i386/kernel/setup.cCD(hlt_works_ok) ? "no" : "yes",
hlt_works_ok511arch/i386/kernel/smp.cc->hlt_works_ok=hlt_works_ok;
hlt_works_ok1188arch/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_ok24include/asm-i386/processor.hextern char hlt_works_ok;  /* problems on some 486Dx4's and old 386's */
hlt_works_ok166include/asm-i386/smp.hchar hlt_works_ok;