unsigned char curgdt[6]; 
struct Xgt_desc_struct curgdt; 
static void set_gdt(void *newgdt, __u16 limit){	unsigned char curgdt[6];	/* ia32 supports unaligned loads & stores */	(*(__u16 *)(curgdt)) = limit;	(*(__u32 *)(curgdt +2)) = (unsigned long)(newgdt);	__asm__ __volatile__ (		"lgdt %0\n"		: "=m" (curgdt)		);};
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e7b47ccaf655cbaf336745a9b65cf7b22a536fca/machine_kexec.c/clean/arch/i386/kernel/machine_kexec.c