Symbol: fdtbus_interrupt_controller