for(;;) { __asm("cli"); __asm("hlt"); } 
local_irq_disable(); for(;;) halt(); 
voyager_power_off(void){	printk("VOYAGER Power Off\n");	if(voyager_level == 5) {		voyager_cat_power_off();	} else if(voyager_level == 4) {		/* This doesn't apparently work on most L4 machines,		 * but the specs say to do this to get automatic power		 * off.  Unfortunately, if it doesn't power off the		 * machine, it ends up doing a cold restart, which		 * isn't really intended, so comment out the code */#if 0		int port;	  		/* enable the voyager Configuration Space */		outb((inb(VOYAGER_MC_SETUP) & 0xf0) | 0x8, 		     VOYAGER_MC_SETUP);		/* the port for the power off flag is an offset from the		   floating base */		port = (inb(VOYAGER_SSPB_RELOCATION_PORT) << 8) + 0x21;		/* set the power off flag */		outb(inb(port) | 0x1, port);#endif	}	/* and wait for it to happen */	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