Symbol: __vcpu_put_switch_sysregs
arch/arm64/include/asm/kvm_hyp.h
109
void __vcpu_put_switch_sysregs(struct kvm_vcpu *vcpu);
arch/arm64/kvm/hyp/vhe/switch.c
228
__vcpu_put_switch_sysregs(vcpu);