FEXT_FCMP         666 arch/arm/vfp/vfpdouble.c 	[FEXT_TO_IDX(FEXT_FCMP)]	= { vfp_double_fcmp,   OP_SCALAR },
FEXT_FCMP         711 arch/arm/vfp/vfpsingle.c 	[FEXT_TO_IDX(FEXT_FCMP)]	= { vfp_single_fcmp,   OP_SCALAR },