Symbol: vtd_free_ptp
usr/src/uts/intel/io/vmm/intel/vtd.c
912
vtd_free_ptp(nlp, level - 1);
usr/src/uts/intel/io/vmm/intel/vtd.c
927
vtd_free_ptp(dom->ptp, dom->pt_levels);