dmar_device_hotplug
return dmar_device_hotplug(handle, true);
return dmar_device_hotplug(handle, false);