Lines Matching refs:vexxx_printf
97 /*--- vexxx_printf ---*/
399 static UInt vexxx_printf ( const char *format, ... )
613 vexxx_printf(str1, (int)loops);
665 vexxx_printf("%6d: (%s) ",i,buffer);
673 vexxx_printf("%s ",buffer);
675 vexxx_printf("(%s) = ",buffer);
677 vexxx_printf("%s\n",buffer);
947 vexxx_printf("Error: zero significand in denormalize\n");
1941 vexxx_printf("starting\n");