FEXT_FCMPE        667 arch/arm/vfp/vfpdouble.c 	[FEXT_TO_IDX(FEXT_FCMPE)]	= { vfp_double_fcmpe,  OP_SCALAR },
FEXT_FCMPE        712 arch/arm/vfp/vfpsingle.c 	[FEXT_TO_IDX(FEXT_FCMPE)]	= { vfp_single_fcmpe,  OP_SCALAR },