w32_get_short_filename 1254 src/sound.c    	  if (w32_get_short_filename (psz_file, shortname, MAX_PATH))
w32_get_short_filename 2748 src/w32.c            if (w32_get_short_filename (SSDATA (filename), shortname, MAX_PATH))
w32_get_short_filename  155 src/w32.h      extern unsigned int w32_get_short_filename (const char *, char *, int);
w32_get_short_filename 3143 src/w32proc.c    if (w32_get_short_filename (SSDATA (ENCODE_FILE (filename)),