440 		db_printf("VMX not enabled\n");  in DB_SHOW_COMMAND()
445 		db_printf("Only current VMCS supported\n");  in DB_SHOW_COMMAND()
451 		db_printf("No current VM context\n");  in DB_SHOW_COMMAND()
454 	db_printf("VMCS: %jx\n", cur_vmcs);  in DB_SHOW_COMMAND()
455 	db_printf("VPID: %lu\n", vmcs_read(VMCS_VPID));  in DB_SHOW_COMMAND()
456 	db_printf("Activity: ");  in DB_SHOW_COMMAND()
460 		db_printf("Active");  in DB_SHOW_COMMAND()
463 		db_printf("HLT");  in DB_SHOW_COMMAND()
466 		db_printf("Shutdown");  in DB_SHOW_COMMAND()
469 		db_printf("Wait for SIPI");  in DB_SHOW_COMMAND()
472 		db_printf("Unknown: %#lx", val);  in DB_SHOW_COMMAND()
474 	db_printf("\n");  in DB_SHOW_COMMAND()
477 		db_printf("Entry Failure Reason: %u\n", exit & 0xffff);  in DB_SHOW_COMMAND()
479 		db_printf("Exit Reason: %u\n", exit & 0xffff);  in DB_SHOW_COMMAND()
480 	db_printf("Qualification: %#lx\n", vmcs_exit_qualification());  in DB_SHOW_COMMAND()
481 	db_printf("Guest Linear Address: %#lx\n",  in DB_SHOW_COMMAND()
487 		db_printf("Interrupt Type: ");  in DB_SHOW_COMMAND()
490 			db_printf("external");  in DB_SHOW_COMMAND()
493 			db_printf("NMI");  in DB_SHOW_COMMAND()
496 			db_printf("HW exception");  in DB_SHOW_COMMAND()
499 			db_printf("SW exception");  in DB_SHOW_COMMAND()
502 			db_printf("?? %lu", val >> 8 & 0x7);  in DB_SHOW_COMMAND()
505 		db_printf("  Vector: %lu", val & 0xff);  in DB_SHOW_COMMAND()
507 			db_printf("  Error Code: %lx",  in DB_SHOW_COMMAND()
509 		db_printf("\n");  in DB_SHOW_COMMAND()
513 		db_printf("Guest Physical Address: %#lx\n",  in DB_SHOW_COMMAND()
517 	db_printf("VM-instruction error: %#lx\n", vmcs_instruction_error());  in DB_SHOW_COMMAND()