tag	line	file	source code
hlt_works_ok	21	include/linux/sched.h	extern int hlt_works_ok;  /* problems on some 486Dx4's and old 386's */
hlt_works_ok	335	init/main.c	hlt_works_ok = 0;
hlt_works_ok	496	init/main.c	if (hlt_works_ok) {
hlt_works_ok	74	kernel/sched.c	int hlt_works_ok = 1;    /* set if the "hlt" instruction works */
hlt_works_ok	52	kernel/sys.c	if (hlt_works_ok && !need_resched)