HYPERVISOR_update_va_mapping
(void) HYPERVISOR_update_va_mapping(GT_PGADDR(i),
(void) HYPERVISOR_update_va_mapping(GT_PGADDR(i),
(void) HYPERVISOR_update_va_mapping(next_avail_addr,
if (HYPERVISOR_update_va_mapping(new_table,
if (HYPERVISOR_update_va_mapping(va, pteval,
if (HYPERVISOR_update_va_mapping(va, pteval, UVMF_INVLPG | UVMF_LOCAL))
if (HYPERVISOR_update_va_mapping(va, pte,
if (HYPERVISOR_update_va_mapping((uintptr_t)addr, 0,
if (HYPERVISOR_update_va_mapping(va, pte, UVMF_INVLPG | UVMF_LOCAL))
(void) HYPERVISOR_update_va_mapping(
(void) HYPERVISOR_update_va_mapping(
(void) HYPERVISOR_update_va_mapping(va, 0,
return (HYPERVISOR_update_va_mapping((uintptr_t)kpm_vbase + pa,
if (HYPERVISOR_update_va_mapping((uintptr_t)va, pte,
if (HYPERVISOR_update_va_mapping((uintptr_t)window,
if (HYPERVISOR_update_va_mapping(va, pteval,
if (HYPERVISOR_update_va_mapping(va, pteval, UVMF_INVLPG | UVMF_LOCAL))
if (HYPERVISOR_update_va_mapping(va,
if (HYPERVISOR_update_va_mapping(va,
(void) HYPERVISOR_update_va_mapping(va, 0,
if (HYPERVISOR_update_va_mapping(va, pte_val, UVMF_INVLPG | UVMF_LOCAL))
if (HYPERVISOR_update_va_mapping(va, pte_val, UVMF_INVLPG | UVMF_LOCAL))
if (HYPERVISOR_update_va_mapping((uintptr_t)window, save_pte,
if (HYPERVISOR_update_va_mapping((uintptr_t)pp_addr1, 0,
if (HYPERVISOR_update_va_mapping((uintptr_t)pp_addr2, 0,
if (HYPERVISOR_update_va_mapping((uintptr_t)pp_addr2, 0,
(void) HYPERVISOR_update_va_mapping(vaddr + i,
(void) HYPERVISOR_update_va_mapping(vaddr, 0x0 | PTE_DEV_BITS,
(void) HYPERVISOR_update_va_mapping(vaddr,
(void) HYPERVISOR_update_va_mapping(vaddr + MMU_PAGESIZE,
if (HYPERVISOR_update_va_mapping((uintptr_t)HYPERVISOR_shared_info,
if (HYPERVISOR_update_va_mapping((uintptr_t)HYPERVISOR_shared_info,
extern int HYPERVISOR_update_va_mapping(ulong_t, uint64_t, ulong_t);