Searched refs:kvmppc_save_user_regs (Results 1 – 3 of 3) sorted by relevance
124 void kvmppc_save_user_regs(void);
1157 void kvmppc_save_user_regs(void) in kvmppc_save_user_regs() function1181 EXPORT_SYMBOL_GPL(kvmppc_save_user_regs);
4831 kvmppc_save_user_regs(); in kvmppc_vcpu_run_hv()