Searched refs:kvmppc_save_user_regs (Results 1 – 3 of 3) sorted by relevance
124 void kvmppc_save_user_regs(void);
1192 void kvmppc_save_user_regs(void) in kvmppc_save_user_regs() function1216 EXPORT_SYMBOL_GPL(kvmppc_save_user_regs);
4873 kvmppc_save_user_regs(); in kvmppc_vcpu_run_hv()