Symbol: os_kernel_map
sys/dev/virtual/nvmm/nvmm.c
157
os_vmobj_unmap(os_kernel_map, (vaddr_t)vcpu->comm,
sys/dev/virtual/nvmm/nvmm.c
385
error = os_vmobj_map(os_kernel_map, (vaddr_t *)&vcpu->comm,