Symbol: VKD_DISK
sys/dev/virtual/vkernel/disk/vdisk.c
100
if (dsk == NULL || dsk->type != VKD_DISK)
sys/platform/vkernel64/platform/init.c
486
init_disk(diskFile, diskFlags, diskFileNum, VKD_DISK);
sys/platform/vkernel64/platform/init.c
490
init_disk(diskFile, diskFlags, diskFileNum, VKD_DISK);
sys/platform/vkernel64/platform/init.c
870
if (type == VKD_DISK)
sys/platform/vkernel64/platform/init.c
905
} else if (type == VKD_DISK) {