HelenOS sources

s3c24xx_irqc_src_enable  212 kernel/arch/arm32/src/mach/gta02/gta02.c 			s3c24xx_irqc_src_enable(&gta02_irqc,
s3c24xx_irqc_src_enable  222 kernel/arch/arm32/src/mach/gta02/gta02.c 	s3c24xx_irqc_src_enable(&gta02_irqc, S3C24XX_INT_ADC);
s3c24xx_irqc_src_enable  299 kernel/arch/arm32/src/mach/gta02/gta02.c 	s3c24xx_irqc_src_enable(&gta02_irqc, S3C24XX_INT_TIMER0);
s3c24xx_irqc_src_enable  129 kernel/genarch/include/genarch/drivers/s3c24xx/irqc.h extern void s3c24xx_irqc_src_enable(s3c24xx_irqc_t *, unsigned);