Symbol: clipper_map_irq