Symbol: vmm_ptp_free
usr/src/uts/intel/io/vmm/intel/vtd.c
916
vmm_ptp_free(ptp);
usr/src/uts/intel/io/vmm/io/iommu.h
90
void vmm_ptp_free(void *);