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