HelenOS sources

AMDM37x_IRC_IRQ_COUNT  201 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	return AMDM37x_IRC_IRQ_COUNT;
AMDM37x_IRC_IRQ_COUNT   46 kernel/genarch/include/genarch/drivers/amdm37x/irc.h #define OMAP_IRC_IRQ_COUNT        AMDM37x_IRC_IRQ_COUNT