Symbol: amdvi_free_ptp
sys/amd64/vmm/amd/amdvi_hw.c
1039
amdvi_free_ptp((uint64_t *)PHYS_TO_DMAP(ptp[i]
sys/amd64/vmm/amd/amdvi_hw.c
1057
amdvi_free_ptp(domain->ptp, domain->ptp_level);