HYPERVISOR_update_va_mapping
if (HYPERVISOR_update_va_mapping((vaddr_t)va,
if (HYPERVISOR_update_va_mapping((vaddr_t)gdtstore, pte,
if (HYPERVISOR_update_va_mapping((vaddr_t)tmpgdt, pte, UVMF_INVLPG) < 0) {
HYPERVISOR_update_va_mapping(xen_dummy_user_pgd + KERNBASE,
HYPERVISOR_update_va_mapping(page, entry, UVMF_INVLPG);
if (HYPERVISOR_update_va_mapping((vaddr_t)HYPERVISOR_shared_info,
if (HYPERVISOR_update_va_mapping((vaddr_t)HYPERVISOR_shared_info,