Searched refs:ICC_CTLR_EL1_ID_BITS_MASK (Results 1 – 2 of 2) sorted by relevance
32 host_id_bits = FIELD_GET(ICC_CTLR_EL1_ID_BITS_MASK, val); in set_gic_ctlr()69 val |= FIELD_PREP(ICC_CTLR_EL1_ID_BITS_MASK, vgic_v3_cpu->num_id_bits); in get_gic_ctlr()
559 #define ICC_CTLR_EL1_ID_BITS_MASK (0x7 << ICC_CTLR_EL1_ID_BITS_SHIFT) macro