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

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c569 static unsigned long lguest_read_cr4(void) lguest_read_cr4() function
1452 pv_cpu_ops.read_cr4 = lguest_read_cr4; lguest_init()

Completed in 95 milliseconds