/* So the lguest_set_pte_at() and lguest_set_pmd() functions above are only called when a valid entry is written, not when it's removed (ie. marked not present). Instead, this is where we come when the Guest wants to remove a page table entry: we tell the Host to set that entry to 0 (ie. the present bit is zero).  */
static void lguest_flush_tlb_single(unsigned long addr)
/* So the lguest_set_pte_at() and lguest_set_pmd() functions above are only called when a valid entry is written, not when it's removed (ie. marked not present). Instead, this is where we come when the Guest wants to remove a page table entry: we tell the Host to set that entry to 0 (ie. the present bit is zero).  */
static void lguest_flush_tlb_single(unsigned long addr)
{
	lazy_hcall3(LHCALL_SET_PTE, lguest_data.pgdir, addr, 0);
}