You copied the Doc URL to your clipboard.

4.3.17. CP15 c4, not used

No CP15 registers are accessed with CRn set to c4.