fpd_fcmpu          41 arch/powerpc/include/asm/kvm_fpu.h extern void fpd_fcmpu(u64 *fpscr, u32 *cr, u64 *src1, u64 *src2);
fpd_fcmpu        1165 arch/powerpc/kvm/book3s_paired_singles.c 			fpd_fcmpu(&vcpu->arch.fp.fpscr, &tmp_cr, fpr_a, fpr_b);