Symbol: __EL2_REG