ivmd_t
process_ivmd(amd_iommu_acpi_t *acpi, ivmd_t *ivmdp)
c->ivmdc_ivmd = kmem_alloc(sizeof (ivmd_t), KM_SLEEP);
kmem_free(ivmdcp->ivmdc_ivmd, sizeof (ivmd_t));
set_ivmd_info(ivmd_t *ivmdp, amd_iommu_acpi_ivmd_t **hash)
ivmd_t *ivmdc_ivmd;
ivmd_t *ivmdp;