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

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c574 static void lguest_write_cr4(unsigned long val) lguest_write_cr4() function
1453 pv_cpu_ops.write_cr4 = lguest_write_cr4; lguest_init()

Completed in 38 milliseconds