Symbol: os_pa_zalloc
sys/dev/virtual/nvmm/nvmm_os.h
290
paddr_t os_pa_zalloc(void);
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2724
hsave[os_cpu_number(cpu)].pa = os_pa_zalloc();