Constant SystemReg_REG_HCRX_EL2 

pub const SystemReg_REG_HCRX_EL2: SystemReg = 57490;