27 static unsigned long idt_address(u32 lo, u32 hi)  in idt_address()  argument
29 	return (lo & 0x0000FFFF) | (hi & 0xFFFF0000);  in idt_address()
36 static int idt_type(u32 lo, u32 hi)  in idt_type()  argument
38 	return (hi >> 8) & 0xF;  in idt_type()
42 static bool idt_present(u32 lo, u32 hi)  in idt_present()  argument
44 	return (hi & 0x8000);  in idt_present()
141 static void guest_run_interrupt(struct lg_cpu *cpu, u32 lo, u32 hi)  in guest_run_interrupt()  argument
151 	cpu->regs->eip = idt_address(lo, hi);  in guest_run_interrupt()
167 	if (idt_type(lo, hi) == 0xE)  in guest_run_interrupt()
521 		     unsigned int num, u32 lo, u32 hi)  in set_trap()  argument
523 	u8 type = idt_type(lo, hi);  in set_trap()
526 	if (!idt_present(lo, hi)) {  in set_trap()
542 	trap->b = (hi&0xFFFFEF00);  in set_trap()
554 void load_guest_idt_entry(struct lg_cpu *cpu, unsigned int num, u32 lo, u32 hi)  in load_guest_idt_entry()  argument
573 		set_trap(cpu, &cpu->arch.idt[num], num, lo, hi);  in load_guest_idt_entry()