565 		db_printf("VMX not enabled\n");  in DB_SHOW_COMMAND()
570 		db_printf("Only current VMCS supported\n");  in DB_SHOW_COMMAND()
576 		db_printf("No current VM context\n");  in DB_SHOW_COMMAND()
579 	db_printf("VMCS: %jx\n", cur_vmcs);  in DB_SHOW_COMMAND()
580 	db_printf("VPID: %lu\n", vmcs_read(VMCS_VPID));  in DB_SHOW_COMMAND()
581 	db_printf("Activity: ");  in DB_SHOW_COMMAND()
585 		db_printf("Active");  in DB_SHOW_COMMAND()
588 		db_printf("HLT");  in DB_SHOW_COMMAND()
591 		db_printf("Shutdown");  in DB_SHOW_COMMAND()
594 		db_printf("Wait for SIPI");  in DB_SHOW_COMMAND()
597 		db_printf("Unknown: %#lx", val);  in DB_SHOW_COMMAND()
599 	db_printf("\n");  in DB_SHOW_COMMAND()
602 		db_printf("Entry Failure Reason: %u\n", exit & 0xffff);  in DB_SHOW_COMMAND()
604 		db_printf("Exit Reason: %u\n", exit & 0xffff);  in DB_SHOW_COMMAND()
605 	db_printf("Qualification: %#lx\n", vmcs_exit_qualification());  in DB_SHOW_COMMAND()
606 	db_printf("Guest Linear Address: %#lx\n",  in DB_SHOW_COMMAND()
612 		db_printf("Interrupt Type: ");  in DB_SHOW_COMMAND()
615 			db_printf("external");  in DB_SHOW_COMMAND()
618 			db_printf("NMI");  in DB_SHOW_COMMAND()
621 			db_printf("HW exception");  in DB_SHOW_COMMAND()
624 			db_printf("SW exception");  in DB_SHOW_COMMAND()
627 			db_printf("?? %lu", val >> 8 & 0x7);  in DB_SHOW_COMMAND()
630 		db_printf("  Vector: %lu", val & 0xff);  in DB_SHOW_COMMAND()
632 			db_printf("  Error Code: %lx",  in DB_SHOW_COMMAND()
634 		db_printf("\n");  in DB_SHOW_COMMAND()
638 		db_printf("Guest Physical Address: %#lx\n",  in DB_SHOW_COMMAND()
642 	db_printf("VM-instruction error: %#lx\n", vmcs_instruction_error());  in DB_SHOW_COMMAND()