/* ... except in early boot when the kernel sets up the initial pagetables, which makes booting astonishingly slow: 1.83 seconds! So we don't even tell the Host anything changed until we've done the first page table switch, which brings boot back to 0.25 seconds.  */
static void lguest_set_pte(pte_t *ptep, pte_t pteval)
/* ... except in early boot when the kernel sets up the initial pagetables, which makes booting astonishingly slow: 1.83 seconds! So we don't even tell the Host anything changed until we've done the first page table switch, which brings boot back to 0.25 seconds.  */
static void lguest_set_pte(pte_t *ptep, pte_t pteval)
{
	native_set_pte(ptep, pteval);
	if (cr3_changed)
		lazy_hcall1(LHCALL_FLUSH_TLB, 1);
}