PIC0_MASK
#define PIC0_MASK (((uint64_t)1 << 32) - 1)
#define PIC0_MASK (((uint64_t)1 << 32) - 1) /* pic0 in bits 31:0 */