Searched refs:__sysreg_restore_user_state (Results 1 – 3 of 3) sorted by relevance
91 __sysreg_restore_user_state(guest_ctxt); in __vcpu_load_switch_sysregs()120 __sysreg_restore_user_state(host_ctxt); in __vcpu_put_switch_sysregs()
33 __sysreg_restore_user_state(ctxt); in __sysreg_restore_state_nvhe()
149 static inline void __sysreg_restore_user_state(struct kvm_cpu_context *ctxt) in __sysreg_restore_user_state() function