Home | History | Annotate | Download | only in switchback

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");