To access the HCPTR:
MRC p15,4,<Rt>,c1,c1,2 ; Read HCPTR into Rt
MCR p15,4,<Rt>,c1,c1,2 ; Write Rt to HCPTR
Register access is encoded as follows:
Table B1-45 HCPTR access encoding
coproc opc1 CRn CRm opc2
1111 100 0001 0001 010
B1 AArch32 system registers
B1.60 Hyp Architectural Feature Trap Register
100236_0100_00_en Copyright © 2015–2017, 2019 Arm Limited or its affiliates. All rights
reserved.
B1-239
Non-Confidential