Symbol: svm_get_vmsa_pa
sys/arch/amd64/amd64/vmm_machdep.c
151
int svm_get_vmsa_pa(uint32_t, uint32_t, uint64_t *);
sys/arch/amd64/include/vmmvar.h
1069
int svm_get_vmsa_pa(uint32_t, uint32_t, uint64_t *);
sys/dev/ic/psp.c
706
error = svm_get_vmsa_pa(ues->vmid, ues->vcpuid, &vmsa_paddr);