__HYPERVISOR_mmu_update
mcl->op = __HYPERVISOR_mmu_update;
mcs = xen_mc_extend_args(__HYPERVISOR_mmu_update, sizeof(*u));
[__HYPERVISOR_mmu_update] = 4,