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