Searching in drivers/interrupt_controller