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

/linux-4.1.27/drivers/lguest/x86/
H A Dcore.c469 static void adjust_pge(void *on) adjust_pge() function
606 * adjust_pge is a helper function which sets or unsets the PGE
609 on_each_cpu(adjust_pge, (void *)0, 1);
623 /* adjust_pge's argument "1" means set PGE. */ lguest_arch_host_fini()
624 on_each_cpu(adjust_pge, (void *)1, 1); lguest_arch_host_fini()

Completed in 66 milliseconds