GICR_VPROPBASER_4_1_ENTRY_SIZE
esz = FIELD_GET(GICR_VPROPBASER_4_1_ENTRY_SIZE, val) + 1;
esz = FIELD_GET(GICR_VPROPBASER_4_1_ENTRY_SIZE, val);
val |= FIELD_PREP(GICR_VPROPBASER_4_1_ENTRY_SIZE, esz);