Searched refs:__sysreg32_restore_state (Results 1 – 3 of 3) sorted by relevance
217 __sysreg32_restore_state(vcpu); in __vcpu_load_switch_sysregs()
339 __sysreg32_restore_state(vcpu); in __kvm_vcpu_run()
317 static inline void __sysreg32_restore_state(struct kvm_vcpu *vcpu) in __sysreg32_restore_state() function