__sysreg32_save_state   69 arch/arm64/include/asm/kvm_hyp.h void __sysreg32_save_state(struct kvm_vcpu *vcpu);
__sysreg32_save_state  707 arch/arm64/kvm/hyp/switch.c 	__sysreg32_save_state(vcpu);
__sysreg32_save_state  294 arch/arm64/kvm/hyp/sysreg-sr.c 	__sysreg32_save_state(vcpu);