HelenOS sources

s3c24xx_irqc_inum_get  139 kernel/arch/arm32/src/mach/gta02/gta02.c 	inum = s3c24xx_irqc_inum_get(&gta02_irqc);
s3c24xx_irqc_inum_get  127 kernel/genarch/include/genarch/drivers/s3c24xx/irqc.h extern unsigned s3c24xx_irqc_inum_get(s3c24xx_irqc_t *);