ivhd_t
process_ivhd(amd_iommu_acpi_t *acpi, ivhd_t *ivhdp)
c->ivhdc_ivhd = kmem_alloc(sizeof (ivhd_t), KM_SLEEP);
ivhd_end = (caddr_t)ivhdp + sizeof (ivhd_t);
kmem_free(ivhdcp->ivhdc_ivhd, sizeof (ivhd_t));
add_deventry_info(ivhd_t *ivhdp, ivhd_deventry_t *deventry,
ivhd_t *ivhdp = ivhdcp->ivhdc_ivhd;
ivhd_t *ivhdc_ivhd;
ivhd_t *ivhdp;