Searched defs:diskFileNum (Results 1 – 1 of 1) sorted by relevance
172 int diskFileNum = 0; in main() local844 init_disk(char **diskExp, int *diskFlags, int diskFileNum, enum vkdisk_type type) in init_disk()