__asm__ __volatile__("lidt %0": :"m" (no_idt)); 
load_idt(&no_idt); 
void machine_emergency_restart(void){	if (!reboot_thru_bios) {		if (efi_enabled) {			efi.reset_system(EFI_RESET_COLD, EFI_SUCCESS, 0, NULL);			__asm__ __volatile__("lidt %0": :"m" (no_idt));			__asm__ __volatile__("int3");		}		/* rebooting needs to touch the page at absolute addr 0 */		*((unsigned short *)__va(0x472)) = reboot_mode;		for (;;) {			mach_reboot_fixups(); /* for board specific fixups */			mach_reboot();			/* That didn't work - force a triple fault.. */			__asm__ __volatile__("lidt %0": :"m" (no_idt));			__asm__ __volatile__("int3");		}	}	if (efi_enabled)		efi.reset_system(EFI_RESET_WARM, EFI_SUCCESS, 0, NULL);	machine_real_restart(jump_to_bios, sizeof(jump_to_bios));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4d37e7e3fd851428dede4d05d3e69d03795a744a/reboot.c/buggy/arch/i386/kernel/reboot.c