__asm__ __volatile__ ( "lgdtl %0\n" : : "m" (curgdt) ); 
load_gdt(&curgdt); 
static void set_gdt(void *newgdt, __u16 limit){	struct Xgt_desc_struct curgdt;	/* ia32 supports unaligned loads & stores */	curgdt.size    = limit;	curgdt.address = (unsigned long)newgdt;	__asm__ __volatile__ (		"lgdtl %0\n"		: : "m" (curgdt)		);};
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f2ab4461249df85b20930a7a57b54f39c5ae291a/machine_kexec.c/clean/arch/i386/kernel/machine_kexec.c