Searched refs:diskFileNum (Results 1 – 1 of 1) sorted by relevance
| /dflybsd-src/sys/platform/vkernel64/platform/ |
| H A D | init.c | 140 static void init_disk(char **diskExp, int *diskFlags, int diskFileNum, enum vkdisk_type type);
172 int diskFileNum = 0; in main() local
329 if (diskFileNum + cdFileNum < VKDISK_MAX) { in main()
330 diskFile[diskFileNum] = strdup(optarg); in main()
331 diskFlags[diskFileNum] = (c == 'R'); in main()
332 ++diskFileNum; in main()
338 if (diskFileNum + cdFileNum < VKDISK_MAX) in main()
483 init_disk(diskFile, diskFlags, diskFileNum, VKD_DISK); in main()
487 init_disk(diskFile, diskFlags, diskFileNum, VKD_DISK); in main()
844 init_disk(char **diskExp, int *diskFlags, int diskFileNum, enum vkdisk_type type) in init_disk() argument
[all …]
|