HelenOS sources

PIC_MASK_LOW       57 kernel/arch/ppc32/src/drivers/pic.c 		pio_write_32(&pic[PIC_MASK_LOW],
PIC_MASK_LOW       58 kernel/arch/ppc32/src/drivers/pic.c 		    pio_read_32(&pic[PIC_MASK_LOW]) | (1 << intnum));
PIC_MASK_LOW       71 kernel/arch/ppc32/src/drivers/pic.c 		pio_write_32(&pic[PIC_MASK_LOW],
PIC_MASK_LOW       72 kernel/arch/ppc32/src/drivers/pic.c 		    pio_read_32(&pic[PIC_MASK_LOW]) & (~(1 << intnum)));