Searched refs:__sysreg_restore_user_state (Results 1 – 2 of 2) sorted by relevance
224 __sysreg_restore_user_state(guest_ctxt); in __vcpu_load_switch_sysregs()274 __sysreg_restore_user_state(host_ctxt); in __vcpu_put_switch_sysregs()
205 static inline void __sysreg_restore_user_state(struct kvm_cpu_context *ctxt) in __sysreg_restore_user_state() function