LHCALL_LOAD_IDT_ENTRY  227 arch/x86/lguest/boot.c 	hcall(LHCALL_LOAD_IDT_ENTRY, entrynum, desc[0], desc[1]);
LHCALL_LOAD_IDT_ENTRY  239 arch/x86/lguest/boot.c 		hcall(LHCALL_LOAD_IDT_ENTRY, i, idt[i].a, idt[i].b);