Where can I get the GICv3 specification manual?

Hello All,

This manual is not published in arm infocenter. GIC-500 manual does not provide detailed information for most of the registers. Do you know where I can get the GICv3 manual?

Thanks.

-Jerry