AM625: about the gic500 in am625

1.Why are there two GICRs in the k3-am62-main.dtsi device tree?

2.the address 0x01880000 is also inconsistent with the description in the am625 technical manual spruiv7b,here the address is 0x184 0000,which is right?

3.can user use the REDISTRIBUTOR_SGI_PPI_0__2_GICR_ISENABLER0 Register?

here it is Reserved..