How to config the SGI/PPI for each core in GIC600?

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?