Symbol: GICR_PIDR2
sys/arm64/arm64/gic_v3.c
1406
pidr2 = bus_read_4(r_res, GICR_PIDR2);
sys/arm64/arm64/gic_v3_reg.h
283
#define GITS_PIDR2 GICR_PIDR2