dmar_device_hotplug 2136 drivers/iommu/dmar.c 	return dmar_device_hotplug(handle, true);
dmar_device_hotplug 2141 drivers/iommu/dmar.c 	return dmar_device_hotplug(handle, false);