usr.sbin/bhyvectl/bhyvectl.c

   1 /*-
   2  * Copyright (c) 2011 NetApp, Inc.
   3  * All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  * 1. Redistributions of source code must retain the above copyright
   9  *    notice, this list of conditions and the following disclaimer.
  10  * 2. Redistributions in binary form must reproduce the above copyright
  11  *    notice, this list of conditions and the following disclaimer in the
  12  *    documentation and/or other materials provided with the distribution.
  13  *
  14  * THIS SOFTWARE IS PROVIDED BY NETAPP, INC ``AS IS'' AND
  15  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  16  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  17  * ARE DISCLAIMED.  IN NO EVENT SHALL NETAPP, INC OR CONTRIBUTORS BE LIABLE
  18  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  19  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  20  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  21  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  22  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  23  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  24  * SUCH DAMAGE.
  25  *
  26  * $FreeBSD$
  27  */
  28
  29 #include <sys/cdefs.h>
  30 __FBSDID("$FreeBSD$");
  31
  32 #include <sys/param.h>
  33 #include <sys/types.h>
  34 #include <sys/sysctl.h>
  35 #include <sys/errno.h>
  36 #include <sys/mman.h>
  37
  38 #include <stdio.h>
  39 #include <stdlib.h>
  40 #include <unistd.h>
  41 #include <libgen.h>
  42 #include <libutil.h>
  43 #include <fcntl.h>
  44 #include <string.h>
  45 #include <getopt.h>
  46 #include <assert.h>
  47
  48 #include <machine/vmm.h>
  49 #include <vmmapi.h>
  50
  51 #include "intel/vmcs.h"
  52
  53 #define MB      (1UL << 20)
  54 #define GB      (1UL << 30)
  55
  56 #define REQ_ARG         required_argument
  57 #define NO_ARG          no_argument
  58 #define OPT_ARG         optional_argument
  59
  60 static const char *progname;
  61
  62 static void
  63 usage(void)
  64 {
  65
  66         (void)fprintf(stderr,
  67         "Usage: %s --vm=<vmname>\n"
  68         "       [--cpu=<vcpu_number>]\n"
  69         "       [--create]\n"
  70         "       [--destroy]\n"
  71         "       [--get-all]\n"
  72         "       [--get-stats]\n"
  73         "       [--set-desc-ds]\n"
  74         "       [--get-desc-ds]\n"
  75         "       [--set-desc-es]\n"
  76         "       [--get-desc-es]\n"
  77         "       [--set-desc-gs]\n"
  78         "       [--get-desc-gs]\n"
  79         "       [--set-desc-fs]\n"
  80         "       [--get-desc-fs]\n"
  81         "       [--set-desc-cs]\n"
  82         "       [--get-desc-cs]\n"
  83         "       [--set-desc-ss]\n"
  84         "       [--get-desc-ss]\n"
  85         "       [--set-desc-tr]\n"
  86         "       [--get-desc-tr]\n"
  87         "       [--set-desc-ldtr]\n"
  88         "       [--get-desc-ldtr]\n"
  89         "       [--set-desc-gdtr]\n"
  90         "       [--get-desc-gdtr]\n"
  91         "       [--set-desc-idtr]\n"
  92         "       [--get-desc-idtr]\n"
  93         "       [--run]\n"
  94         "       [--capname=<capname>]\n"
  95         "       [--getcap]\n"
  96         "       [--setcap=<0|1>]\n"
  97         "       [--desc-base=<BASE>]\n"
  98         "       [--desc-limit=<LIMIT>]\n"
  99         "       [--desc-access=<ACCESS>]\n"
 100         "       [--set-cr0=<CR0>]\n"
 101         "       [--get-cr0]\n"
 102         "       [--set-cr3=<CR3>]\n"
 103         "       [--get-cr3]\n"
 104         "       [--set-cr4=<CR4>]\n"
 105         "       [--get-cr4]\n"
 106         "       [--set-dr7=<DR7>]\n"
 107         "       [--get-dr7]\n"
 108         "       [--set-rsp=<RSP>]\n"
 109         "       [--get-rsp]\n"
 110         "       [--set-rip=<RIP>]\n"
 111         "       [--get-rip]\n"
 112         "       [--get-rax]\n"
 113         "       [--set-rax=<RAX>]\n"
 114         "       [--get-rbx]\n"
 115         "       [--get-rcx]\n"
 116         "       [--get-rdx]\n"
 117         "       [--get-rsi]\n"
 118         "       [--get-rdi]\n"
 119         "       [--get-rbp]\n"
 120         "       [--get-r8]\n"
 121         "       [--get-r9]\n"
 122         "       [--get-r10]\n"
 123         "       [--get-r11]\n"
 124         "       [--get-r12]\n"
 125         "       [--get-r13]\n"
 126         "       [--get-r14]\n"
 127         "       [--get-r15]\n"
 128         "       [--set-rflags=<RFLAGS>]\n"
 129         "       [--get-rflags]\n"
 130         "       [--set-cs]\n"
 131         "       [--get-cs]\n"
 132         "       [--set-ds]\n"
 133         "       [--get-ds]\n"
 134         "       [--set-es]\n"
 135         "       [--get-es]\n"
 136         "       [--set-fs]\n"
 137         "       [--get-fs]\n"
 138         "       [--set-gs]\n"
 139         "       [--get-gs]\n"
 140         "       [--set-ss]\n"
 141         "       [--get-ss]\n"
 142         "       [--get-tr]\n"
 143         "       [--get-ldtr]\n"
 144         "       [--get-vmcs-pinbased-ctls]\n"
 145         "       [--get-vmcs-procbased-ctls]\n"
 146         "       [--get-vmcs-procbased-ctls2]\n"
 147         "       [--get-vmcs-entry-interruption-info]\n"
 148         "       [--set-vmcs-entry-interruption-info=<info>]\n"
 149         "       [--get-vmcs-eptp]\n"
 150         "       [--get-vmcs-guest-physical-address\n"
 151         "       [--get-vmcs-guest-linear-address\n"
 152         "       [--set-vmcs-exception-bitmap]\n"
 153         "       [--get-vmcs-exception-bitmap]\n"
 154         "       [--get-vmcs-io-bitmap-address]\n"
 155         "       [--get-vmcs-tsc-offset]\n"
 156         "       [--get-vmcs-guest-pat]\n"
 157         "       [--get-vmcs-host-pat]\n"
 158         "       [--get-vmcs-host-cr0]\n"
 159         "       [--get-vmcs-host-cr3]\n"
 160         "       [--get-vmcs-host-cr4]\n"
 161         "       [--get-vmcs-host-rip]\n"
 162         "       [--get-vmcs-host-rsp]\n"
 163         "       [--get-vmcs-cr0-mask]\n"
 164         "       [--get-vmcs-cr0-shadow]\n"
 165         "       [--get-vmcs-cr4-mask]\n"
 166         "       [--get-vmcs-cr4-shadow]\n"
 167         "       [--get-vmcs-cr3-targets]\n"
 168         "       [--get-vmcs-apic-access-address]\n"
 169         "       [--get-vmcs-virtual-apic-address]\n"
 170         "       [--get-vmcs-tpr-threshold]\n"
 171         "       [--get-vmcs-msr-bitmap]\n"
 172         "       [--get-vmcs-msr-bitmap-address]\n"
 173         "       [--get-vmcs-vpid]\n"
 174         "       [--get-vmcs-ple-gap]\n"
 175         "       [--get-vmcs-ple-window]\n"
 176         "       [--get-vmcs-instruction-error]\n"
 177         "       [--get-vmcs-exit-ctls]\n"
 178         "       [--get-vmcs-entry-ctls]\n"
 179         "       [--get-vmcs-guest-sysenter]\n"
 180         "       [--get-vmcs-link]\n"
 181         "       [--get-vmcs-exit-reason]\n"
 182         "       [--get-vmcs-exit-qualification]\n"
 183         "       [--get-vmcs-exit-interruption-info]\n"
 184         "       [--get-vmcs-exit-interruption-error]\n"
 185         "       [--get-vmcs-interruptibility]\n"
 186         "       [--set-x2apic-state=<state>]\n"
 187         "       [--get-x2apic-state]\n"
 188         "       [--unassign-pptdev=<bus/slot/func>]\n"
 189         "       [--set-mem=<memory in units of MB>]\n"
 190         "       [--get-lowmem]\n"
 191         "       [--get-highmem]\n"
 192         "       [--get-gpa-pmap]\n"
 193         "       [--assert-lapic-lvt=<pin>]\n"
 194         "       [--inject-nmi]\n"
 195         "       [--force-reset]\n"
 196         "       [--force-poweroff]\n"
 197         "       [--get-active-cpus]\n"
 198         "       [--get-suspended-cpus]\n"
 199         "       [--get-intinfo]\n",
 200         progname);
 201         exit(1);
 202 }
 203
 204 static int get_stats, getcap, setcap, capval, get_gpa_pmap;
 205 static int inject_nmi, assert_lapic_lvt;
 206 static int force_reset, force_poweroff;
 207 static const char *capname;
 208 static int create, destroy, get_lowmem, get_highmem;
 209 static int get_intinfo;
 210 static int get_active_cpus, get_suspended_cpus;
 211 static uint64_t memsize;
 212 static int set_cr0, get_cr0, set_cr3, get_cr3, set_cr4, get_cr4;
 213 static int set_efer, get_efer;
 214 static int set_dr7, get_dr7;
 215 static int set_rsp, get_rsp, set_rip, get_rip, set_rflags, get_rflags;
 216 static int set_rax, get_rax;
 217 static int get_rbx, get_rcx, get_rdx, get_rsi, get_rdi, get_rbp;
 218 static int get_r8, get_r9, get_r10, get_r11, get_r12, get_r13, get_r14, get_r15;
 219 static int set_desc_ds, get_desc_ds;
 220 static int set_desc_es, get_desc_es;
 221 static int set_desc_fs, get_desc_fs;
 222 static int set_desc_gs, get_desc_gs;
 223 static int set_desc_cs, get_desc_cs;
 224 static int set_desc_ss, get_desc_ss;
 225 static int set_desc_gdtr, get_desc_gdtr;
 226 static int set_desc_idtr, get_desc_idtr;
 227 static int set_desc_tr, get_desc_tr;
 228 static int set_desc_ldtr, get_desc_ldtr;
 229 static int set_cs, set_ds, set_es, set_fs, set_gs, set_ss, set_tr, set_ldtr;
 230 static int get_cs, get_ds, get_es, get_fs, get_gs, get_ss, get_tr, get_ldtr;
 231 static int set_x2apic_state, get_x2apic_state;
 232 enum x2apic_state x2apic_state;
 233 static int unassign_pptdev, bus, slot, func;
 234 static int run;
 235
 236 /*
 237  * VMCS-specific fields
 238  */
 239 static int get_pinbased_ctls, get_procbased_ctls, get_procbased_ctls2;
 240 static int get_eptp, get_io_bitmap, get_tsc_offset;
 241 static int get_vmcs_entry_interruption_info, set_vmcs_entry_interruption_info;
 242 static int get_vmcs_interruptibility;
 243 uint32_t vmcs_entry_interruption_info;
 244 static int get_vmcs_gpa, get_vmcs_gla;
 245 static int get_exception_bitmap, set_exception_bitmap, exception_bitmap;
 246 static int get_cr0_mask, get_cr0_shadow;
 247 static int get_cr4_mask, get_cr4_shadow;
 248 static int get_cr3_targets;
 249 static int get_apic_access_addr, get_virtual_apic_addr, get_tpr_threshold;
 250 static int get_msr_bitmap, get_msr_bitmap_address;
 251 static int get_vpid, get_ple_gap, get_ple_window;
 252 static int get_inst_err, get_exit_ctls, get_entry_ctls;
 253 static int get_host_cr0, get_host_cr3, get_host_cr4;
 254 static int get_host_rip, get_host_rsp;
 255 static int get_guest_pat, get_host_pat;
 256 static int get_guest_sysenter, get_vmcs_link;
 257 static int get_vmcs_exit_reason, get_vmcs_exit_qualification;
 258 static int get_vmcs_exit_interruption_info, get_vmcs_exit_interruption_error;
 259
 260 static uint64_t desc_base;
 261 static uint32_t desc_limit, desc_access;
 262
 263 static int get_all;
 264
 265 static void
 266 dump_vm_run_exitcode(struct vm_exit *vmexit, int vcpu)
 267 {
 268         printf("vm exit[%d]\n", vcpu);
 269         printf("\trip\t\t0x%016lx\n", vmexit->rip);
 270         printf("\tinst_length\t%d\n", vmexit->inst_length);
 271         switch (vmexit->exitcode) {
 272         case VM_EXITCODE_INOUT:
 273                 printf("\treason\t\tINOUT\n");
 274                 printf("\tdirection\t%s\n", vmexit->u.inout.in ? "IN" : "OUT");
 275                 printf("\tbytes\t\t%d\n", vmexit->u.inout.bytes);
 276                 printf("\tflags\t\t%s%s\n",
 277                         vmexit->u.inout.string ? "STRING " : "",
 278                         vmexit->u.inout.rep ? "REP " : "");
 279                 printf("\tport\t\t0x%04x\n", vmexit->u.inout.port);
 280                 printf("\teax\t\t0x%08x\n", vmexit->u.inout.eax);
 281                 break;
 282         case VM_EXITCODE_VMX:
 283                 printf("\treason\t\tVMX\n");
 284                 printf("\tstatus\t\t%d\n", vmexit->u.vmx.status);
 285                 printf("\texit_reason\t0x%08x (%u)\n",
 286                     vmexit->u.vmx.exit_reason, vmexit->u.vmx.exit_reason);
 287                 printf("\tqualification\t0x%016lx\n",
 288                         vmexit->u.vmx.exit_qualification);
 289                 printf("\tinst_type\t\t%d\n", vmexit->u.vmx.inst_type);
 290                 printf("\tinst_error\t\t%d\n", vmexit->u.vmx.inst_error);
 291                 break;
 292         default:
 293                 printf("*** unknown vm run exitcode %d\n", vmexit->exitcode);
 294                 break;
 295         }
 296 }
 297
 298 static int
 299 dump_vmcs_msr_bitmap(int vcpu, u_long addr)
 300 {
 301         int error, fd, byte, bit, readable, writeable;
 302         u_int msr;
 303         const char *bitmap;
 304
 305         error = -1;
 306         bitmap = MAP_FAILED;
 307
 308         fd = open("/dev/mem", O_RDONLY, 0);
 309         if (fd < 0)
 310                 goto done;
 311
 312         bitmap = mmap(NULL, PAGE_SIZE, PROT_READ, 0, fd, addr);
 313         if (bitmap == MAP_FAILED)
 314                 goto done;
 315
 316         for (msr = 0; msr < 0x2000; msr++) {
 317                 byte = msr / 8;
 318                 bit = msr & 0x7;
 319
 320                 /* Look at MSRs in the range 0x00000000 to 0x00001FFF */
 321                 readable = (bitmap[byte] & (1 << bit)) ? 0 : 1;
 322                 writeable = (bitmap[2048 + byte] & (1 << bit)) ? 0 : 1;
 323                 if (readable || writeable) {
 324                         printf("msr 0x%08x[%d]\t\t%c%c\n", msr, vcpu,
 325                                 readable ? 'R' : '-',
 326                                 writeable ? 'W' : '-');
 327                 }
 328
 329                 /* Look at MSRs in the range 0xC0000000 to 0xC0001FFF */
 330                 byte += 1024;
 331                 readable = (bitmap[byte] & (1 << bit)) ? 0 : 1;
 332                 writeable = (bitmap[2048 + byte] & (1 << bit)) ? 0 : 1;
 333                 if (readable || writeable) {
 334                         printf("msr 0x%08x[%d]\t\t%c%c\n",
 335                                 0xc0000000 + msr, vcpu,
 336                                 readable ? 'R' : '-',
 337                                 writeable ? 'W' : '-');
 338                 }
 339         }
 340
 341         error = 0;
 342 done:
 343         if (bitmap != MAP_FAILED)
 344                 munmap((void *)bitmap, PAGE_SIZE);
 345         if (fd >= 0)
 346                 close(fd);
 347         return (error);
 348 }
 349
 350 static int
 351 vm_get_vmcs_field(struct vmctx *ctx, int vcpu, int field, uint64_t *ret_val)
 352 {
 353
 354         return (vm_get_register(ctx, vcpu, VMCS_IDENT(field), ret_val));
 355 }
 356
 357 static int
 358 vm_set_vmcs_field(struct vmctx *ctx, int vcpu, int field, uint64_t val)
 359 {
 360
 361         return (vm_set_register(ctx, vcpu, VMCS_IDENT(field), val));
 362 }
 363
 364 enum {
 365         VMNAME = 1000,  /* avoid collision with return values from getopt */
 366         VCPU,
 367         SET_MEM,
 368         SET_EFER,
 369         SET_CR0,
 370         SET_CR3,
 371         SET_CR4,
 372         SET_DR7,
 373         SET_RSP,
 374         SET_RIP,
 375         SET_RAX,
 376         SET_RFLAGS,
 377         DESC_BASE,
 378         DESC_LIMIT,
 379         DESC_ACCESS,
 380         SET_CS,
 381         SET_DS,
 382         SET_ES,
 383         SET_FS,
 384         SET_GS,
 385         SET_SS,
 386         SET_TR,
 387         SET_LDTR,
 388         SET_X2APIC_STATE,
 389         SET_VMCS_EXCEPTION_BITMAP,
 390         SET_VMCS_ENTRY_INTERRUPTION_INFO,
 391         SET_CAP,
 392         CAPNAME,
 393         UNASSIGN_PPTDEV,
 394         GET_GPA_PMAP,
 395         ASSERT_LAPIC_LVT,
 396 };
 397
 398 static void
 399 print_cpus(const char *banner, const cpuset_t *cpus)
 400 {
 401         int i, first;
 402
 403         first = 1;
 404         printf("%s:\t", banner);
 405         if (!CPU_EMPTY(cpus)) {
 406                 for (i = 0; i < CPU_SETSIZE; i++) {
 407                         if (CPU_ISSET(i, cpus)) {
 408                                 printf("%s%d", first ? " " : ", ", i);
 409                                 first = 0;
 410                         }
 411                 }
 412         } else
 413                 printf(" (none)");
 414         printf("\n");
 415 }
 416
 417 static void
 418 print_intinfo(const char *banner, uint64_t info)
 419 {
 420         int type;
 421
 422         printf("%s:\t", banner);
 423         if (info & VM_INTINFO_VALID) {
 424                 type = info & VM_INTINFO_TYPE;
 425                 switch (type) {
 426                 case VM_INTINFO_HWINTR:
 427                         printf("extint");
 428                         break;
 429                 case VM_INTINFO_NMI:
 430                         printf("nmi");
 431                         break;
 432                 case VM_INTINFO_SWINTR:
 433                         printf("swint");
 434                         break;
 435                 default:
 436                         printf("exception");
 437                         break;
 438                 }
 439                 printf(" vector %d", (int)VM_INTINFO_VECTOR(info));
 440                 if (info & VM_INTINFO_DEL_ERRCODE)
 441                         printf(" errcode %#x", (u_int)(info >> 32));
 442         } else {
 443                 printf("n/a");
 444         }
 445         printf("\n");
 446 }
 447
 448 int
 449 main(int argc, char *argv[])
 450 {
 451         char *vmname;
 452         int error, ch, vcpu, ptenum;
 453         vm_paddr_t gpa, gpa_pmap;
 454         size_t len;
 455         struct vm_exit vmexit;
 456         uint64_t ctl, eptp, bm, addr, u64, pteval[4], *pte, info[2];
 457         struct vmctx *ctx;
 458         int wired;
 459         cpuset_t cpus;
 460
 461         uint64_t cr0, cr3, cr4, dr7, rsp, rip, rflags, efer, pat;
 462         uint64_t rax, rbx, rcx, rdx, rsi, rdi, rbp;
 463         uint64_t r8, r9, r10, r11, r12, r13, r14, r15;
 464         uint64_t cs, ds, es, fs, gs, ss, tr, ldtr;
 465
 466         struct option opts[] = {
 467                 { "vm",         REQ_ARG,        0,      VMNAME },
 468                 { "cpu",        REQ_ARG,        0,      VCPU },
 469                 { "set-mem",    REQ_ARG,        0,      SET_MEM },
 470                 { "set-efer",   REQ_ARG,        0,      SET_EFER },
 471                 { "set-cr0",    REQ_ARG,        0,      SET_CR0 },
 472                 { "set-cr3",    REQ_ARG,        0,      SET_CR3 },
 473                 { "set-cr4",    REQ_ARG,        0,      SET_CR4 },
 474                 { "set-dr7",    REQ_ARG,        0,      SET_DR7 },
 475                 { "set-rsp",    REQ_ARG,        0,      SET_RSP },
 476                 { "set-rip",    REQ_ARG,        0,      SET_RIP },
 477                 { "set-rax",    REQ_ARG,        0,      SET_RAX },
 478                 { "set-rflags", REQ_ARG,        0,      SET_RFLAGS },
 479                 { "desc-base",  REQ_ARG,        0,      DESC_BASE },
 480                 { "desc-limit", REQ_ARG,        0,      DESC_LIMIT },
 481                 { "desc-access",REQ_ARG,        0,      DESC_ACCESS },
 482                 { "set-cs",     REQ_ARG,        0,      SET_CS },
 483                 { "set-ds",     REQ_ARG,        0,      SET_DS },
 484                 { "set-es",     REQ_ARG,        0,      SET_ES },
 485                 { "set-fs",     REQ_ARG,        0,      SET_FS },
 486                 { "set-gs",     REQ_ARG,        0,      SET_GS },
 487                 { "set-ss",     REQ_ARG,        0,      SET_SS },
 488                 { "set-tr",     REQ_ARG,        0,      SET_TR },
 489                 { "set-ldtr",   REQ_ARG,        0,      SET_LDTR },
 490                 { "set-x2apic-state",REQ_ARG,   0,      SET_X2APIC_STATE },
 491                 { "set-vmcs-exception-bitmap",
 492                                 REQ_ARG,        0, SET_VMCS_EXCEPTION_BITMAP },
 493                 { "set-vmcs-entry-interruption-info",
 494                                 REQ_ARG, 0, SET_VMCS_ENTRY_INTERRUPTION_INFO },
 495                 { "capname",    REQ_ARG,        0,      CAPNAME },
 496                 { "unassign-pptdev", REQ_ARG,   0,      UNASSIGN_PPTDEV },
 497                 { "setcap",     REQ_ARG,        0,      SET_CAP },
 498                 { "get-gpa-pmap", REQ_ARG,      0,      GET_GPA_PMAP },
 499                 { "assert-lapic-lvt", REQ_ARG,  0,      ASSERT_LAPIC_LVT },
 500                 { "getcap",     NO_ARG,         &getcap,        1 },
 501                 { "get-stats",  NO_ARG,         &get_stats,     1 },
 502                 { "get-desc-ds",NO_ARG,         &get_desc_ds,   1 },
 503                 { "set-desc-ds",NO_ARG,         &set_desc_ds,   1 },
 504                 { "get-desc-es",NO_ARG,         &get_desc_es,   1 },
 505                 { "set-desc-es",NO_ARG,         &set_desc_es,   1 },
 506                 { "get-desc-ss",NO_ARG,         &get_desc_ss,   1 },
 507                 { "set-desc-ss",NO_ARG,         &set_desc_ss,   1 },
 508                 { "get-desc-cs",NO_ARG,         &get_desc_cs,   1 },
 509                 { "set-desc-cs",NO_ARG,         &set_desc_cs,   1 },
 510                 { "get-desc-fs",NO_ARG,         &get_desc_fs,   1 },
 511                 { "set-desc-fs",NO_ARG,         &set_desc_fs,   1 },
 512                 { "get-desc-gs",NO_ARG,         &get_desc_gs,   1 },
 513                 { "set-desc-gs",NO_ARG,         &set_desc_gs,   1 },
 514                 { "get-desc-tr",NO_ARG,         &get_desc_tr,   1 },
 515                 { "set-desc-tr",NO_ARG,         &set_desc_tr,   1 },
 516                 { "set-desc-ldtr", NO_ARG,      &set_desc_ldtr, 1 },
 517                 { "get-desc-ldtr", NO_ARG,      &get_desc_ldtr, 1 },
 518                 { "set-desc-gdtr", NO_ARG,      &set_desc_gdtr, 1 },
 519                 { "get-desc-gdtr", NO_ARG,      &get_desc_gdtr, 1 },
 520                 { "set-desc-idtr", NO_ARG,      &set_desc_idtr, 1 },
 521                 { "get-desc-idtr", NO_ARG,      &get_desc_idtr, 1 },
 522                 { "get-lowmem", NO_ARG,         &get_lowmem,    1 },
 523                 { "get-highmem",NO_ARG,         &get_highmem,   1 },
 524                 { "get-efer",   NO_ARG,         &get_efer,      1 },
 525                 { "get-cr0",    NO_ARG,         &get_cr0,       1 },
 526                 { "get-cr3",    NO_ARG,         &get_cr3,       1 },
 527                 { "get-cr4",    NO_ARG,         &get_cr4,       1 },
 528                 { "get-dr7",    NO_ARG,         &get_dr7,       1 },
 529                 { "get-rsp",    NO_ARG,         &get_rsp,       1 },
 530                 { "get-rip",    NO_ARG,         &get_rip,       1 },
 531                 { "get-rax",    NO_ARG,         &get_rax,       1 },
 532                 { "get-rbx",    NO_ARG,         &get_rbx,       1 },
 533                 { "get-rcx",    NO_ARG,         &get_rcx,       1 },
 534                 { "get-rdx",    NO_ARG,         &get_rdx,       1 },
 535                 { "get-rsi",    NO_ARG,         &get_rsi,       1 },
 536                 { "get-rdi",    NO_ARG,         &get_rdi,       1 },
 537                 { "get-rbp",    NO_ARG,         &get_rbp,       1 },
 538                 { "get-r8",     NO_ARG,         &get_r8,        1 },
 539                 { "get-r9",     NO_ARG,         &get_r9,        1 },
 540                 { "get-r10",    NO_ARG,         &get_r10,       1 },
 541                 { "get-r11",    NO_ARG,         &get_r11,       1 },
 542                 { "get-r12",    NO_ARG,         &get_r12,       1 },
 543                 { "get-r13",    NO_ARG,         &get_r13,       1 },
 544                 { "get-r14",    NO_ARG,         &get_r14,       1 },
 545                 { "get-r15",    NO_ARG,         &get_r15,       1 },
 546                 { "get-rflags", NO_ARG,         &get_rflags,    1 },
 547                 { "get-cs",     NO_ARG,         &get_cs,        1 },
 548                 { "get-ds",     NO_ARG,         &get_ds,        1 },
 549                 { "get-es",     NO_ARG,         &get_es,        1 },
 550                 { "get-fs",     NO_ARG,         &get_fs,        1 },
 551                 { "get-gs",     NO_ARG,         &get_gs,        1 },
 552                 { "get-ss",     NO_ARG,         &get_ss,        1 },
 553                 { "get-tr",     NO_ARG,         &get_tr,        1 },
 554                 { "get-ldtr",   NO_ARG,         &get_ldtr,      1 },
 555                 { "get-vmcs-pinbased-ctls",
 556                                 NO_ARG,         &get_pinbased_ctls, 1 },
 557                 { "get-vmcs-procbased-ctls",
 558                                 NO_ARG,         &get_procbased_ctls, 1 },
 559                 { "get-vmcs-procbased-ctls2",
 560                                 NO_ARG,         &get_procbased_ctls2, 1 },
 561                 { "get-vmcs-guest-linear-address",
 562                                 NO_ARG,         &get_vmcs_gla,  1 },
 563                 { "get-vmcs-guest-physical-address",
 564                                 NO_ARG,         &get_vmcs_gpa,  1 },
 565                 { "get-vmcs-entry-interruption-info",
 566                                 NO_ARG, &get_vmcs_entry_interruption_info, 1},
 567                 { "get-vmcs-eptp", NO_ARG,      &get_eptp,      1 },
 568                 { "get-vmcs-exception-bitmap",
 569                                 NO_ARG,         &get_exception_bitmap, 1 },
 570                 { "get-vmcs-io-bitmap-address",
 571                                 NO_ARG,         &get_io_bitmap, 1 },
 572                 { "get-vmcs-tsc-offset", NO_ARG,&get_tsc_offset, 1 },
 573                 { "get-vmcs-cr0-mask", NO_ARG,  &get_cr0_mask,  1 },
 574                 { "get-vmcs-cr0-shadow", NO_ARG,&get_cr0_shadow, 1 },
 575                 { "get-vmcs-cr4-mask", NO_ARG,  &get_cr4_mask,  1 },
 576                 { "get-vmcs-cr4-shadow", NO_ARG,&get_cr4_shadow, 1 },
 577                 { "get-vmcs-cr3-targets", NO_ARG, &get_cr3_targets, 1},
 578                 { "get-vmcs-apic-access-address",
 579                                 NO_ARG,         &get_apic_access_addr, 1},
 580                 { "get-vmcs-virtual-apic-address",
 581                                 NO_ARG,         &get_virtual_apic_addr, 1},
 582                 { "get-vmcs-tpr-threshold",
 583                                 NO_ARG,         &get_tpr_threshold, 1 },
 584                 { "get-vmcs-msr-bitmap",
 585                                 NO_ARG,         &get_msr_bitmap, 1 },
 586                 { "get-vmcs-msr-bitmap-address",
 587                                 NO_ARG,         &get_msr_bitmap_address, 1 },
 588                 { "get-vmcs-vpid", NO_ARG,      &get_vpid,      1 },
 589                 { "get-vmcs-ple-gap", NO_ARG,   &get_ple_gap,   1 },
 590                 { "get-vmcs-ple-window", NO_ARG,&get_ple_window,1 },
 591                 { "get-vmcs-instruction-error",
 592                                 NO_ARG,         &get_inst_err,  1 },
 593                 { "get-vmcs-exit-ctls", NO_ARG, &get_exit_ctls, 1 },
 594                 { "get-vmcs-entry-ctls",
 595                                         NO_ARG, &get_entry_ctls, 1 },
 596                 { "get-vmcs-guest-pat", NO_ARG, &get_guest_pat, 1 },
 597                 { "get-vmcs-host-pat",  NO_ARG, &get_host_pat,  1 },
 598                 { "get-vmcs-host-cr0",
 599                                 NO_ARG,         &get_host_cr0,  1 },
 600                 { "get-vmcs-host-cr3",
 601                                 NO_ARG,         &get_host_cr3,  1 },
 602                 { "get-vmcs-host-cr4",
 603                                 NO_ARG,         &get_host_cr4,  1 },
 604                 { "get-vmcs-host-rip",
 605                                 NO_ARG,         &get_host_rip,  1 },
 606                 { "get-vmcs-host-rsp",
 607                                 NO_ARG,         &get_host_rsp,  1 },
 608                 { "get-vmcs-guest-sysenter",
 609                                 NO_ARG,         &get_guest_sysenter, 1 },
 610                 { "get-vmcs-link", NO_ARG,      &get_vmcs_link, 1 },
 611                 { "get-vmcs-exit-reason",
 612                                 NO_ARG,         &get_vmcs_exit_reason, 1 },
 613                 { "get-vmcs-exit-qualification",
 614                         NO_ARG,         &get_vmcs_exit_qualification, 1 },
 615                 { "get-vmcs-exit-interruption-info",
 616                                 NO_ARG, &get_vmcs_exit_interruption_info, 1},
 617                 { "get-vmcs-exit-interruption-error",
 618                                 NO_ARG, &get_vmcs_exit_interruption_error, 1},
 619                 { "get-vmcs-interruptibility",
 620                                 NO_ARG, &get_vmcs_interruptibility, 1 },
 621                 { "get-x2apic-state",NO_ARG,    &get_x2apic_state, 1 },
 622                 { "get-all",    NO_ARG,         &get_all,       1 },
 623                 { "run",        NO_ARG,         &run,           1 },
 624                 { "create",     NO_ARG,         &create,        1 },
 625                 { "destroy",    NO_ARG,         &destroy,       1 },
 626                 { "inject-nmi", NO_ARG,         &inject_nmi,    1 },
 627                 { "force-reset",        NO_ARG, &force_reset,   1 },
 628                 { "force-poweroff", NO_ARG,     &force_poweroff, 1 },
 629                 { "get-active-cpus", NO_ARG,    &get_active_cpus, 1 },
 630                 { "get-suspended-cpus", NO_ARG, &get_suspended_cpus, 1 },
 631                 { "get-intinfo", NO_ARG,        &get_intinfo,   1 },
 632                 { NULL,         0,              NULL,           0 }
 633         };
 634
 635         vcpu = 0;
 636         vmname = NULL;
 637         assert_lapic_lvt = -1;
 638         progname = basename(argv[0]);
 639
 640         while ((ch = getopt_long(argc, argv, "", opts, NULL)) != -1) {
 641                 switch (ch) {
 642                 case 0:
 643                         break;
 644                 case VMNAME:
 645                         vmname = optarg;
 646                         break;
 647                 case VCPU:
 648                         vcpu = atoi(optarg);
 649                         break;
 650                 case SET_MEM:
 651                         memsize = atoi(optarg) * MB;
 652                         memsize = roundup(memsize, 2 * MB);
 653                         break;
 654                 case SET_EFER:
 655                         efer = strtoul(optarg, NULL, 0);
 656                         set_efer = 1;
 657                         break;
 658                 case SET_CR0:
 659                         cr0 = strtoul(optarg, NULL, 0);
 660                         set_cr0 = 1;
 661                         break;
 662                 case SET_CR3:
 663                         cr3 = strtoul(optarg, NULL, 0);
 664                         set_cr3 = 1;
 665                         break;
 666                 case SET_CR4:
 667                         cr4 = strtoul(optarg, NULL, 0);
 668                         set_cr4 = 1;
 669                         break;
 670                 case SET_DR7:
 671                         dr7 = strtoul(optarg, NULL, 0);
 672                         set_dr7 = 1;
 673                         break;
 674                 case SET_RSP:
 675                         rsp = strtoul(optarg, NULL, 0);
 676                         set_rsp = 1;
 677                         break;
 678                 case SET_RIP:
 679                         rip = strtoul(optarg, NULL, 0);
 680                         set_rip = 1;
 681                         break;
 682                 case SET_RAX:
 683                         rax = strtoul(optarg, NULL, 0);
 684                         set_rax = 1;
 685                         break;
 686                 case SET_RFLAGS:
 687                         rflags = strtoul(optarg, NULL, 0);
 688                         set_rflags = 1;
 689                         break;
 690                 case DESC_BASE:
 691                         desc_base = strtoul(optarg, NULL, 0);
 692                         break;
 693                 case DESC_LIMIT:
 694                         desc_limit = strtoul(optarg, NULL, 0);
 695                         break;
 696                 case DESC_ACCESS:
 697                         desc_access = strtoul(optarg, NULL, 0);
 698                         break;
 699                 case SET_CS:
 700                         cs = strtoul(optarg, NULL, 0);
 701                         set_cs = 1;
 702                         break;
 703                 case SET_DS:
 704                         ds = strtoul(optarg, NULL, 0);
 705                         set_ds = 1;
 706                         break;
 707                 case SET_ES:
 708                         es = strtoul(optarg, NULL, 0);
 709                         set_es = 1;
 710                         break;
 711                 case SET_FS:
 712                         fs = strtoul(optarg, NULL, 0);
 713                         set_fs = 1;
 714                         break;
 715                 case SET_GS:
 716                         gs = strtoul(optarg, NULL, 0);
 717                         set_gs = 1;
 718                         break;
 719                 case SET_SS:
 720                         ss = strtoul(optarg, NULL, 0);
 721                         set_ss = 1;
 722                         break;
 723                 case SET_TR:
 724                         tr = strtoul(optarg, NULL, 0);
 725                         set_tr = 1;
 726                         break;
 727                 case SET_LDTR:
 728                         ldtr = strtoul(optarg, NULL, 0);
 729                         set_ldtr = 1;
 730                         break;
 731                 case SET_X2APIC_STATE:
 732                         x2apic_state = strtol(optarg, NULL, 0);
 733                         set_x2apic_state = 1;
 734                         break;
 735                 case SET_VMCS_EXCEPTION_BITMAP:
 736                         exception_bitmap = strtoul(optarg, NULL, 0);
 737                         set_exception_bitmap = 1;
 738                         break;
 739                 case SET_VMCS_ENTRY_INTERRUPTION_INFO:
 740                         vmcs_entry_interruption_info = strtoul(optarg, NULL, 0);
 741                         set_vmcs_entry_interruption_info = 1;
 742                         break;
 743                 case SET_CAP:
 744                         capval = strtoul(optarg, NULL, 0);
 745                         setcap = 1;
 746                         break;
 747                 case GET_GPA_PMAP:
 748                         gpa_pmap = strtoul(optarg, NULL, 0);
 749                         get_gpa_pmap = 1;
 750                         break;
 751                 case CAPNAME:
 752                         capname = optarg;
 753                         break;
 754                 case UNASSIGN_PPTDEV:
 755                         unassign_pptdev = 1;
 756                         if (sscanf(optarg, "%d/%d/%d", &bus, &slot, &func) != 3)
 757                                 usage();
 758                         break;
 759                 case ASSERT_LAPIC_LVT:
 760                         assert_lapic_lvt = atoi(optarg);
 761                         break;
 762                 default:
 763                         usage();
 764                 }
 765         }
 766         argc -= optind;
 767         argv += optind;
 768
 769         if (vmname == NULL)
 770                 usage();
 771
 772         error = 0;
 773
 774         if (!error && create)
 775                 error = vm_create(vmname);
 776
 777         if (!error) {
 778                 ctx = vm_open(vmname);
 779                 if (ctx == NULL)
 780                         error = -1;
 781         }
 782
 783         if (!error && memsize)
 784                 error = vm_setup_memory(ctx, memsize, VM_MMAP_NONE);
 785
 786         if (!error && set_efer)
 787                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_EFER, efer);
 788
 789         if (!error && set_cr0)
 790                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CR0, cr0);
 791
 792         if (!error && set_cr3)
 793                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CR3, cr3);
 794
 795         if (!error && set_cr4)
 796                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CR4, cr4);
 797
 798         if (!error && set_dr7)
 799                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_DR7, dr7);
 800
 801         if (!error && set_rsp)
 802                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_RSP, rsp);
 803
 804         if (!error && set_rip)
 805                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_RIP, rip);
 806
 807         if (!error && set_rax)
 808                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_RAX, rax);
 809
 810         if (!error && set_rflags) {
 811                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_RFLAGS,
 812                                         rflags);
 813         }
 814
 815         if (!error && set_desc_ds) {
 816                 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_DS,
 817                                     desc_base, desc_limit, desc_access);
 818         }
 819
 820         if (!error && set_desc_es) {
 821                 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_ES,
 822                                     desc_base, desc_limit, desc_access);
 823         }
 824
 825         if (!error && set_desc_ss) {
 826                 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_SS,
 827                                     desc_base, desc_limit, desc_access);
 828         }
 829
 830         if (!error && set_desc_cs) {
 831                 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_CS,
 832                                     desc_base, desc_limit, desc_access);
 833         }
 834
 835         if (!error && set_desc_fs) {
 836                 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_FS,
 837                                     desc_base, desc_limit, desc_access);
 838         }
 839
 840         if (!error && set_desc_gs) {
 841                 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_GS,
 842                                     desc_base, desc_limit, desc_access);
 843         }
 844
 845         if (!error && set_desc_tr) {
 846                 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_TR,
 847                                     desc_base, desc_limit, desc_access);
 848         }
 849
 850         if (!error && set_desc_ldtr) {
 851                 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_LDTR,
 852                                     desc_base, desc_limit, desc_access);
 853         }
 854
 855         if (!error && set_desc_gdtr) {
 856                 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_GDTR,
 857                                     desc_base, desc_limit, 0);
 858         }
 859
 860         if (!error && set_desc_idtr) {
 861                 error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_IDTR,
 862                                     desc_base, desc_limit, 0);
 863         }
 864
 865         if (!error && set_cs)
 866                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CS, cs);
 867
 868         if (!error && set_ds)
 869                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_DS, ds);
 870
 871         if (!error && set_es)
 872                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_ES, es);
 873
 874         if (!error && set_fs)
 875                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_FS, fs);
 876
 877         if (!error && set_gs)
 878                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_GS, gs);
 879
 880         if (!error && set_ss)
 881                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_SS, ss);
 882
 883         if (!error && set_tr)
 884                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_TR, tr);
 885
 886         if (!error && set_ldtr)
 887                 error = vm_set_register(ctx, vcpu, VM_REG_GUEST_LDTR, ldtr);
 888
 889         if (!error && set_x2apic_state)
 890                 error = vm_set_x2apic_state(ctx, vcpu, x2apic_state);
 891
 892         if (!error && unassign_pptdev)
 893                 error = vm_unassign_pptdev(ctx, bus, slot, func);
 894
 895         if (!error && set_exception_bitmap) {
 896                 error = vm_set_vmcs_field(ctx, vcpu, VMCS_EXCEPTION_BITMAP,
 897                                           exception_bitmap);
 898         }
 899
 900         if (!error && set_vmcs_entry_interruption_info) {
 901                 error = vm_set_vmcs_field(ctx, vcpu, VMCS_ENTRY_INTR_INFO,
 902                                           vmcs_entry_interruption_info);
 903         }
 904
 905         if (!error && inject_nmi) {
 906                 error = vm_inject_nmi(ctx, vcpu);
 907         }
 908
 909         if (!error && assert_lapic_lvt != -1) {
 910                 error = vm_lapic_local_irq(ctx, vcpu, assert_lapic_lvt);
 911         }
 912
 913         if (!error && (get_lowmem || get_all)) {
 914                 gpa = 0;
 915                 error = vm_get_memory_seg(ctx, gpa, &len, &wired);
 916                 if (error == 0)
 917                         printf("lowmem\t\t0x%016lx/%ld%s\n", gpa, len,
 918                             wired ? " wired" : "");
 919         }
 920
 921         if (!error && (get_highmem || get_all)) {
 922                 gpa = 4 * GB;
 923                 error = vm_get_memory_seg(ctx, gpa, &len, &wired);
 924                 if (error == 0)
 925                         printf("highmem\t\t0x%016lx/%ld%s\n", gpa, len,
 926                             wired ? " wired" : "");
 927         }
 928
 929         if (!error && (get_efer || get_all)) {
 930                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_EFER, &efer);
 931                 if (error == 0)
 932                         printf("efer[%d]\t\t0x%016lx\n", vcpu, efer);
 933         }
 934
 935         if (!error && (get_cr0 || get_all)) {
 936                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CR0, &cr0);
 937                 if (error == 0)
 938                         printf("cr0[%d]\t\t0x%016lx\n", vcpu, cr0);
 939         }
 940
 941         if (!error && (get_cr3 || get_all)) {
 942                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CR3, &cr3);
 943                 if (error == 0)
 944                         printf("cr3[%d]\t\t0x%016lx\n", vcpu, cr3);
 945         }
 946
 947         if (!error && (get_cr4 || get_all)) {
 948                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CR4, &cr4);
 949                 if (error == 0)
 950                         printf("cr4[%d]\t\t0x%016lx\n", vcpu, cr4);
 951         }
 952
 953         if (!error && (get_dr7 || get_all)) {
 954                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_DR7, &dr7);
 955                 if (error == 0)
 956                         printf("dr7[%d]\t\t0x%016lx\n", vcpu, dr7);
 957         }
 958
 959         if (!error && (get_rsp || get_all)) {
 960                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RSP, &rsp);
 961                 if (error == 0)
 962                         printf("rsp[%d]\t\t0x%016lx\n", vcpu, rsp);
 963         }
 964
 965         if (!error && (get_rip || get_all)) {
 966                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RIP, &rip);
 967                 if (error == 0)
 968                         printf("rip[%d]\t\t0x%016lx\n", vcpu, rip);
 969         }
 970
 971         if (!error && (get_rax || get_all)) {
 972                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RAX, &rax);
 973                 if (error == 0)
 974                         printf("rax[%d]\t\t0x%016lx\n", vcpu, rax);
 975         }
 976
 977         if (!error && (get_rbx || get_all)) {
 978                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RBX, &rbx);
 979                 if (error == 0)
 980                         printf("rbx[%d]\t\t0x%016lx\n", vcpu, rbx);
 981         }
 982
 983         if (!error && (get_rcx || get_all)) {
 984                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RCX, &rcx);
 985                 if (error == 0)
 986                         printf("rcx[%d]\t\t0x%016lx\n", vcpu, rcx);
 987         }
 988
 989         if (!error && (get_rdx || get_all)) {
 990                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RDX, &rdx);
 991                 if (error == 0)
 992                         printf("rdx[%d]\t\t0x%016lx\n", vcpu, rdx);
 993         }
 994
 995         if (!error && (get_rsi || get_all)) {
 996                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RSI, &rsi);
 997                 if (error == 0)
 998                         printf("rsi[%d]\t\t0x%016lx\n", vcpu, rsi);
 999         }
