Symbol: vmm_mmio_free
sys/amd64/vmm/vmm.c
463
vmm_mmio_free(vm_vmspace(vm), gpa, len);
sys/amd64/vmm/vmm_mem.h
36
void vmm_mmio_free(struct vmspace *, vm_paddr_t gpa, size_t size);