Searched refs:diskFlags (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);
170 int diskFlags[VKDISK_MAX]; in main() local
331 diskFlags[diskFileNum] = (c == 'R'); 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
881 if (S_ISREG(st.st_mode) && (diskFlags[i] & 1) == 0) { in init_disk()
895 info->flags = diskFlags[i]; in init_disk()
|