Symbol: __sysreg32_save_state
arch/arm64/kvm/hyp/nvhe/switch.c
318
__sysreg32_save_state(vcpu);
arch/arm64/kvm/hyp/vhe/sysreg-sr.c
271
__sysreg32_save_state(vcpu);