It's section D17.2.37 in the latest version of the ARMv8 architecture manual (I was using an older one earlier).