Searched refs:intToPrint (Results 1 – 1 of 1) sorted by relevance
282 void print32Int(int intToPrint, const char *format) { in print32Int() argument285 fprintf(stderr, format, intToPrint); in print32Int()299 void print64Int(long int intToPrint, const char *format) { in print64Int() argument302 fprintf(stderr, format, intToPrint); in print64Int()