Searched refs:VKD_DISK (Results 1 – 3 of 3) sorted by relevance
70 enum vkdisk_type { VKD_EMPTY, VKD_DISK, VKD_CD } type; enumerator
483 init_disk(diskFile, diskFlags, diskFileNum, VKD_DISK); in main()487 init_disk(diskFile, diskFlags, diskFileNum, VKD_DISK); in main()873 if (type == VKD_DISK) in init_disk()908 } else if (type == VKD_DISK) { in init_disk()
100 if (dsk == NULL || dsk->type != VKD_DISK) in vkdinit()