Symbol: vm_mem_allocated
sys/amd64/vmm/amd/svm.c
1614
} else if (vm_mem_allocated(vcpu->vcpu, info2) ||
sys/amd64/vmm/intel/vmx.c
2762
if (vm_mem_allocated(vcpu->vcpu, gpa) ||
sys/arm64/vmm/vmm_arm64.c
751
if (vm_mem_allocated(hypctx->vcpu, gpa)) {
sys/dev/vmm/vmm_mem.h
103
bool vm_mem_allocated(struct vcpu *vcpu, vm_paddr_t gpa);
sys/riscv/vmm/vmm_riscv.c
475
if (vm_mem_allocated(hypctx->vcpu, gpa)) {