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

/linux-4.1.27/drivers/lguest/x86/
H A Dcore.c53 static int cpu_had_pge; variable
604 cpu_had_pge = 1;
621 if (cpu_had_pge) { lguest_arch_host_fini()

Completed in 72 milliseconds