Symbol: vtd_free_ptp
sys/amd64/vmm/intel/vtd.c
747
vtd_free_ptp(nlp, level - 1);
sys/amd64/vmm/intel/vtd.c
763
vtd_free_ptp(dom->ptp, dom->pt_levels);