intel_iommu_shutdown
x86_platform.iommu_shutdown = intel_iommu_shutdown;
extern void intel_iommu_shutdown(void);