I wonder, is AFF1 in ICC_SGI1R_EL1 also a bit-mask or does it address directly the cluster?
So does AFF1 == 3 address cluster 3 or cluster 0 and cluster 1.