/* This is called when the kernel page tables have changed. That's not very common (unless the Guest is using highmem, which makes the Guest extremely slow), so it's worth separating this from the user flushing above.  */
static void lguest_flush_tlb_kernel(void)
/* This is called when the kernel page tables have changed. That's not very common (unless the Guest is using highmem, which makes the Guest extremely slow), so it's worth separating this from the user flushing above.  */
static void lguest_flush_tlb_kernel(void)
{
	lazy_hcall1(LHCALL_FLUSH_TLB, 1);
}