__asm__ __volatile__("lgdt %0":"=m"(cpu_gdt_descr)); 
load_gdt(&cpu_gdt_descr[0]); 
static void efi_call_phys_epilog(void){	unsigned long cr4;	cpu_gdt_descr[0].address =		(unsigned long) __va(cpu_gdt_descr[0].address);	__asm__ __volatile__("lgdt %0":"=m"(cpu_gdt_descr));	cr4 = read_cr4();	if (cr4 & X86_CR4_PSE) {		swapper_pg_dir[pgd_index(0)].pgd =		    efi_bak_pg_dir_pointer[0].pgd;	} else {		swapper_pg_dir[pgd_index(0)].pgd =		    efi_bak_pg_dir_pointer[0].pgd;		swapper_pg_dir[pgd_index(0x400000)].pgd =		    efi_bak_pg_dir_pointer[1].pgd;	}	/*	 * After the lock is released, the original page table is restored.	 */	local_flush_tlb();	local_irq_restore(efi_rt_eflags);	spin_unlock(&efi_rt_lock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4d37e7e3fd851428dede4d05d3e69d03795a744a/efi.c/buggy/arch/i386/kernel/efi.c