Searched refs:load_guest_idt_entry (Results 1 – 3 of 3) sorted by relevance
163 void load_guest_idt_entry(struct lg_cpu *cpu, unsigned int i,
499 void load_guest_idt_entry(struct lg_cpu *cpu, unsigned int num, u32 lo, u32 hi) in load_guest_idt_entry() function
616 load_guest_idt_entry(cpu, args->arg1, args->arg2, args->arg3); in lguest_arch_do_hcall()