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?