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

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c310 static void lguest_load_idt(const struct desc_ptr *desc) lguest_load_idt() function
1441 pv_cpu_ops.load_idt = lguest_load_idt; lguest_init()

Completed in 43 milliseconds