Symbol: amdvi_free_ptp
sys/amd64/vmm/amd/amdvi_hw.c
1039
amdvi_free_ptp(PHYS_TO_DMAP(ptp[i] & AMDVI_PT_MASK), level - 1);
sys/amd64/vmm/amd/amdvi_hw.c
1056
amdvi_free_ptp(domain->ptp, domain->ptp_level);