tag	line	file	source code
disable_hlt	951	drivers/block/floppy.c	disable_hlt();
disable_hlt	242	include/asm-i386/system.h	void disable_hlt(void);
disable_hlt	259	kernel/ksyms.c	X(disable_hlt),