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