Symbol: __HCRX_EL2_RES0