(*(u16 *)(curidt)) = limit; (*(u64 *)(curidt +2)) = (unsigned long)(newidt); 
curidt.size    = limit; curidt.address = (unsigned long)newidt; 
static void set_idt(void *newidt, u16 limit){	unsigned char curidt[10];	/* x86-64 supports unaliged loads & stores */	(*(u16 *)(curidt)) = limit;	(*(u64 *)(curidt +2)) = (unsigned long)(newidt);	__asm__ __volatile__ (		"lidt %0\n"		: "=m" (curidt)		);};
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/36c4fd23cc06f81d68ee968c4c1bf1cebb3dcea5/machine_kexec.c/clean/arch/x86_64/kernel/machine_kexec.c