fps_fadds          18 arch/powerpc/include/asm/kvm_fpu.h extern void fps_fadds(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2);
fps_fadds         848 arch/powerpc/kvm/book3s_paired_singles.c 					ax_rb, ax_ra, SCALAR_NO_PS0 | SCALAR_HIGH, fps_fadds);
fps_fadds         853 arch/powerpc/kvm/book3s_paired_singles.c 					ax_ra, ax_rb, SCALAR_NO_PS1 | SCALAR_LOW, fps_fadds);
fps_fadds         882 arch/powerpc/kvm/book3s_paired_singles.c 					ax_ra, ax_rb, SCALAR_NONE, fps_fadds);