System Control
ARM DDI 0500D Copyright © 2013-2014 ARM. All rights reserved. 4-61
ID021414 Non-Confidential
HCR_EL2[63:32] is architecturally mapped to AArch32 register HCR2.
See Hyp Configuration Register 2 on page 4-216.
Attributes HCR_EL2 is a 64-bit register.
Figure 4-33 shows the HCR_EL2 bit assignments.
Figure 4-33 HCR_EL2 bit assignments