Searched refs:init_disk (Results 1 – 1 of 1) sorted by relevance
| /dragonfly/sys/platform/vkernel64/platform/ |
| H A D | init.c | 140 static void init_disk(char **diskExp, int *diskFlags, int diskFileNum, enum vkdisk_type type);
483 init_disk(diskFile, diskFlags, diskFileNum, VKD_DISK); in main()
484 init_disk(cdFile, NULL, cdFileNum, VKD_CD); in main()
486 init_disk(cdFile, NULL, cdFileNum, VKD_CD); 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() function
|