438 		db_printf("VMX not enabled\n");  in DB_SHOW_COMMAND()
443 		db_printf("Only current VMCS supported\n");  in DB_SHOW_COMMAND()
449 		db_printf("No current VM context\n");  in DB_SHOW_COMMAND()
452 	db_printf("VMCS: %jx\n", cur_vmcs);  in DB_SHOW_COMMAND()
453 	db_printf("VPID: %lu\n", vmcs_read(VMCS_VPID));  in DB_SHOW_COMMAND()
454 	db_printf("Activity: ");  in DB_SHOW_COMMAND()
458 		db_printf("Active");  in DB_SHOW_COMMAND()
461 		db_printf("HLT");  in DB_SHOW_COMMAND()
464 		db_printf("Shutdown");  in DB_SHOW_COMMAND()
467 		db_printf("Wait for SIPI");  in DB_SHOW_COMMAND()
470 		db_printf("Unknown: %#lx", val);  in DB_SHOW_COMMAND()
472 	db_printf("\n");  in DB_SHOW_COMMAND()
475 		db_printf("Entry Failure Reason: %u\n", exit & 0xffff);  in DB_SHOW_COMMAND()
477 		db_printf("Exit Reason: %u\n", exit & 0xffff);  in DB_SHOW_COMMAND()
478 	db_printf("Qualification: %#lx\n", vmcs_exit_qualification());  in DB_SHOW_COMMAND()
479 	db_printf("Guest Linear Address: %#lx\n",  in DB_SHOW_COMMAND()
485 		db_printf("Interrupt Type: ");  in DB_SHOW_COMMAND()
488 			db_printf("external");  in DB_SHOW_COMMAND()
491 			db_printf("NMI");  in DB_SHOW_COMMAND()
494 			db_printf("HW exception");  in DB_SHOW_COMMAND()
497 			db_printf("SW exception");  in DB_SHOW_COMMAND()
500 			db_printf("?? %lu", val >> 8 & 0x7);  in DB_SHOW_COMMAND()
503 		db_printf("  Vector: %lu", val & 0xff);  in DB_SHOW_COMMAND()
505 			db_printf("  Error Code: %lx",  in DB_SHOW_COMMAND()
507 		db_printf("\n");  in DB_SHOW_COMMAND()
511 		db_printf("Guest Physical Address: %#lx\n",  in DB_SHOW_COMMAND()
515 	db_printf("VM-instruction error: %#lx\n", vmcs_instruction_error());  in DB_SHOW_COMMAND()