acpi_ioapic_registered
if (acpi_ioapic_registered(handle, (u32)gsi_base))
int acpi_ioapic_registered(acpi_handle handle, u32 gsi_base);