__HYPERVISOR_update_va_mapping
mcl->op = __HYPERVISOR_update_va_mapping;
[__HYPERVISOR_update_va_mapping] = 3,