taglinefilesource code
hlt_works_ok21include/linux/sched.hextern int hlt_works_ok;  /* problems on some 486Dx4's and old 386's */
hlt_works_ok335init/main.chlt_works_ok = 0;
hlt_works_ok496init/main.cif (hlt_works_ok) {
hlt_works_ok74kernel/sched.cint hlt_works_ok = 1;    /* set if the "hlt" instruction works */
hlt_works_ok52kernel/sys.cif (hlt_works_ok && !need_resched)