Lines Matching defs:mode
55 "No supported mode!");
94 "Guest mode ID %d (%s) not supported.",
104 printf(" -m: specify the guest mode ID to test\n"
107 " Guest mode IDs:\n");
117 unsigned int mode;
126 mode = atoi_non_negative("Guest mode ID", arg);
127 TEST_ASSERT(mode < NUM_VM_MODES, "Guest mode ID %d too big", mode);
128 guest_modes[mode].enabled = true;