Symbol: os_pa_free
sys/dev/virtual/nvmm/nvmm_os.h
291
void os_pa_free(paddr_t);
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2750
os_pa_free(hsave[i].pa);