vaddr_t
os_vmobj_unmap(os_kernel_map, (vaddr_t)vcpu->comm,
(vaddr_t)vcpu->comm + NVMM_COMM_PAGE_SIZE, true);
error = os_vmobj_map(os_kernel_map, (vaddr_t *)&vcpu->comm,
error = os_vmobj_map(os_curproc_map, (vaddr_t *)&args->comm,
vaddr_t uva;
os_vmobj_map(struct vm_map *map, vaddr_t *addr, vsize_t size, os_vmobj_t *vmobj,
os_vmobj_unmap(struct vm_map *map, vaddr_t start, vaddr_t end, bool wired)
kmem_free(kernel_map, (vaddr_t)ptr, roundup(size, PAGE_SIZE));
os_contigpa_zalloc(paddr_t *pa, vaddr_t *va, size_t npages)
*va = (vaddr_t)addr;
os_contigpa_free(paddr_t pa __unused, vaddr_t va, size_t npages)
os_vmspace_create(vaddr_t vmin, vaddr_t vmax)
os_vmspace_fault(os_vmspace_t *vm, vaddr_t va, vm_prot_t prot)
(vaddr_t)curproc->p_vmspace->vm_daddr, size,
os_vmobj_unmap(struct vm_map *map, vaddr_t start, vaddr_t end,
uvm_km_free(kernel_map, (vaddr_t)ptr, roundup(size, PAGE_SIZE),
os_contigpa_zalloc(paddr_t *pa, vaddr_t *va, size_t npages)
vaddr_t _va;
os_contigpa_free(paddr_t pa, vaddr_t va, size_t npages)
os_vmspace_create(vaddr_t vmin, vaddr_t vmax)
os_vmspace_fault(os_vmspace_t *vm, vaddr_t va, vm_prot_t prot)
os_vmobj_map(struct vm_map *map, vaddr_t *addr, vsize_t size, os_vmobj_t *vmobj,
os_vmspace_t * os_vmspace_create(vaddr_t, vaddr_t);
int os_vmspace_fault(os_vmspace_t *, vaddr_t, vm_prot_t);
int os_vmobj_map(struct vm_map *, vaddr_t *, vsize_t, os_vmobj_t *,
void os_vmobj_unmap(struct vm_map *map, vaddr_t, vaddr_t, bool);
int os_contigpa_zalloc(paddr_t *, vaddr_t *, size_t);
void os_contigpa_free(paddr_t, vaddr_t, size_t);
(vaddr_t *)&cpudata->vmcb, VMCB_NPAGES);
(vaddr_t *)&cpudata->iobm, IOBM_NPAGES);
(vaddr_t *)&cpudata->msrbm, MSRBM_NPAGES);
os_contigpa_free(cpudata->vmcb_pa, (vaddr_t)cpudata->vmcb,
os_contigpa_free(cpudata->iobm_pa, (vaddr_t)cpudata->iobm,
os_contigpa_free(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm,
os_contigpa_free(cpudata->vmcb_pa, (vaddr_t)cpudata->vmcb,
os_contigpa_free(cpudata->iobm_pa, (vaddr_t)cpudata->iobm,
os_contigpa_free(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm,
(vaddr_t *)&cpudata->vmcs, VMCS_NPAGES);
(vaddr_t *)&cpudata->msrbm, MSRBM_NPAGES);
(vaddr_t *)&cpudata->gmsr, 1);
os_contigpa_free(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs,
os_contigpa_free(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm,
os_contigpa_free(cpudata->gmsr_pa, (vaddr_t)cpudata->gmsr, 1);
os_contigpa_free(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs,
os_contigpa_free(cpudata->msrbm_pa, (vaddr_t)cpudata->msrbm,
os_contigpa_free(cpudata->gmsr_pa, (vaddr_t)cpudata->gmsr,
vaddr_t va;
vaddr_t va;
(vaddr_t)p->p_vmspace->vm_daddr, rlen);
extern vaddr_t lapicbase;