Symbol: MAX_DISK_IMAGES
sys/arch/usermode/usermode/machdep.c
213
MAX_DISK_IMAGES) {
sys/arch/usermode/usermode/machdep.c
68
#ifndef MAX_DISK_IMAGES
sys/arch/usermode/usermode/machdep.c
84
char *usermode_disk_image_path[MAX_DISK_IMAGES];