xref: /freebsd/usr.sbin/bhyvectl/bhyvectl.c (revision 6186fd1857626de0f7cb1a9e4dff19082f9ebb11)
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, MAP_SHARED, 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 }
1636