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