fps_fres           14 arch/powerpc/include/asm/kvm_fpu.h extern void fps_fres(u64 *fpscr, u32 *dst, u32 *src1);
fps_fres          890 arch/powerpc/kvm/book3s_paired_singles.c 					ax_rb, fps_fres);