Symbol: DSK_AUTO_CONFIG
usr/src/cmd/format/startup.c
1476
if (disk->disk_flags & DSK_AUTO_CONFIG) {
usr/src/cmd/format/startup.c
1941
(DSK_LABEL_DIRTY | DSK_AUTO_CONFIG);
usr/src/cmd/format/startup.c
1956
(DSK_LABEL_DIRTY | DSK_AUTO_CONFIG);