Searched refs:int_to_write (Results 1 – 1 of 1) sorted by relevance
51 void write_int_to(char *prefix, char *file, int int_to_write) in write_int_to() argument59 len = snprintf(buf, sizeof(buf), "%s%d", prefix, int_to_write); in write_int_to()