HYPERVISOR_update_va_mapping_otherdomain
xerr = HYPERVISOR_update_va_mapping_otherdomain((ulong_t)va,
if (HYPERVISOR_update_va_mapping_otherdomain((uintptr_t)addr, pte,
extern int HYPERVISOR_update_va_mapping_otherdomain(ulong_t,