tag	line	file	source code
hlt_works_ok	276	fs/proc/array.c	hlt_works_ok ? yes : no,
hlt_works_ok	26	include/linux/sched.h	extern char hlt_works_ok;  /* problems on some 486Dx4's and old 386's */
hlt_works_ok	356	init/main.c	hlt_works_ok = 0;
hlt_works_ok	484	init/main.c	if (!hlt_works_ok) {
hlt_works_ok	82	kernel/sched.c	char hlt_works_ok = 1;    /* set if the "hlt" instruction works */
hlt_works_ok	52	kernel/sys.c	if (hlt_works_ok && !need_resched)