dmar_device_add
if (hotadd && dmar_device_add(handle)) {
extern int dmar_device_add(acpi_handle handle);