Symbol: __sysreg_restore_el2_return_state