/* Now we can look at each of the routines this calls, in increasing order of complexity: do_hypercalls(), emulate_insn(), maybe_do_interrupt(), deliver_trap() and demand_page(). After all those, we'll be ready to examine the Switcher, and our philosophical understanding of the Host/Guest duality will be complete. :  */
static void adjust_pge(void *on)
/* Now we can look at each of the routines this calls, in increasing order of complexity: do_hypercalls(), emulate_insn(), maybe_do_interrupt(), deliver_trap() and demand_page(). After all those, we'll be ready to examine the Switcher, and our philosophical understanding of the Host/Guest duality will be complete. :  */
static void adjust_pge(void *on)
{
	if (on)
		write_cr4(read_cr4() | X86_CR4_PGE);
	else
		write_cr4(read_cr4() & ~X86_CR4_PGE);
}