ICC_CTLR_EL1_PRI_BITS_MASK
host_pri_bits = FIELD_GET(ICC_CTLR_EL1_PRI_BITS_MASK, val) + 1;
val |= FIELD_PREP(ICC_CTLR_EL1_PRI_BITS_MASK, vgic_v3_cpu->num_pri_bits - 1);
pribits &= ICC_CTLR_EL1_PRI_BITS_MASK;
pri = FIELD_GET(ICC_CTLR_EL1_PRI_BITS_MASK, val) + 1;