HelenOS sources

S3C24XX_INT_BIT   106 kernel/genarch/src/drivers/s3c24xx/irqc.c 	pio_write_32(&irqc->regs->srcpnd, S3C24XX_INT_BIT(inum));
S3C24XX_INT_BIT   107 kernel/genarch/src/drivers/s3c24xx/irqc.c 	pio_write_32(&irqc->regs->intpnd, S3C24XX_INT_BIT(inum));
S3C24XX_INT_BIT   114 kernel/genarch/src/drivers/s3c24xx/irqc.c 	    ~S3C24XX_INT_BIT(src));
S3C24XX_INT_BIT   121 kernel/genarch/src/drivers/s3c24xx/irqc.c 	    S3C24XX_INT_BIT(src));