Symbol: __vcpu_load_switch_sysregs
arch/arm64/include/asm/kvm_hyp.h
99
void __vcpu_load_switch_sysregs(struct kvm_vcpu *vcpu);
arch/arm64/kvm/hyp/vhe/switch.c
220
__vcpu_load_switch_sysregs(vcpu);