GICR_VPROPBASER_4_1_SIZE
val |= FIELD_PREP(GICR_VPROPBASER_4_1_SIZE, GITS_BASER_NR_PAGES(baser) - 1);
npg = FIELD_GET(GICR_VPROPBASER_4_1_SIZE, val) + 1;
val |= FIELD_PREP(GICR_VPROPBASER_4_1_SIZE, npg - 1);