Symbol: __sysreg32_restore_state
arch/arm64/kvm/hyp/nvhe/switch.c
298
__sysreg32_restore_state(vcpu);
arch/arm64/kvm/hyp/vhe/sysreg-sr.c
223
__sysreg32_restore_state(vcpu);