Searched refs:__sysreg32_save_state (Results 1 – 3 of 3) sorted by relevance
117 __sysreg32_save_state(vcpu); in __vcpu_put_switch_sysregs()
346 __sysreg32_save_state(vcpu); in __kvm_vcpu_run()
272 static inline void __sysreg32_save_state(struct kvm_vcpu *vcpu) in __sysreg32_save_state() function