1000
1001         if (!error && (get_rdi || get_all)) {
1002                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RDI, &rdi);
1003                 if (error == 0)
1004                         printf("rdi[%d]\t\t0x%016lx\n", vcpu, rdi);
1005         }
1006
1007         if (!error && (get_rbp || get_all)) {
1008                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RBP, &rbp);
1009                 if (error == 0)
1010                         printf("rbp[%d]\t\t0x%016lx\n", vcpu, rbp);
1011         }
1012
1013         if (!error && (get_r8 || get_all)) {
1014                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R8, &r8);
1015                 if (error == 0)
1016                         printf("r8[%d]\t\t0x%016lx\n", vcpu, r8);
1017         }
1018
1019         if (!error && (get_r9 || get_all)) {
1020                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R9, &r9);
1021                 if (error == 0)
1022                         printf("r9[%d]\t\t0x%016lx\n", vcpu, r9);
1023         }
1024
1025         if (!error && (get_r10 || get_all)) {
1026                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R10, &r10);
1027                 if (error == 0)
1028                         printf("r10[%d]\t\t0x%016lx\n", vcpu, r10);
1029         }
1030
1031         if (!error && (get_r11 || get_all)) {
1032                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R11, &r11);
1033                 if (error == 0)
1034                         printf("r11[%d]\t\t0x%016lx\n", vcpu, r11);
1035         }
1036
1037         if (!error && (get_r12 || get_all)) {
1038                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R12, &r12);
1039                 if (error == 0)
1040                         printf("r12[%d]\t\t0x%016lx\n", vcpu, r12);
1041         }
1042
1043         if (!error && (get_r13 || get_all)) {
1044                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R13, &r13);
1045                 if (error == 0)
1046                         printf("r13[%d]\t\t0x%016lx\n", vcpu, r13);
1047         }
1048
1049         if (!error && (get_r14 || get_all)) {
1050                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R14, &r14);
1051                 if (error == 0)
1052                         printf("r14[%d]\t\t0x%016lx\n", vcpu, r14);
1053         }
1054
1055         if (!error && (get_r15 || get_all)) {
1056                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R15, &r15);
1057                 if (error == 0)
1058                         printf("r15[%d]\t\t0x%016lx\n", vcpu, r15);
1059         }
1060
1061         if (!error && (get_rflags || get_all)) {
1062                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RFLAGS,
1063                                         &rflags);
1064                 if (error == 0)
1065                         printf("rflags[%d]\t0x%016lx\n", vcpu, rflags);
1066         }
1067
1068         if (!error && (get_stats || get_all)) {
1069                 int i, num_stats;
1070                 uint64_t *stats;
1071                 struct timeval tv;
1072                 const char *desc;
1073
1074                 stats = vm_get_stats(ctx, vcpu, &tv, &num_stats);
1075                 if (stats != NULL) {
1076                         printf("vcpu%d\n", vcpu);
1077                         for (i = 0; i < num_stats; i++) {
1078                                 desc = vm_get_stat_desc(ctx, i);
1079                                 printf("%-40s\t%ld\n", desc, stats[i]);
1080                         }
1081                 }
1082         }
1083
1084         if (!error && (get_desc_ds || get_all)) {
1085                 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_DS,
1086                                     &desc_base, &desc_limit, &desc_access);
1087                 if (error == 0) {
1088                         printf("ds desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
1089                                vcpu, desc_base, desc_limit, desc_access);
1090                 }
1091         }
1092
1093         if (!error && (get_desc_es || get_all)) {
1094                 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_ES,
1095                                     &desc_base, &desc_limit, &desc_access);
1096                 if (error == 0) {
1097                         printf("es desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
1098                                vcpu, desc_base, desc_limit, desc_access);
1099                 }
1100         }
1101
1102         if (!error && (get_desc_fs || get_all)) {
1103                 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_FS,
1104                                     &desc_base, &desc_limit, &desc_access);
1105                 if (error == 0) {
1106                         printf("fs desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
1107                                vcpu, desc_base, desc_limit, desc_access);
1108                 }
1109         }
1110
1111         if (!error && (get_desc_gs || get_all)) {
1112                 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_GS,
1113                                     &desc_base, &desc_limit, &desc_access);
1114                 if (error == 0) {
1115                         printf("gs desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
1116                                vcpu, desc_base, desc_limit, desc_access);
1117                 }
1118         }
1119
1120         if (!error && (get_desc_ss || get_all)) {
1121                 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_SS,
1122                                     &desc_base, &desc_limit, &desc_access);
1123                 if (error == 0) {
1124                         printf("ss desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
1125                                vcpu, desc_base, desc_limit, desc_access);
1126                 }
1127         }
1128
1129         if (!error && (get_desc_cs || get_all)) {
1130                 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_CS,
1131                                     &desc_base, &desc_limit, &desc_access);
1132                 if (error == 0) {
1133                         printf("cs desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
1134                                vcpu, desc_base, desc_limit, desc_access);
1135                 }
1136         }
1137
1138         if (!error && (get_desc_tr || get_all)) {
1139                 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_TR,
1140                                     &desc_base, &desc_limit, &desc_access);
1141                 if (error == 0) {
1142                         printf("tr desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
1143                                vcpu, desc_base, desc_limit, desc_access);
1144                 }
1145         }
1146
1147         if (!error && (get_desc_ldtr || get_all)) {
1148                 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_LDTR,
1149                                     &desc_base, &desc_limit, &desc_access);
1150                 if (error == 0) {
1151                         printf("ldtr desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
1152                                vcpu, desc_base, desc_limit, desc_access);
1153                 }
1154         }
1155
1156         if (!error && (get_desc_gdtr || get_all)) {
1157                 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_GDTR,
1158                                     &desc_base, &desc_limit, &desc_access);
1159                 if (error == 0) {
1160                         printf("gdtr[%d]\t\t0x%016lx/0x%08x\n",
1161                                vcpu, desc_base, desc_limit);
1162                 }
1163         }
1164
1165         if (!error && (get_desc_idtr || get_all)) {
1166                 error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_IDTR,
1167                                     &desc_base, &desc_limit, &desc_access);
1168                 if (error == 0) {
1169                         printf("idtr[%d]\t\t0x%016lx/0x%08x\n",
1170                                vcpu, desc_base, desc_limit);
1171                 }
1172         }
1173
1174         if (!error && (get_cs || get_all)) {
1175                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CS, &cs);
1176                 if (error == 0)
1177                         printf("cs[%d]\t\t0x%04lx\n", vcpu, cs);
1178         }
1179
1180         if (!error && (get_ds || get_all)) {
1181                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_DS, &ds);
1182                 if (error == 0)
1183                         printf("ds[%d]\t\t0x%04lx\n", vcpu, ds);
1184         }
1185
1186         if (!error && (get_es || get_all)) {
1187                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_ES, &es);
1188                 if (error == 0)
1189                         printf("es[%d]\t\t0x%04lx\n", vcpu, es);
1190         }
1191
1192         if (!error && (get_fs || get_all)) {
1193                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_FS, &fs);
1194                 if (error == 0)
1195                         printf("fs[%d]\t\t0x%04lx\n", vcpu, fs);
1196         }
1197
1198         if (!error && (get_gs || get_all)) {
1199                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_GS, &gs);
1200                 if (error == 0)
1201                         printf("gs[%d]\t\t0x%04lx\n", vcpu, gs);
1202         }
1203
1204         if (!error && (get_ss || get_all)) {
1205                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_SS, &ss);
1206                 if (error == 0)
1207                         printf("ss[%d]\t\t0x%04lx\n", vcpu, ss);
1208         }
1209
1210         if (!error && (get_tr || get_all)) {
1211                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_TR, &tr);
1212                 if (error == 0)
1213                         printf("tr[%d]\t\t0x%04lx\n", vcpu, tr);
1214         }
1215
1216         if (!error && (get_ldtr || get_all)) {
1217                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_LDTR, &ldtr);
1218                 if (error == 0)
1219                         printf("ldtr[%d]\t\t0x%04lx\n", vcpu, ldtr);
1220         }
1221
1222         if (!error && (get_x2apic_state || get_all)) {
1223                 error = vm_get_x2apic_state(ctx, vcpu, &x2apic_state);
1224                 if (error == 0)
1225                         printf("x2apic_state[%d]\t%d\n", vcpu, x2apic_state);
1226         }
1227
1228         if (!error && (get_pinbased_ctls || get_all)) {
1229                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_PIN_BASED_CTLS, &ctl);
1230                 if (error == 0)
1231                         printf("pinbased_ctls[%d]\t0x%08lx\n", vcpu, ctl);
1232         }
1233
1234         if (!error && (get_procbased_ctls || get_all)) {
1235                 error = vm_get_vmcs_field(ctx, vcpu,
1236                                           VMCS_PRI_PROC_BASED_CTLS, &ctl);
1237                 if (error == 0)
1238                         printf("procbased_ctls[%d]\t0x%08lx\n", vcpu, ctl);
1239         }
1240
1241         if (!error && (get_procbased_ctls2 || get_all)) {
1242                 error = vm_get_vmcs_field(ctx, vcpu,
1243                                           VMCS_SEC_PROC_BASED_CTLS, &ctl);
1244                 if (error == 0)
1245                         printf("procbased_ctls2[%d]\t0x%08lx\n", vcpu, ctl);
1246         }
1247
1248         if (!error && (get_vmcs_gla || get_all)) {
1249                 error = vm_get_vmcs_field(ctx, vcpu,
1250                                           VMCS_GUEST_LINEAR_ADDRESS, &u64);
1251                 if (error == 0)
1252                         printf("gla[%d]\t\t0x%016lx\n", vcpu, u64);
1253         }
1254
1255         if (!error && (get_vmcs_gpa || get_all)) {
1256                 error = vm_get_vmcs_field(ctx, vcpu,
1257                                           VMCS_GUEST_PHYSICAL_ADDRESS, &u64);
1258                 if (error == 0)
1259                         printf("gpa[%d]\t\t0x%016lx\n", vcpu, u64);
1260         }
1261
1262         if (!error && (get_vmcs_entry_interruption_info || get_all)) {
1263                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_ENTRY_INTR_INFO,&u64);
1264                 if (error == 0) {
1265                         printf("entry_interruption_info[%d]\t0x%08lx\n",
1266                                 vcpu, u64);
1267                 }
1268         }
1269
1270         if (!error && (get_eptp || get_all)) {
1271                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EPTP, &eptp);
1272                 if (error == 0)
1273                         printf("eptp[%d]\t\t0x%016lx\n", vcpu, eptp);
1274         }
1275
1276         if (!error && (get_exception_bitmap || get_all)) {
1277                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXCEPTION_BITMAP,
1278                                           &bm);
1279                 if (error == 0)
1280                         printf("exception_bitmap[%d]\t0x%08lx\n", vcpu, bm);
1281         }
1282
1283         if (!error && (get_io_bitmap || get_all)) {
1284                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_IO_BITMAP_A, &bm);
1285                 if (error == 0)
1286                         printf("io_bitmap_a[%d]\t0x%08lx\n", vcpu, bm);
1287                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_IO_BITMAP_B, &bm);
1288                 if (error == 0)
1289                         printf("io_bitmap_b[%d]\t0x%08lx\n", vcpu, bm);
1290         }
1291
1292         if (!error && (get_tsc_offset || get_all)) {
1293                 uint64_t tscoff;
1294                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_TSC_OFFSET, &tscoff);
1295                 if (error == 0)
1296                         printf("tsc_offset[%d]\t0x%016lx\n", vcpu, tscoff);
1297         }
1298
1299         if (!error && (get_cr0_mask || get_all)) {
1300                 uint64_t cr0mask;
1301                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR0_MASK, &cr0mask);
1302                 if (error == 0)
1303                         printf("cr0_mask[%d]\t\t0x%016lx\n", vcpu, cr0mask);
1304         }
1305
1306         if (!error && (get_cr0_shadow || get_all)) {
1307                 uint64_t cr0shadow;
1308                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR0_SHADOW,
1309                                           &cr0shadow);
1310                 if (error == 0)
1311                         printf("cr0_shadow[%d]\t\t0x%016lx\n", vcpu, cr0shadow);
1312         }
1313
1314         if (!error && (get_cr4_mask || get_all)) {
1315                 uint64_t cr4mask;
1316                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR4_MASK, &cr4mask);
1317                 if (error == 0)
1318                         printf("cr4_mask[%d]\t\t0x%016lx\n", vcpu, cr4mask);
1319         }
1320
1321         if (!error && (get_cr4_shadow || get_all)) {
1322                 uint64_t cr4shadow;
1323                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR4_SHADOW,
1324                                           &cr4shadow);
1325                 if (error == 0)
1326                         printf("cr4_shadow[%d]\t\t0x%016lx\n", vcpu, cr4shadow);
1327         }
1328
1329         if (!error && (get_cr3_targets || get_all)) {
1330                 uint64_t target_count, target_addr;
1331                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET_COUNT,
1332                                           &target_count);
1333                 if (error == 0) {
1334                         printf("cr3_target_count[%d]\t0x%08lx\n",
1335                                 vcpu, target_count);
1336                 }
1337
1338                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET0,
1339                                           &target_addr);
1340                 if (error == 0) {
1341                         printf("cr3_target0[%d]\t\t0x%016lx\n",
1342                                 vcpu, target_addr);
1343                 }
1344
1345                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET1,
1346                                           &target_addr);
1347                 if (error == 0) {
1348                         printf("cr3_target1[%d]\t\t0x%016lx\n",
1349                                 vcpu, target_addr);
1350                 }
1351
1352                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET2,
1353                                           &target_addr);
1354                 if (error == 0) {
1355                         printf("cr3_target2[%d]\t\t0x%016lx\n",
1356                                 vcpu, target_addr);
1357                 }
1358
1359                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET3,
1360                                           &target_addr);
1361                 if (error == 0) {
1362                         printf("cr3_target3[%d]\t\t0x%016lx\n",
1363                                 vcpu, target_addr);
1364                 }
1365         }
1366
1367         if (!error && (get_apic_access_addr || get_all)) {
1368                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_APIC_ACCESS, &addr);
1369                 if (error == 0)
1370                         printf("apic_access_addr[%d]\t0x%016lx\n", vcpu, addr);
1371         }
1372
1373         if (!error && (get_virtual_apic_addr || get_all)) {
1374                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_VIRTUAL_APIC, &addr);
1375                 if (error == 0)
1376                         printf("virtual_apic_addr[%d]\t0x%016lx\n", vcpu, addr);
1377         }
1378
1379         if (!error && (get_tpr_threshold || get_all)) {
1380                 uint64_t threshold;
1381                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_TPR_THRESHOLD,
1382                                           &threshold);
1383                 if (error == 0)
1384                         printf("tpr_threshold[%d]\t0x%08lx\n", vcpu, threshold);
1385         }
1386
1387         if (!error && (get_msr_bitmap_address || get_all)) {
1388                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_MSR_BITMAP, &addr);
1389                 if (error == 0)
1390                         printf("msr_bitmap[%d]\t\t0x%016lx\n", vcpu, addr);
1391         }
1392
1393         if (!error && (get_msr_bitmap || get_all)) {
1394                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_MSR_BITMAP, &addr);
1395                 if (error == 0)
1396                         error = dump_vmcs_msr_bitmap(vcpu, addr);
1397         }
1398
1399         if (!error && (get_vpid || get_all)) {
1400                 uint64_t vpid;
1401                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_VPID, &vpid);
1402                 if (error == 0)
1403                         printf("vpid[%d]\t\t0x%04lx\n", vcpu, vpid);
1404         }
1405
1406         if (!error && (get_ple_window || get_all)) {
1407                 uint64_t window;
1408                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_PLE_WINDOW, &window);
1409                 if (error == 0)
1410                         printf("ple_window[%d]\t\t0x%08lx\n", vcpu, window);
1411         }
1412
1413         if (!error && (get_ple_gap || get_all)) {
1414                 uint64_t gap;
1415                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_PLE_GAP, &gap);
1416                 if (error == 0)
1417                         printf("ple_gap[%d]\t\t0x%08lx\n", vcpu, gap);
1418         }
1419
1420         if (!error && (get_inst_err || get_all)) {
1421                 uint64_t insterr;
1422                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_INSTRUCTION_ERROR,
1423                                           &insterr);
1424                 if (error == 0) {
1425                         printf("instruction_error[%d]\t0x%08lx\n",
1426                                 vcpu, insterr);
1427                 }
1428         }
1429
1430         if (!error && (get_exit_ctls || get_all)) {
1431                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_CTLS, &ctl);
1432                 if (error == 0)
1433                         printf("exit_ctls[%d]\t\t0x%08lx\n", vcpu, ctl);
1434         }
1435
1436         if (!error && (get_entry_ctls || get_all)) {
1437                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_ENTRY_CTLS, &ctl);
1438                 if (error == 0)
1439                         printf("entry_ctls[%d]\t\t0x%08lx\n", vcpu, ctl);
1440         }
1441
1442         if (!error && (get_host_pat || get_all)) {
1443                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_IA32_PAT, &pat);
1444                 if (error == 0)
1445                         printf("host_pat[%d]\t\t0x%016lx\n", vcpu, pat);
1446         }
1447
1448         if (!error && (get_guest_pat || get_all)) {
1449                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_GUEST_IA32_PAT, &pat);
1450                 if (error == 0)
1451                         printf("guest_pat[%d]\t\t0x%016lx\n", vcpu, pat);
1452         }
1453
1454         if (!error && (get_host_cr0 || get_all)) {
1455                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_CR0, &cr0);
1456                 if (error == 0)
1457                         printf("host_cr0[%d]\t\t0x%016lx\n", vcpu, cr0);
1458         }
1459
1460         if (!error && (get_host_cr3 || get_all)) {
1461                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_CR3, &cr3);
1462                 if (error == 0)
1463                         printf("host_cr3[%d]\t\t0x%016lx\n", vcpu, cr3);
1464         }
1465
1466         if (!error && (get_host_cr4 || get_all)) {
1467                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_CR4, &cr4);
1468                 if (error == 0)
1469                         printf("host_cr4[%d]\t\t0x%016lx\n", vcpu, cr4);
1470         }
1471
1472         if (!error && (get_host_rip || get_all)) {
1473                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_RIP, &rip);
1474                 if (error == 0)
1475                         printf("host_rip[%d]\t\t0x%016lx\n", vcpu, rip);
1476         }
1477
1478         if (!error && (get_host_rsp || get_all)) {
1479                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_RSP, &rsp);
1480                 if (error == 0)
1481                         printf("host_rsp[%d]\t\t0x%016lx\n", vcpu, rsp);
1482         }
1483
1484         if (!error && (get_guest_sysenter || get_all)) {
1485                 error = vm_get_vmcs_field(ctx, vcpu,
1486                                           VMCS_GUEST_IA32_SYSENTER_CS, &cs);
1487                 if (error == 0)
1488                         printf("guest_sysenter_cs[%d]\t0x%08lx\n", vcpu, cs);
1489
1490                 error = vm_get_vmcs_field(ctx, vcpu,
1491                                           VMCS_GUEST_IA32_SYSENTER_ESP, &rsp);
1492                 if (error == 0)
1493                         printf("guest_sysenter_sp[%d]\t0x%016lx\n", vcpu, rsp);
1494                 error = vm_get_vmcs_field(ctx, vcpu,
1495                                           VMCS_GUEST_IA32_SYSENTER_EIP, &rip);
1496                 if (error == 0)
1497                         printf("guest_sysenter_ip[%d]\t0x%016lx\n", vcpu, rip);
1498         }
1499
1500         if (!error && (get_vmcs_link || get_all)) {
1501                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_LINK_POINTER, &addr);
1502                 if (error == 0)
1503                         printf("vmcs_pointer[%d]\t0x%016lx\n", vcpu, addr);
1504         }
1505
1506         if (!error && (get_vmcs_exit_reason || get_all)) {
1507                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_REASON, &u64);
1508                 if (error == 0)
1509                         printf("vmcs_exit_reason[%d]\t0x%016lx\n", vcpu, u64);
1510         }
1511
1512         if (!error && (get_vmcs_exit_qualification || get_all)) {
1513                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_QUALIFICATION,
1514                                           &u64);
1515                 if (error == 0)
1516                         printf("vmcs_exit_qualification[%d]\t0x%016lx\n",
1517                                 vcpu, u64);
1518         }
1519
1520         if (!error && (get_vmcs_exit_interruption_info || get_all)) {
1521                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_INTR_INFO, &u64);
1522                 if (error == 0) {
1523                         printf("vmcs_exit_interruption_info[%d]\t0x%08lx\n",
1524                                 vcpu, u64);
1525                 }
1526         }
1527
1528         if (!error && (get_vmcs_exit_interruption_error || get_all)) {
1529                 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_INTR_ERRCODE,
1530                     &u64);
1531                 if (error == 0) {
1532                         printf("vmcs_exit_interruption_error[%d]\t0x%08lx\n",
1533                                 vcpu, u64);
1534                 }
1535         }
1536
1537         if (!error && (get_vmcs_interruptibility || get_all)) {
1538                 error = vm_get_vmcs_field(ctx, vcpu,
1539                                           VMCS_GUEST_INTERRUPTIBILITY, &u64);
1540                 if (error == 0) {
1541                         printf("vmcs_guest_interruptibility[%d]\t0x%08lx\n",
1542                                 vcpu, u64);
1543                 }
1544         }
1545
1546         if (!error && setcap) {
1547                 int captype;
1548                 captype = vm_capability_name2type(capname);
1549                 error = vm_set_capability(ctx, vcpu, captype, capval);
1550                 if (error != 0 && errno == ENOENT)
1551                         printf("Capability \"%s\" is not available\n", capname);
1552         }
1553
1554         if (!error && get_gpa_pmap) {
1555                 error = vm_get_gpa_pmap(ctx, gpa_pmap, pteval, &ptenum);
1556                 if (error == 0) {
1557                         printf("gpa %#lx:", gpa_pmap);
1558                         pte = &pteval[0];
1559                         while (ptenum-- > 0)
1560                                 printf(" %#lx", *pte++);
1561                         printf("\n");
1562                 }
1563         }
1564
1565         if (!error && (getcap || get_all)) {
1566                 int captype, val, getcaptype;
1567
1568                 if (getcap && capname)
1569                         getcaptype = vm_capability_name2type(capname);
1570                 else
1571                         getcaptype = -1;
1572
1573                 for (captype = 0; captype < VM_CAP_MAX; captype++) {
1574                         if (getcaptype >= 0 && captype != getcaptype)
1575                                 continue;
1576                         error = vm_get_capability(ctx, vcpu, captype, &val);
1577                         if (error == 0) {
1578                                 printf("Capability \"%s\" is %s on vcpu %d\n",
1579                                         vm_capability_type2name(captype),
1580                                         val ? "set" : "not set", vcpu);
1581                         } else if (errno == ENOENT) {
1582                                 error = 0;
1583                                 printf("Capability \"%s\" is not available\n",
1584                                         vm_capability_type2name(captype));
1585                         } else {
1586                                 break;
1587                         }
1588                 }
1589         }
1590
1591         if (!error && (get_active_cpus || get_all)) {
1592                 error = vm_active_cpus(ctx, &cpus);
1593                 if (!error)
1594                         print_cpus("active cpus", &cpus);
1595         }
1596
1597         if (!error && (get_suspended_cpus || get_all)) {
1598                 error = vm_suspended_cpus(ctx, &cpus);
1599                 if (!error)
1600                         print_cpus("suspended cpus", &cpus);
1601         }
1602
1603         if (!error && (get_intinfo || get_all)) {
1604                 error = vm_get_intinfo(ctx, vcpu, &info[0], &info[1]);
1605                 if (!error) {
1606                         print_intinfo("pending", info[0]);
1607                         print_intinfo("current", info[1]);
1608                 }
1609         }
1610
1611         if (!error && run) {
1612                 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RIP, &rip);
1613                 assert(error == 0);
1614
1615                 error = vm_run(ctx, vcpu, rip, &vmexit);
1616                 if (error == 0)
1617                         dump_vm_run_exitcode(&vmexit, vcpu);
1618                 else
1619                         printf("vm_run error %d\n", error);
1620         }
1621
1622         if (!error && force_reset)
1623                 error = vm_suspend(ctx, VM_SUSPEND_RESET);
1624
1625         if (!error && force_poweroff)
1626                 error = vm_suspend(ctx, VM_SUSPEND_POWEROFF);
1627
1628         if (error)
1629                 printf("errno = %d\n", errno);
1630
1631         if (!error && destroy)
1632                 vm_destroy(ctx);
1633
1634         exit(error);
1635 }