PIC0_MASK
pic0->us_pic = (uint32_t)(curpic & PIC0_MASK);
diff = (curpic & PIC0_MASK) - (uint64_t)pic0->us_pic;
pic0->us_pic = (uint32_t)(curpic & PIC0_MASK);
pic0 = (uint32_t)(pic & PIC0_MASK);
pic1 = (uint32_t)((pic >> PIC1_SHIFT) & PIC0_MASK);
pic0->pcbe_pic = (uint32_t)(curpic & PIC0_MASK);
diff = (curpic & PIC0_MASK) - (uint64_t)pic0->pcbe_pic;
pic0->pcbe_pic = (uint32_t)(curpic & PIC0_MASK);
pic0->pcbe_pic = (uint32_t)(curpic & PIC0_MASK);
diff = (curpic & PIC0_MASK) - (uint64_t)pic0->pcbe_pic;
pic0->pcbe_pic = (uint32_t)(curpic & PIC0_MASK);