Searched refs:pidr2 (Results 1 – 1 of 1) sorted by relevance
1184 uint32_t pidr2; in gic_v3_redist_find() local1205 pidr2 = bus_read_4(&r_res, GICR_PIDR2); in gic_v3_redist_find()1206 switch (GICR_PIDR2_ARCH(pidr2)) { in gic_v3_redist_find()