Searched refs:kvmppc_save_user_regs (Results 1 – 3 of 3) sorted by relevance
128 void kvmppc_save_user_regs(void);
1193 void kvmppc_save_user_regs(void) in kvmppc_save_user_regs() function1217 EXPORT_SYMBOL_GPL(kvmppc_save_user_regs);
5087 kvmppc_save_user_regs(); in kvmppc_vcpu_run_hv()