enable_irq_routing
CHECK_RET(enable_irq_routing(acpiModule, table));
status_t enable_irq_routing(acpi_module_info* acpi,
status = enable_irq_routing(acpiModule, table);