__HYPERVISOR_mmu_update
return (__hypercall4_int(__HYPERVISOR_mmu_update,
case __HYPERVISOR_mmu_update: