Searched refs:lguest_write_idt_entry (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c289 static void lguest_write_idt_entry(gate_desc *dt, lguest_write_idt_entry() function
1455 pv_cpu_ops.write_idt_entry = lguest_write_idt_entry; lguest_init()

Completed in 121 milliseconds