HelenOS sources

s3c24xx_irqc_init  110 kernel/arch/arm32/src/mach/gta02/gta02.c 	s3c24xx_irqc_init(&gta02_irqc, irqc_regs);
s3c24xx_irqc_init  126 kernel/genarch/include/genarch/drivers/s3c24xx/irqc.h extern void s3c24xx_irqc_init(s3c24xx_irqc_t *, s3c24xx_irqc_regs_t *);