Symbol: __sysreg_save_el2_return_state