HelenOS sources

omap_irc_irq_ack  167 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	omap_irc_irq_ack(beagleboard.irc_addr);
omap_irc_irq_ack  191 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	omap_irc_irq_ack(bbone.irc_addr);