Symbol: VKD_CD
sys/dev/virtual/vkernel/cdrom/vcd.c
87
if (dsk == NULL || dsk->type != VKD_CD)
sys/platform/vkernel64/platform/init.c
487
init_disk(cdFile, NULL, cdFileNum, VKD_CD);
sys/platform/vkernel64/platform/init.c
489
init_disk(cdFile, NULL, cdFileNum, VKD_CD);
sys/platform/vkernel64/platform/init.c
903
if (type == VKD_CD) {