Lines Matching refs:vcpu
328 dump_vm_run_exitcode(struct vm_exit *vmexit, int vcpu)
330 printf("vm exit[%d]\n", vcpu);
412 print_msr_pm(uint64_t msr, int vcpu, int readable, int writeable)
416 printf("%-20s[%d]\t\t%c%c\n", msr_name(msr), vcpu,
425 dump_amd_msr_pm(const char *bitmap, int vcpu)
437 print_msr_pm(msr, vcpu, readable, writeable);
443 print_msr_pm(msr + MSR_AMD6TH_START, vcpu, readable,
450 print_msr_pm(msr + MSR_AMD7TH_START, vcpu, readable,
459 dump_intel_msr_pm(const char *bitmap, int vcpu)
471 print_msr_pm(msr, vcpu, readable, writeable);
477 print_msr_pm(msr + MSR_AMD6TH_START, vcpu, readable,
483 dump_msr_bitmap(int vcpu, uint64_t addr, bool cpu_intel)
509 dump_intel_msr_pm(bitmap, vcpu);
511 dump_amd_msr_pm(bitmap, vcpu);
524 vm_get_vmcs_field(struct vmctx *ctx, int vcpu, int field, uint64_t *ret_val)
527 return (vm_get_register(ctx, vcpu, VMCS_IDENT(field), ret_val));
531 vm_get_vmcb_field(struct vmctx *ctx, int vcpu, int off, int bytes,
535 return (vm_get_register(ctx, vcpu, VMCB_ACCESS(off, bytes), ret_val));
652 get_all_registers(struct vmctx *ctx, int vcpu)
661 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_EFER, &efer);
663 printf("efer[%d]\t\t0x%016lx\n", vcpu, efer);
667 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CR0, &cr0);
669 printf("cr0[%d]\t\t0x%016lx\n", vcpu, cr0);
673 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CR2, &cr2);
675 printf("cr2[%d]\t\t0x%016lx\n", vcpu, cr2);
679 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CR3, &cr3);
681 printf("cr3[%d]\t\t0x%016lx\n", vcpu, cr3);
685 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CR4, &cr4);
687 printf("cr4[%d]\t\t0x%016lx\n", vcpu, cr4);
691 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_DR0, &dr0);
693 printf("dr0[%d]\t\t0x%016lx\n", vcpu, dr0);
697 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_DR1, &dr1);
699 printf("dr1[%d]\t\t0x%016lx\n", vcpu, dr1);
703 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_DR2, &dr2);
705 printf("dr2[%d]\t\t0x%016lx\n", vcpu, dr2);
709 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_DR3, &dr3);
711 printf("dr3[%d]\t\t0x%016lx\n", vcpu, dr3);
715 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_DR6, &dr6);
717 printf("dr6[%d]\t\t0x%016lx\n", vcpu, dr6);
721 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_DR7, &dr7);
723 printf("dr7[%d]\t\t0x%016lx\n", vcpu, dr7);
727 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RSP, &rsp);
729 printf("rsp[%d]\t\t0x%016lx\n", vcpu, rsp);
733 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RIP, &rip);
735 printf("rip[%d]\t\t0x%016lx\n", vcpu, rip);
739 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RAX, &rax);
741 printf("rax[%d]\t\t0x%016lx\n", vcpu, rax);
745 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RBX, &rbx);
747 printf("rbx[%d]\t\t0x%016lx\n", vcpu, rbx);
751 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RCX, &rcx);
753 printf("rcx[%d]\t\t0x%016lx\n", vcpu, rcx);
757 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RDX, &rdx);
759 printf("rdx[%d]\t\t0x%016lx\n", vcpu, rdx);
763 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RSI, &rsi);
765 printf("rsi[%d]\t\t0x%016lx\n", vcpu, rsi);
769 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RDI, &rdi);
771 printf("rdi[%d]\t\t0x%016lx\n", vcpu, rdi);
775 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RBP, &rbp);
777 printf("rbp[%d]\t\t0x%016lx\n", vcpu, rbp);
781 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R8, &r8);
783 printf("r8[%d]\t\t0x%016lx\n", vcpu, r8);
787 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R9, &r9);
789 printf("r9[%d]\t\t0x%016lx\n", vcpu, r9);
793 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R10, &r10);
795 printf("r10[%d]\t\t0x%016lx\n", vcpu, r10);
799 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R11, &r11);
801 printf("r11[%d]\t\t0x%016lx\n", vcpu, r11);
805 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R12, &r12);
807 printf("r12[%d]\t\t0x%016lx\n", vcpu, r12);
811 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R13, &r13);
813 printf("r13[%d]\t\t0x%016lx\n", vcpu, r13);
817 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R14, &r14);
819 printf("r14[%d]\t\t0x%016lx\n", vcpu, r14);
823 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R15, &r15);
825 printf("r15[%d]\t\t0x%016lx\n", vcpu, r15);
829 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RFLAGS,
832 printf("rflags[%d]\t0x%016lx\n", vcpu, rflags);
839 get_all_segments(struct vmctx *ctx, int vcpu)
845 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_DS,
849 vcpu, desc_base, desc_limit, desc_access);
854 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_ES,
858 vcpu, desc_base, desc_limit, desc_access);
863 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_FS,
867 vcpu, desc_base, desc_limit, desc_access);
872 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_GS,
876 vcpu, desc_base, desc_limit, desc_access);
881 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_SS,
885 vcpu, desc_base, desc_limit, desc_access);
890 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_CS,
894 vcpu, desc_base, desc_limit, desc_access);
899 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_TR,
903 vcpu, desc_base, desc_limit, desc_access);
908 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_LDTR,
912 vcpu, desc_base, desc_limit, desc_access);
917 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_GDTR,
921 vcpu, desc_base, desc_limit);
926 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_IDTR,
930 vcpu, desc_base, desc_limit);
935 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CS, &cs);
937 printf("cs[%d]\t\t0x%04lx\n", vcpu, cs);
941 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_DS, &ds);
943 printf("ds[%d]\t\t0x%04lx\n", vcpu, ds);
947 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_ES, &es);
949 printf("es[%d]\t\t0x%04lx\n", vcpu, es);
953 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_FS, &fs);
955 printf("fs[%d]\t\t0x%04lx\n", vcpu, fs);
959 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_GS, &gs);
961 printf("gs[%d]\t\t0x%04lx\n", vcpu, gs);
965 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_SS, &ss);
967 printf("ss[%d]\t\t0x%04lx\n", vcpu, ss);
971 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_TR, &tr);
973 printf("tr[%d]\t\t0x%04lx\n", vcpu, tr);
977 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_LDTR, &ldtr);
979 printf("ldtr[%d]\t\t0x%04lx\n", vcpu, ldtr);
986 get_misc_vmcs(struct vmctx *ctx, int vcpu)
993 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR0_MASK, &cr0mask);
995 printf("cr0_mask[%d]\t\t0x%016lx\n", vcpu, cr0mask);
1000 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR0_SHADOW,
1003 printf("cr0_shadow[%d]\t\t0x%016lx\n", vcpu, cr0shadow);
1008 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR4_MASK, &cr4mask);
1010 printf("cr4_mask[%d]\t\t0x%016lx\n", vcpu, cr4mask);
1015 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR4_SHADOW,
1018 printf("cr4_shadow[%d]\t\t0x%016lx\n", vcpu, cr4shadow);
1023 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET_COUNT,
1027 vcpu, target_count);
1030 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET0,
1034 vcpu, target_addr);
1037 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET1,
1041 vcpu, target_addr);
1044 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET2,
1048 vcpu, target_addr);
1051 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET3,
1055 vcpu, target_addr);
1060 error = vm_get_vmcs_field(ctx, vcpu, VMCS_PIN_BASED_CTLS, &ctl);
1062 printf("pinbased_ctls[%d]\t0x%016lx\n", vcpu, ctl);
1066 error = vm_get_vmcs_field(ctx, vcpu,
1069 printf("procbased_ctls[%d]\t0x%016lx\n", vcpu, ctl);
1073 error = vm_get_vmcs_field(ctx, vcpu,
1076 printf("procbased_ctls2[%d]\t0x%016lx\n", vcpu, ctl);
1080 error = vm_get_vmcs_field(ctx, vcpu,
1083 printf("gla[%d]\t\t0x%016lx\n", vcpu, u64);
1087 error = vm_get_vmcs_field(ctx, vcpu,
1090 printf("gpa[%d]\t\t0x%016lx\n", vcpu, u64);
1095 error = vm_get_vmcs_field(ctx, vcpu, VMCS_ENTRY_INTR_INFO,&u64);
1098 vcpu, u64);
1104 error = vm_get_vmcs_field(ctx, vcpu, VMCS_TPR_THRESHOLD,
1107 printf("tpr_threshold[%d]\t0x%016lx\n", vcpu, threshold);
1112 error = vm_get_vmcs_field(ctx, vcpu, VMCS_INSTRUCTION_ERROR,
1116 vcpu, insterr);
1121 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_CTLS, &ctl);
1123 printf("exit_ctls[%d]\t\t0x%016lx\n", vcpu, ctl);
1127 error = vm_get_vmcs_field(ctx, vcpu, VMCS_ENTRY_CTLS, &ctl);
1129 printf("entry_ctls[%d]\t\t0x%016lx\n", vcpu, ctl);
1133 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_IA32_PAT, &pat);
1135 printf("host_pat[%d]\t\t0x%016lx\n", vcpu, pat);
1139 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_CR0, &cr0);
1141 printf("host_cr0[%d]\t\t0x%016lx\n", vcpu, cr0);
1145 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_CR3, &cr3);
1147 printf("host_cr3[%d]\t\t0x%016lx\n", vcpu, cr3);
1151 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_CR4, &cr4);
1153 printf("host_cr4[%d]\t\t0x%016lx\n", vcpu, cr4);
1157 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_RIP, &rip);
1159 printf("host_rip[%d]\t\t0x%016lx\n", vcpu, rip);
1163 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_RSP, &rsp);
1165 printf("host_rsp[%d]\t\t0x%016lx\n", vcpu, rsp);
1169 error = vm_get_vmcs_field(ctx, vcpu, VMCS_LINK_POINTER, &addr);
1171 printf("vmcs_pointer[%d]\t0x%016lx\n", vcpu, addr);
1175 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_INTR_INFO, &u64);
1178 vcpu, u64);
1183 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_INTR_ERRCODE,
1187 vcpu, u64);
1192 error = vm_get_vmcs_field(ctx, vcpu,
1196 vcpu, u64);
1201 error = vm_get_vmcs_field(ctx, vcpu,
1204 printf("vmcs_exit_inst_length[%d]\t0x%08x\n", vcpu,
1209 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_QUALIFICATION,
1213 vcpu, u64);
1220 get_misc_vmcb(struct vmctx *ctx, int vcpu)
1226 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_CR_INTERCEPT, 4,
1229 printf("cr_intercept[%d]\t0x%08x\n", vcpu, (int)ctl);
1231 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_DR_INTERCEPT, 4,
1234 printf("dr_intercept[%d]\t0x%08x\n", vcpu, (int)ctl);
1236 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_EXC_INTERCEPT, 4,
1239 printf("exc_intercept[%d]\t0x%08x\n", vcpu, (int)ctl);
1241 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_INST1_INTERCEPT,
1244 printf("inst1_intercept[%d]\t0x%08x\n", vcpu, (int)ctl);
1246 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_INST2_INTERCEPT,
1249 printf("inst2_intercept[%d]\t0x%08x\n", vcpu, (int)ctl);
1253 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_TLB_CTRL,
1256 printf("TLB ctrl[%d]\t0x%016lx\n", vcpu, ctl);
1260 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_EXITINFO1,
1263 printf("exitinfo1[%d]\t0x%016lx\n", vcpu, ctl);
1264 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_EXITINFO2,
1267 printf("exitinfo2[%d]\t0x%016lx\n", vcpu, ctl);
1268 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_EXITINTINFO,
1271 printf("exitintinfo[%d]\t0x%016lx\n", vcpu, ctl);
1275 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_VIRQ,
1278 printf("v_irq/tpr[%d]\t0x%016lx\n", vcpu, ctl);
1282 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_AVIC_BAR, 8,
1285 printf("AVIC apic_bar[%d]\t0x%016lx\n", vcpu, addr);
1289 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_AVIC_PAGE, 8,
1292 printf("AVIC backing page[%d]\t0x%016lx\n", vcpu, addr);
1296 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_AVIC_LT, 8,
1300 vcpu, addr);
1301 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_AVIC_PT, 8,
1305 vcpu, addr);
1662 int error, ch, vcpu, ptenum;
1678 vcpu = 0;
1691 vcpu = atoi(optarg);
1859 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_EFER, efer);
1862 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CR0, cr0);
1865 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CR2, cr2);
1868 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CR3, cr3);
1871 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CR4, cr4);
1874 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_DR0, dr0);
1877 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_DR1, dr1);
1880 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_DR2, dr2);
1883 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_DR3, dr3);
1886 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_DR6, dr6);
1889 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_DR7, dr7);
1892 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_RSP, rsp);
1895 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_RIP, rip);
1898 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_RAX, rax);
1901 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_RFLAGS,
1906 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_DS,
1911 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_ES,
1916 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_SS,
1921 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_CS,
1926 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_FS,
1931 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_GS,
1936 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_TR,
1941 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_LDTR,
1946 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_GDTR,
1951 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_IDTR,
1956 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CS, cs);
1959 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_DS, ds);
1962 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_ES, es);
1965 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_FS, fs);
1968 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_GS, gs);
1971 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_SS, ss);
1974 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_TR, tr);
1977 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_LDTR, ldtr);
1980 error = vm_set_x2apic_state(ctx, vcpu, x2apic_state);
1986 error = vm_inject_nmi(ctx, vcpu);
1990 error = vm_lapic_local_irq(ctx, vcpu, assert_lapic_lvt);
2000 error = get_all_registers(ctx, vcpu);
2003 error = get_all_segments(ctx, vcpu);
2007 error = get_misc_vmcs(ctx, vcpu);
2009 error = get_misc_vmcb(ctx, vcpu);
2013 error = vm_get_x2apic_state(ctx, vcpu, &x2apic_state);
2015 printf("x2apic_state[%d]\t%d\n", vcpu, x2apic_state);
2020 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EPTP, &eptp);
2022 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_NPT_BASE,
2026 cpu_intel ? "eptp" : "rvi/npt", vcpu, eptp);
2031 error = vm_get_vmcs_field(ctx, vcpu,
2034 error = vm_get_vmcb_field(ctx, vcpu,
2038 printf("exception_bitmap[%d]\t%#lx\n", vcpu, bm);
2043 error = vm_get_vmcs_field(ctx, vcpu, VMCS_IO_BITMAP_A,
2046 printf("io_bitmap_a[%d]\t%#lx\n", vcpu, bm);
2047 error = vm_get_vmcs_field(ctx, vcpu, VMCS_IO_BITMAP_B,
2050 printf("io_bitmap_b[%d]\t%#lx\n", vcpu, bm);
2052 error = vm_get_vmcb_field(ctx, vcpu,
2055 printf("io_bitmap[%d]\t%#lx\n", vcpu, bm);
2062 error = vm_get_vmcs_field(ctx, vcpu, VMCS_TSC_OFFSET,
2065 error = vm_get_vmcb_field(ctx, vcpu,
2069 printf("tsc_offset[%d]\t0x%016lx\n", vcpu, tscoff);
2074 error = vm_get_vmcs_field(ctx, vcpu, VMCS_MSR_BITMAP,
2077 error = vm_get_vmcb_field(ctx, vcpu,
2080 printf("msr_bitmap[%d]\t\t%#lx\n", vcpu, addr);
2085 error = vm_get_vmcs_field(ctx, vcpu,
2088 error = vm_get_vmcb_field(ctx, vcpu,
2094 error = dump_msr_bitmap(vcpu, addr, cpu_intel);
2100 error = vm_get_vmcs_field(ctx, vcpu, VMCS_VPID, &vpid);
2102 error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_ASID,
2106 cpu_intel ? "vpid" : "asid", vcpu, vpid);
2111 error = vm_get_vmcs_field(ctx, vcpu,
2114 error = vm_get_vmcb_field(ctx, vcpu,
2117 printf("guest_pat[%d]\t\t0x%016lx\n", vcpu, pat);
2122 error = vm_get_vmcs_field(ctx, vcpu,
2126 error = vm_get_vmcb_field(ctx, vcpu,
2131 printf("guest_sysenter_cs[%d]\t%#lx\n", vcpu, cs);
2133 error = vm_get_vmcs_field(ctx, vcpu,
2137 error = vm_get_vmcb_field(ctx, vcpu,
2142 printf("guest_sysenter_sp[%d]\t%#lx\n", vcpu, rsp);
2144 error = vm_get_vmcs_field(ctx, vcpu,
2148 error = vm_get_vmcb_field(ctx, vcpu,
2152 printf("guest_sysenter_ip[%d]\t%#lx\n", vcpu, rip);
2157 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_REASON,
2160 error = vm_get_vmcb_field(ctx, vcpu,
2164 printf("exit_reason[%d]\t%#lx\n", vcpu, u64);
2170 error = vm_set_capability(ctx, vcpu, captype, capval);
2222 error = vm_get_capability(ctx, vcpu, captype, &val);
2224 printf("Capability \"%s\" is %s on vcpu %d\n",
2226 val ? "set" : "not set", vcpu);
2250 error = vm_get_intinfo(ctx, vcpu, &info[0], &info[1]);
2263 stats = vm_get_stats(ctx, vcpu, &tv, &num_stats);
2265 printf("vcpu%d stats:\n", vcpu);
2282 error = vm_run(ctx, vcpu, &vmexit);
2284 dump_vm_run_exitcode(&vmexit, vcpu);