Symbol: HCR_EL2