ivhd_container_t
process_8byte_deventry(ivhd_container_t *c, char *cp)
ivhd_container_t *c;
c = kmem_zalloc(sizeof (ivhd_container_t), KM_SLEEP);
static ivhd_container_t *
free_ivhd_container(ivhd_container_t *ivhdcp)
ivhd_container_t *next = ivhdcp->ivhdc_next;
kmem_free(ivhdcp, sizeof (ivhd_container_t));
ivhd_container_t *ivhdcp;
add_implicit_deventry(ivhd_container_t *ivhdcp, amd_iommu_acpi_ivhd_t **hash)
add_ivhdc_info(ivhd_container_t *ivhdcp, amd_iommu_acpi_ivhd_t **hash)
process_4byte_deventry(ivhd_container_t *c, char *cp)
ivhd_container_t *ivhdcp;
ivhd_container_t *acp_first_ivhdc;
ivhd_container_t *acp_last_ivhdc;