Symbol: kvm_reset_sys_regs
arch/arm64/include/asm/kvm_host.h
1292
void kvm_reset_sys_regs(struct kvm_vcpu *vcpu);
arch/arm64/kvm/reset.c
230
kvm_reset_sys_regs(vcpu);