HelenOS sources

s3c24xx_irqc_regs_t  102 kernel/arch/arm32/src/mach/gta02/gta02.c 	s3c24xx_irqc_regs_t *irqc_regs;
s3c24xx_irqc_regs_t  123 kernel/genarch/include/genarch/drivers/s3c24xx/irqc.h 	s3c24xx_irqc_regs_t *regs;
s3c24xx_irqc_regs_t  126 kernel/genarch/include/genarch/drivers/s3c24xx/irqc.h extern void s3c24xx_irqc_init(s3c24xx_irqc_t *, s3c24xx_irqc_regs_t *);
s3c24xx_irqc_regs_t   64 kernel/genarch/src/drivers/s3c24xx/irqc.c void s3c24xx_irqc_init(s3c24xx_irqc_t *irqc, s3c24xx_irqc_regs_t *regs)