void arch_domain_destroy(struct domain *d) { p2m_teardown(d); domain_vgic_free(d); domain_vuart_free(d); free_xenheap_page(d->shared_info); }
void arch_domain_destroy(struct domain *d) { /* IOMMU page table is shared with P2M, always call * iommu_domain_destroy() before p2m_teardown(). */ iommu_domain_destroy(d); p2m_teardown(d); domain_vgic_free(d); domain_vuart_free(d); free_xenheap_page(d->shared_info); }
void arch_domain_destroy(struct domain *d) { /* IOMMU page table is shared with P2M, always call * iommu_domain_destroy() before p2m_teardown(). */ iommu_domain_destroy(d); p2m_teardown(d); domain_vgic_free(d); domain_vuart_free(d); free_xenheap_page(d->shared_info); #ifdef CONFIG_ACPI free_xenheap_pages(d->arch.efi_acpi_table, get_order_from_bytes(d->arch.efi_acpi_len)); #endif domain_io_free(d); }