fps_fmadds         23 arch/powerpc/include/asm/kvm_fpu.h extern void fps_fmadds(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2,
fps_fmadds        866 arch/powerpc/kvm/book3s_paired_singles.c 					ax_ra, ax_rc, ax_rb, SCALAR_HIGH, fps_fmadds);
fps_fmadds        870 arch/powerpc/kvm/book3s_paired_singles.c 					ax_ra, ax_rc, ax_rb, SCALAR_LOW, fps_fmadds);
fps_fmadds        906 arch/powerpc/kvm/book3s_paired_singles.c 					ax_ra, ax_rc, ax_rb, SCALAR_NONE, fps_fmadds);