ICC_CTLR_EL1_ID_BITS_MASK
host_id_bits = FIELD_GET(ICC_CTLR_EL1_ID_BITS_MASK, val);
val |= FIELD_PREP(ICC_CTLR_EL1_ID_BITS_MASK, vgic_v3_cpu->num_id_bits);