Searched refs:do_devalloc (Results 1 – 1 of 1) sorted by relevance
155 int do_devalloc = 0; variable174 do_devalloc = 1; in main()211 if (system_labeled && do_devalloc && (argc == 2) && in main()381 } else if (do_devalloc) { in dotape()583 } else if (do_devalloc) { in doaudio()745 } else if (do_devalloc) { in dofloppy()1015 } else if (do_devalloc) { in docd()1208 } else if (do_devalloc) { in dormdisk()