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 …]
|