Home
last modified time | relevance | path

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

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