fps_fdivs          19 arch/powerpc/include/asm/kvm_fpu.h extern void fps_fdivs(u64 *fpscr, u32 *dst, u32 *src1, u32 *src2);
fps_fdivs         874 arch/powerpc/kvm/book3s_paired_singles.c 					ax_ra, ax_rb, SCALAR_NONE, fps_fdivs);