In GIC500, there is a single redistributor for every core and every redistributor has different address, so I can config the SGI/PPI of each core by different address.
But in GIC600, several cores share a single redistributor! How can I config the SGI/PPI of each core?
I think I find the answer now. Althrough there is a redistributor for a cluster, but there are several "internal redistributor" in the redistributor component. Every "internal redistributor" servers a single PE, and have individual address space.