HelenOS sources

PIC_MASK_HIGH      60 kernel/arch/ppc32/src/drivers/pic.c 		pio_write_32(&pic[PIC_MASK_HIGH],
PIC_MASK_HIGH      61 kernel/arch/ppc32/src/drivers/pic.c 		    pio_read_32(&pic[PIC_MASK_HIGH]) | (1 << (intnum - 32)));
PIC_MASK_HIGH      74 kernel/arch/ppc32/src/drivers/pic.c 		pio_write_32(&pic[PIC_MASK_HIGH],
PIC_MASK_HIGH      75 kernel/arch/ppc32/src/drivers/pic.c 		    pio_read_32(&pic[PIC_MASK_HIGH]) & (~(1 << (intnum - 32))));