os_pagemem_free - DragonflyBSD

Symbol: os_pagemem_free

sys/dev/virtual/nvmm/nvmm_os.h

void os_pagemem_free(void *, size_t);

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

os_pagemem_free(cpudata, sizeof(*cpudata));

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

os_pagemem_free(cpudata, sizeof(*cpudata));

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

os_pagemem_free(cpudata, sizeof(*cpudata));

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

os_pagemem_free(cpudata, sizeof(*cpudata));