__asm__ __volatile__("hlt ; hlt ; hlt ; hlt"); 
halt(); halt(); halt(); halt(); 
static void __init check_hlt(void){	printk(KERN_INFO "Checking 'hlt' instruction... ");	if (!boot_cpu_data.hlt_works_ok) {		printk("disabled\n");		return;	}	__asm__ __volatile__("hlt ; hlt ; hlt ; hlt");	printk("OK.\n");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4bb0d3ec3e5b1e9e2399cdc641b3b6521ac9cdaa/bugs.h/clean/include/asm-i386/bugs.h