fps_fnmadds        27 arch/powerpc/include/asm/kvm_fpu.h extern void fps_fnmadds(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2,
fps_fnmadds       914 arch/powerpc/kvm/book3s_paired_singles.c 					ax_ra, ax_rc, ax_rb, SCALAR_NONE, fps_fnmadds);