Searched refs:diskFile (Results 1 – 1 of 1) sorted by relevance
164 char *diskFile[VKDISK_MAX]; in main() local330 diskFile[diskFileNum] = strdup(optarg); in main()483 init_disk(diskFile, diskFlags, diskFileNum, VKD_DISK); in main()487 init_disk(diskFile, diskFlags, diskFileNum, VKD_DISK); in main()