intel_iommu_shutdown
void intel_iommu_shutdown(void)
static inline void intel_iommu_shutdown(void) { }