HelenOS sources

S3C24XX_SUBINT_BIT  102 kernel/genarch/src/drivers/s3c24xx/irqc.c 			    S3C24XX_SUBINT_BIT(subsrc));
S3C24XX_SUBINT_BIT  129 kernel/genarch/src/drivers/s3c24xx/irqc.c 	    ~S3C24XX_SUBINT_BIT(subsrc));
S3C24XX_SUBINT_BIT  137 kernel/genarch/src/drivers/s3c24xx/irqc.c 	    S3C24XX_SUBINT_BIT(subsrc));