OPT_CHECK
if (OPT_CHECK(RBX_NOINTR))
if (OPT_CHECK(RBX_NOINTR))
if (!OPT_CHECK(RBX_QUIET))
if (!OPT_CHECK(RBX_QUIET))
if (!OPT_CHECK(RBX_QUIET))
if (!auto_boot || !OPT_CHECK(RBX_QUIET)) {
else if (!auto_boot || !OPT_CHECK(RBX_QUIET))
if (OPT_CHECK(RBX_DUAL))
else if (OPT_CHECK(RBX_SERIAL))
if (!OPT_CHECK(RBX_QUIET))
if (!OPT_CHECK(RBX_QUIET)) {
else if (!OPT_CHECK(RBX_QUIET))
ioctrl = OPT_CHECK(RBX_DUAL) ? (IO_SERIAL|IO_KEYBOARD) :
OPT_CHECK(RBX_SERIAL) ? IO_SERIAL : IO_KEYBOARD;
if (OPT_CHECK(RBX_TEXT_MODE) == 0 && vbe_available()) {
if (OPT_CHECK(RBX_DUAL)) {
if (OPT_CHECK(RBX_SERIAL))
} else if (OPT_CHECK(RBX_SERIAL)) {
} else if (OPT_CHECK(RBX_MUTE)) {
autoload_font(OPT_CHECK(RBX_TEXT_MODE) != 0);