/* cr3 is the current toplevel pagetable page: the principle is the same as cr0. Keep a local copy, and tell the Host when it changes. The only difference is that our local copy is in lguest_data because the Host needs to set it upon our initial hypercall.  */
static void lguest_write_cr3(unsigned long cr3)
/* cr3 is the current toplevel pagetable page: the principle is the same as cr0. Keep a local copy, and tell the Host when it changes. The only difference is that our local copy is in lguest_data because the Host needs to set it upon our initial hypercall.  */
static void lguest_write_cr3(unsigned long cr3)
{
	lguest_data.pgdir = cr3;
	lazy_hcall1(LHCALL_NEW_PGTABLE, cr3);
	cr3_changed = true;
}