Name

handle_edge_irq — edge type IRQ handler