/* This is what happens after the Guest has removed a large number of entries. This tells the Host that any of the page table entries for userspace might have changed, ie. virtual addresses below PAGE_OFFSET.  */
static void lguest_flush_tlb_user(void)
/* This is what happens after the Guest has removed a large number of entries. This tells the Host that any of the page table entries for userspace might have changed, ie. virtual addresses below PAGE_OFFSET.  */
static void lguest_flush_tlb_user(void)
{
	lazy_hcall1(LHCALL_FLUSH_TLB, 0);
}