566 		db_printf("VMX not enabled\n");  in DB_SHOW_COMMAND()
571 		db_printf("Only current VMCS supported\n");  in DB_SHOW_COMMAND()
577 		db_printf("No current VM context\n");  in DB_SHOW_COMMAND()
580 	db_printf("VMCS: %jx\n", cur_vmcs);  in DB_SHOW_COMMAND()
581 	db_printf("VPID: %lu\n", vmcs_read(VMCS_VPID));  in DB_SHOW_COMMAND()
582 	db_printf("Activity: ");  in DB_SHOW_COMMAND()
586 		db_printf("Active");  in DB_SHOW_COMMAND()
589 		db_printf("HLT");  in DB_SHOW_COMMAND()
592 		db_printf("Shutdown");  in DB_SHOW_COMMAND()
595 		db_printf("Wait for SIPI");  in DB_SHOW_COMMAND()
598 		db_printf("Unknown: %#lx", val);  in DB_SHOW_COMMAND()
600 	db_printf("\n");  in DB_SHOW_COMMAND()
603 		db_printf("Entry Failure Reason: %u\n", exit & 0xffff);  in DB_SHOW_COMMAND()
605 		db_printf("Exit Reason: %u\n", exit & 0xffff);  in DB_SHOW_COMMAND()
606 	db_printf("Qualification: %#lx\n", vmcs_exit_qualification());  in DB_SHOW_COMMAND()
607 	db_printf("Guest Linear Address: %#lx\n",  in DB_SHOW_COMMAND()
613 		db_printf("Interrupt Type: ");  in DB_SHOW_COMMAND()
616 			db_printf("external");  in DB_SHOW_COMMAND()
619 			db_printf("NMI");  in DB_SHOW_COMMAND()
622 			db_printf("HW exception");  in DB_SHOW_COMMAND()
625 			db_printf("SW exception");  in DB_SHOW_COMMAND()
628 			db_printf("?? %lu", val >> 8 & 0x7);  in DB_SHOW_COMMAND()
631 		db_printf("  Vector: %lu", val & 0xff);  in DB_SHOW_COMMAND()
633 			db_printf("  Error Code: %lx",  in DB_SHOW_COMMAND()
635 		db_printf("\n");  in DB_SHOW_COMMAND()
639 		db_printf("Guest Physical Address: %#lx\n",  in DB_SHOW_COMMAND()
643 	db_printf("VM-instruction error: %#lx\n", vmcs_instruction_error());  in DB_SHOW_COMMAND()