kvmppc_save_current_sprs
void kvmppc_save_current_sprs(void);
EXPORT_SYMBOL_GPL(kvmppc_save_current_sprs);
kvmppc_save_current_sprs();