HelenOS sources

s3c24xx_irqc_clear  142 kernel/arch/arm32/src/mach/gta02/gta02.c 	s3c24xx_irqc_clear(&gta02_irqc, inum);
s3c24xx_irqc_clear  128 kernel/genarch/include/genarch/drivers/s3c24xx/irqc.h extern void s3c24xx_irqc_clear(s3c24xx_irqc_t *, unsigned);