for(;;) { asm("cli"); asm("hlt"); } 
local_irq_disable(); for(;;) halt(); 
machine_restart(char *cmd){	printk("Voyager Warm Restart\n");	kb_wait();	if(voyager_level == 5) {		/* write magic values to the RTC to inform system that		 * shutdown is beginning */		outb(0x8f, 0x70);		outb(0x5 , 0x71);				udelay(50);		outb(0xfe,0x64);         /* pull reset low */	} else if(voyager_level == 4) {		__u16 catbase = inb(VOYAGER_SSPB_RELOCATION_PORT)<<8;		__u8 basebd = inb(VOYAGER_MC_SETUP);				outb(basebd | 0x08, VOYAGER_MC_SETUP);		outb(0x02, catbase + 0x21);	}	for(;;) {		asm("cli");		asm("hlt");	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f2ab4461249df85b20930a7a57b54f39c5ae291a/voyager_basic.c/buggy/arch/i386/mach-voyager/voyager_basic.c