xref: /freebsd/usr.sbin/bhyvectl/bhyvectl.c (revision d06955f9bdb1416d9196043ed781f9b36dae9adc)
1 /*-
2  * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
3  *
4  * Copyright (c) 2011 NetApp, Inc.
5  * All rights reserved.
6  *
7  * Redistribution and use in source and binary forms, with or without
8  * modification, are permitted provided that the following conditions
9  * are met:
10  * 1. Redistributions of source code must retain the above copyright
11  *    notice, this list of conditions and the following disclaimer.
12  * 2. Redistributions in binary form must reproduce the above copyright
13  *    notice, this list of conditions and the following disclaimer in the
14  *    documentation and/or other materials provided with the distribution.
15  *
16  * THIS SOFTWARE IS PROVIDED BY NETAPP, INC ``AS IS'' AND
17  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19  * ARE DISCLAIMED.  IN NO EVENT SHALL NETAPP, INC OR CONTRIBUTORS BE LIABLE
20  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26  * SUCH DAMAGE.
27  *
28  * $FreeBSD$
29  */
30 
31 #include <sys/cdefs.h>
32 __FBSDID("$FreeBSD$");
33 
34 #include <sys/param.h>
35 #include <sys/types.h>
36 #include <sys/sysctl.h>
37 #include <sys/errno.h>
38 #include <sys/mman.h>
39 #include <sys/cpuset.h>
40 
41 #include <stdio.h>
42 #include <stdlib.h>
43 #include <stdbool.h>
44 #include <string.h>
45 #include <unistd.h>
46 #include <libgen.h>
47 #include <libutil.h>
48 #include <fcntl.h>
49 #include <getopt.h>
50 #include <time.h>
51 #include <assert.h>
52 #include <libutil.h>
53 
54 #include <machine/cpufunc.h>
55 #include <machine/specialreg.h>
56 #include <machine/vmm.h>
57 #include <machine/vmm_dev.h>
58 #include <vmmapi.h>
59 
60 #include "amd/vmcb.h"
61 #include "intel/vmcs.h"
62 
63 #define	MB	(1UL << 20)
64 #define	GB	(1UL << 30)
65 
66 #define	REQ_ARG		required_argument
67 #define	NO_ARG		no_argument
68 #define	OPT_ARG		optional_argument
69 
70 static const char *progname;
71 
72 static void
73 usage(bool cpu_intel)
74 {
75 
76 	(void)fprintf(stderr,
77 	"Usage: %s --vm=<vmname>\n"
78 	"       [--cpu=<vcpu_number>]\n"
79 	"       [--create]\n"
80 	"       [--destroy]\n"
81 	"       [--get-all]\n"
82 	"       [--get-stats]\n"
83 	"       [--set-desc-ds]\n"
84 	"       [--get-desc-ds]\n"
85 	"       [--set-desc-es]\n"
86 	"       [--get-desc-es]\n"
87 	"       [--set-desc-gs]\n"
88 	"       [--get-desc-gs]\n"
89 	"       [--set-desc-fs]\n"
90 	"       [--get-desc-fs]\n"
91 	"       [--set-desc-cs]\n"
92 	"       [--get-desc-cs]\n"
93 	"       [--set-desc-ss]\n"
94 	"       [--get-desc-ss]\n"
95 	"       [--set-desc-tr]\n"
96 	"       [--get-desc-tr]\n"
97 	"       [--set-desc-ldtr]\n"
98 	"       [--get-desc-ldtr]\n"
99 	"       [--set-desc-gdtr]\n"
100 	"       [--get-desc-gdtr]\n"
101 	"       [--set-desc-idtr]\n"
102 	"       [--get-desc-idtr]\n"
103 	"       [--run]\n"
104 	"       [--capname=<capname>]\n"
105 	"       [--getcap]\n"
106 	"       [--setcap=<0|1>]\n"
107 	"       [--desc-base=<BASE>]\n"
108 	"       [--desc-limit=<LIMIT>]\n"
109 	"       [--desc-access=<ACCESS>]\n"
110 	"       [--set-cr0=<CR0>]\n"
111 	"       [--get-cr0]\n"
112 	"       [--set-cr3=<CR3>]\n"
113 	"       [--get-cr3]\n"
114 	"       [--set-cr4=<CR4>]\n"
115 	"       [--get-cr4]\n"
116 	"       [--set-dr7=<DR7>]\n"
117 	"       [--get-dr7]\n"
118 	"       [--set-rsp=<RSP>]\n"
119 	"       [--get-rsp]\n"
120 	"       [--set-rip=<RIP>]\n"
121 	"       [--get-rip]\n"
122 	"       [--get-rax]\n"
123 	"       [--set-rax=<RAX>]\n"
124 	"       [--get-rbx]\n"
125 	"       [--get-rcx]\n"
126 	"       [--get-rdx]\n"
127 	"       [--get-rsi]\n"
128 	"       [--get-rdi]\n"
129 	"       [--get-rbp]\n"
130 	"       [--get-r8]\n"
131 	"       [--get-r9]\n"
132 	"       [--get-r10]\n"
133 	"       [--get-r11]\n"
134 	"       [--get-r12]\n"
135 	"       [--get-r13]\n"
136 	"       [--get-r14]\n"
137 	"       [--get-r15]\n"
138 	"       [--set-rflags=<RFLAGS>]\n"
139 	"       [--get-rflags]\n"
140 	"       [--set-cs]\n"
141 	"       [--get-cs]\n"
142 	"       [--set-ds]\n"
143 	"       [--get-ds]\n"
144 	"       [--set-es]\n"
145 	"       [--get-es]\n"
146 	"       [--set-fs]\n"
147 	"       [--get-fs]\n"
148 	"       [--set-gs]\n"
149 	"       [--get-gs]\n"
150 	"       [--set-ss]\n"
151 	"       [--get-ss]\n"
152 	"       [--get-tr]\n"
153 	"       [--get-ldtr]\n"
154 	"       [--set-x2apic-state=<state>]\n"
155 	"       [--get-x2apic-state]\n"
156 	"       [--unassign-pptdev=<bus/slot/func>]\n"
157 	"       [--set-mem=<memory in units of MB>]\n"
158 	"       [--get-lowmem]\n"
159 	"       [--get-highmem]\n"
160 	"       [--get-gpa-pmap]\n"
161 	"       [--assert-lapic-lvt=<pin>]\n"
162 	"       [--inject-nmi]\n"
163 	"       [--force-reset]\n"
164 	"       [--force-poweroff]\n"
165 	"       [--get-rtc-time]\n"
166 	"       [--set-rtc-time=<secs>]\n"
167 	"       [--get-rtc-nvram]\n"
168 	"       [--set-rtc-nvram=<val>]\n"
169 	"       [--rtc-nvram-offset=<offset>]\n"
170 	"       [--get-active-cpus]\n"
171 	"       [--get-suspended-cpus]\n"
172 	"       [--get-intinfo]\n"
173 	"       [--get-eptp]\n"
174 	"       [--set-exception-bitmap]\n"
175 	"       [--get-exception-bitmap]\n"
176 	"       [--get-tsc-offset]\n"
177 	"       [--get-guest-pat]\n"
178 	"       [--get-io-bitmap-address]\n"
179 	"       [--get-msr-bitmap]\n"
180 	"       [--get-msr-bitmap-address]\n"
181 	"       [--get-guest-sysenter]\n"
182 	"       [--get-exit-reason]\n",
183 	progname);
184 
185 	if (cpu_intel) {
186 		(void)fprintf(stderr,
187 		"       [--get-vmcs-pinbased-ctls]\n"
188 		"       [--get-vmcs-procbased-ctls]\n"
189 		"       [--get-vmcs-procbased-ctls2]\n"
190 		"       [--get-vmcs-entry-interruption-info]\n"
191 		"       [--set-vmcs-entry-interruption-info=<info>]\n"
192 		"       [--get-vmcs-guest-physical-address\n"
193 		"       [--get-vmcs-guest-linear-address\n"
194 		"       [--get-vmcs-host-pat]\n"
195 		"       [--get-vmcs-host-cr0]\n"
196 		"       [--get-vmcs-host-cr3]\n"
197 		"       [--get-vmcs-host-cr4]\n"
198 		"       [--get-vmcs-host-rip]\n"
199 		"       [--get-vmcs-host-rsp]\n"
200 		"       [--get-vmcs-cr0-mask]\n"
201 		"       [--get-vmcs-cr0-shadow]\n"
202 		"       [--get-vmcs-cr4-mask]\n"
203 		"       [--get-vmcs-cr4-shadow]\n"
204 		"       [--get-vmcs-cr3-targets]\n"
205 		"       [--get-vmcs-apic-access-address]\n"
206 		"       [--get-vmcs-virtual-apic-address]\n"
207 		"       [--get-vmcs-tpr-threshold]\n"
208 		"       [--get-vmcs-vpid]\n"
209 		"       [--get-vmcs-instruction-error]\n"
210 		"       [--get-vmcs-exit-ctls]\n"
211 		"       [--get-vmcs-entry-ctls]\n"
212 		"       [--get-vmcs-link]\n"
213 		"       [--get-vmcs-exit-qualification]\n"
214 		"       [--get-vmcs-exit-interruption-info]\n"
215 		"       [--get-vmcs-exit-interruption-error]\n"
216 		"       [--get-vmcs-interruptibility]\n"
217 		);
218 	} else {
219 		(void)fprintf(stderr,
220 		"       [--get-vmcb-intercepts]\n"
221 		"       [--get-vmcb-asid]\n"
222 		"       [--get-vmcb-exit-details]\n"
223 		"       [--get-vmcb-tlb-ctrl]\n"
224 		"       [--get-vmcb-virq]\n"
225 		"       [--get-avic-apic-bar]\n"
226 		"       [--get-avic-backing-page]\n"
227 		"       [--get-avic-table]\n"
228 		);
229 	}
230 	exit(1);
231 }
232 
233 static int get_rtc_time, set_rtc_time;
234 static int get_rtc_nvram, set_rtc_nvram;
235 static int rtc_nvram_offset;
236 static uint8_t rtc_nvram_value;
237 static time_t rtc_secs;
238 
239 static int get_stats, getcap, setcap, capval, get_gpa_pmap;
240 static int inject_nmi, assert_lapic_lvt;
241 static int force_reset, force_poweroff;
242 static const char *capname;
243 static int create, destroy, get_memmap, get_memseg;
244 static int get_intinfo;
245 static int get_active_cpus, get_suspended_cpus;
246 static uint64_t memsize;
247 static int set_cr0, get_cr0, set_cr3, get_cr3, set_cr4, get_cr4;
248 static int set_efer, get_efer;
249 static int set_dr7, get_dr7;
250 static int set_rsp, get_rsp, set_rip, get_rip, set_rflags, get_rflags;
251 static int set_rax, get_rax;
252 static int get_rbx, get_rcx, get_rdx, get_rsi, get_rdi, get_rbp;
253 static int get_r8, get_r9, get_r10, get_r11, get_r12, get_r13, get_r14, get_r15;
254 static int set_desc_ds, get_desc_ds;
255 static int set_desc_es, get_desc_es;
256 static int set_desc_fs, get_desc_fs;
257 static int set_desc_gs, get_desc_gs;
258 static int set_desc_cs, get_desc_cs;
259 static int set_desc_ss, get_desc_ss;
260 static int set_desc_gdtr, get_desc_gdtr;
261 static int set_desc_idtr, get_desc_idtr;
262 static int set_desc_tr, get_desc_tr;
263 static int set_desc_ldtr, get_desc_ldtr;
264 static int set_cs, set_ds, set_es, set_fs, set_gs, set_ss, set_tr, set_ldtr;
265 static int get_cs, get_ds, get_es, get_fs, get_gs, get_ss, get_tr, get_ldtr;
266 static int set_x2apic_state, get_x2apic_state;
267 enum x2apic_state x2apic_state;
268 static int unassign_pptdev, bus, slot, func;
269 static int run;
270 
271 /*
272  * VMCB specific.
273  */
274 static int get_vmcb_intercept, get_vmcb_exit_details, get_vmcb_tlb_ctrl;
275 static int get_vmcb_virq, get_avic_table;
276 
277 /*
278  * VMCS-specific fields
279  */
280 static int get_pinbased_ctls, get_procbased_ctls, get_procbased_ctls2;
281 static int get_eptp, get_io_bitmap, get_tsc_offset;
282 static int get_vmcs_entry_interruption_info, set_vmcs_entry_interruption_info;
283 static int get_vmcs_interruptibility;
284 uint32_t vmcs_entry_interruption_info;
285 static int get_vmcs_gpa, get_vmcs_gla;
286 static int get_exception_bitmap, set_exception_bitmap, exception_bitmap;
287 static int get_cr0_mask, get_cr0_shadow;
288 static int get_cr4_mask, get_cr4_shadow;
289 static int get_cr3_targets;
290 static int get_apic_access_addr, get_virtual_apic_addr, get_tpr_threshold;
291 static int get_msr_bitmap, get_msr_bitmap_address;
292 static int get_vpid_asid;
293 static int get_inst_err, get_exit_ctls, get_entry_ctls;
294 static int get_host_cr0, get_host_cr3, get_host_cr4;
295 static int get_host_rip, get_host_rsp;
296 static int get_guest_pat, get_host_pat;
297 static int get_guest_sysenter, get_vmcs_link;
298 static int get_exit_reason, get_vmcs_exit_qualification;
299 static int get_vmcs_exit_interruption_info, get_vmcs_exit_interruption_error;
300 static int get_vmcs_exit_inst_length;
301 
302 static uint64_t desc_base;
303 static uint32_t desc_limit, desc_access;
304 
305 static int get_all;
306 
307 static void
308 dump_vm_run_exitcode(struct vm_exit *vmexit, int vcpu)
309 {
310 	printf("vm exit[%d]\n", vcpu);
311 	printf("\trip\t\t0x%016lx\n", vmexit->rip);
312 	printf("\tinst_length\t%d\n", vmexit->inst_length);
313 	switch (vmexit->exitcode) {
314 	case VM_EXITCODE_INOUT:
315 		printf("\treason\t\tINOUT\n");
316 		printf("\tdirection\t%s\n", vmexit->u.inout.in ? "IN" : "OUT");
317 		printf("\tbytes\t\t%d\n", vmexit->u.inout.bytes);
318 		printf("\tflags\t\t%s%s\n",
319 			vmexit->u.inout.string ? "STRING " : "",
320 			vmexit->u.inout.rep ? "REP " : "");
321 		printf("\tport\t\t0x%04x\n", vmexit->u.inout.port);
322 		printf("\teax\t\t0x%08x\n", vmexit->u.inout.eax);
323 		break;
324 	case VM_EXITCODE_VMX:
325 		printf("\treason\t\tVMX\n");
326 		printf("\tstatus\t\t%d\n", vmexit->u.vmx.status);
327 		printf("\texit_reason\t0x%08x (%u)\n",
328 		    vmexit->u.vmx.exit_reason, vmexit->u.vmx.exit_reason);
329 		printf("\tqualification\t0x%016lx\n",
330 			vmexit->u.vmx.exit_qualification);
331 		printf("\tinst_type\t\t%d\n", vmexit->u.vmx.inst_type);
332 		printf("\tinst_error\t\t%d\n", vmexit->u.vmx.inst_error);
333 		break;
334 	case VM_EXITCODE_SVM:
335 		printf("\treason\t\tSVM\n");
336 		printf("\texit_reason\t\t%#lx\n", vmexit->u.svm.exitcode);
337 		printf("\texitinfo1\t\t%#lx\n", vmexit->u.svm.exitinfo1);
338 		printf("\texitinfo2\t\t%#lx\n", vmexit->u.svm.exitinfo2);
339 		break;
340 	default:
341 		printf("*** unknown vm run exitcode %d\n", vmexit->exitcode);
342 		break;
343 	}
344 }
345 
346 /* AMD 6th generation and Intel compatible MSRs */
347 #define MSR_AMD6TH_START	0xC0000000
348 #define MSR_AMD6TH_END		0xC0001FFF
349 /* AMD 7th and 8th generation compatible MSRs */
350 #define MSR_AMD7TH_START	0xC0010000
351 #define MSR_AMD7TH_END		0xC0011FFF
352 
353 static const char *
354 msr_name(uint32_t msr)
355 {
356 	static char buf[32];
357 
358 	switch(msr) {
359 	case MSR_TSC:
360 		return ("MSR_TSC");
361 	case MSR_EFER:
362 		return ("MSR_EFER");
363 	case MSR_STAR:
364 		return ("MSR_STAR");
365 	case MSR_LSTAR:
366 		return ("MSR_LSTAR");
367 	case MSR_CSTAR:
368 		return ("MSR_CSTAR");
369 	case MSR_SF_MASK:
370 		return ("MSR_SF_MASK");
371 	case MSR_FSBASE:
372 		return ("MSR_FSBASE");
373 	case MSR_GSBASE:
374 		return ("MSR_GSBASE");
375 	case MSR_KGSBASE:
376 		return ("MSR_KGSBASE");
377 	case MSR_SYSENTER_CS_MSR:
378 		return ("MSR_SYSENTER_CS_MSR");
379 	case MSR_SYSENTER_ESP_MSR:
380 		return ("MSR_SYSENTER_ESP_MSR");
381 	case MSR_SYSENTER_EIP_MSR:
382 		return ("MSR_SYSENTER_EIP_MSR");
383 	case MSR_PAT:
384 		return ("MSR_PAT");
385 	}
386 	snprintf(buf, sizeof(buf), "MSR       %#08x", msr);
387 
388 	return (buf);
389 }
390 
391 static inline void
392 print_msr_pm(uint64_t msr, int vcpu, int readable, int writeable)
393 {
394 
395 	if (readable || writeable) {
396 		printf("%-20s[%d]\t\t%c%c\n", msr_name(msr), vcpu,
397 			readable ? 'R' : '-', writeable ? 'W' : '-');
398 	}
399 }
400 
401 /*
402  * Reference APM vol2, section 15.11 MSR Intercepts.
403  */
404 static void
405 dump_amd_msr_pm(const char *bitmap, int vcpu)
406 {
407 	int byte, bit, readable, writeable;
408 	uint32_t msr;
409 
410 	for (msr = 0; msr < 0x2000; msr++) {
411 		byte = msr / 4;
412 		bit = (msr % 4) * 2;
413 
414 		/* Look at MSRs in the range 0x00000000 to 0x00001FFF */
415 		readable = (bitmap[byte] & (1 << bit)) ? 0 : 1;
416 		writeable = (bitmap[byte] & (2 << bit)) ?  0 : 1;
417 		print_msr_pm(msr, vcpu, readable, writeable);
418 
419 		/* Look at MSRs in the range 0xC0000000 to 0xC0001FFF */
420 		byte += 2048;
421 		readable = (bitmap[byte] & (1 << bit)) ? 0 : 1;
422 		writeable = (bitmap[byte] & (2 << bit)) ?  0 : 1;
423 		print_msr_pm(msr + MSR_AMD6TH_START, vcpu, readable,
424 				writeable);
425 
426 		/* MSR 0xC0010000 to 0xC0011FF is only for AMD */
427 		byte += 4096;
428 		readable = (bitmap[byte] & (1 << bit)) ? 0 : 1;
429 		writeable = (bitmap[byte] & (2 << bit)) ?  0 : 1;
430 		print_msr_pm(msr + MSR_AMD7TH_START, vcpu, readable,
431 				writeable);
432 	}
433 }
434 
435 /*
436  * Reference Intel SDM Vol3 Section 24.6.9 MSR-Bitmap Address
437  */
438 static void
439 dump_intel_msr_pm(const char *bitmap, int vcpu)
440 {
441 	int byte, bit, readable, writeable;
442 	uint32_t msr;
443 
444 	for (msr = 0; msr < 0x2000; msr++) {
445 		byte = msr / 8;
446 		bit = msr & 0x7;
447 
448 		/* Look at MSRs in the range 0x00000000 to 0x00001FFF */
449 		readable = (bitmap[byte] & (1 << bit)) ? 0 : 1;
450 		writeable = (bitmap[2048 + byte] & (1 << bit)) ?  0 : 1;
451 		print_msr_pm(msr, vcpu, readable, writeable);
452 
453 		/* Look at MSRs in the range 0xC0000000 to 0xC0001FFF */
454 		byte += 1024;
455 		readable = (bitmap[byte] & (1 << bit)) ? 0 : 1;
456 		writeable = (bitmap[2048 + byte] & (1 << bit)) ?  0 : 1;
457 		print_msr_pm(msr + MSR_AMD6TH_START, vcpu, readable,
458 				writeable);
459 	}
460 }
461 
462 static int
463 dump_msr_bitmap(int vcpu, uint64_t addr, bool cpu_intel)
464 {
465 	int error, fd, map_size;
466 	const char *bitmap;
467 
468 	error = -1;
469 	bitmap = MAP_FAILED;
470 
471 	fd = open("/dev/mem", O_RDONLY, 0);
472 	if (fd < 0) {
473 		perror("Couldn't open /dev/mem");
474 		goto done;
475 	}
476 
477 	if (cpu_intel)
478 		map_size = PAGE_SIZE;
479 	else
480 		map_size = 2 * PAGE_SIZE;
481 
482 	bitmap = mmap(NULL, map_size, PROT_READ, MAP_SHARED, fd, addr);
483 	if (bitmap == MAP_FAILED) {
484 		perror("mmap failed");
485 		goto done;
486 	}
487 
488 	if (cpu_intel)
489 		dump_intel_msr_pm(bitmap, vcpu);
490 	else
491 		dump_amd_msr_pm(bitmap, vcpu);
492 
493 	error = 0;
494 done:
495 	if (bitmap != MAP_FAILED)
496 		munmap((void *)bitmap, map_size);
497 	if (fd >= 0)
498 		close(fd);
499 
500 	return (error);
501 }
502 
503 static int
504 vm_get_vmcs_field(struct vmctx *ctx, int vcpu, int field, uint64_t *ret_val)
505 {
506 
507 	return (vm_get_register(ctx, vcpu, VMCS_IDENT(field), ret_val));
508 }
509 
510 static int
511 vm_set_vmcs_field(struct vmctx *ctx, int vcpu, int field, uint64_t val)
512 {
513 
514 	return (vm_set_register(ctx, vcpu, VMCS_IDENT(field), val));
515 }
516 
517 static int
518 vm_get_vmcb_field(struct vmctx *ctx, int vcpu, int off, int bytes,
519 	uint64_t *ret_val)
520 {
521 
522 	return (vm_get_register(ctx, vcpu, VMCB_ACCESS(off, bytes), ret_val));
523 }
524 
525 static int
526 vm_set_vmcb_field(struct vmctx *ctx, int vcpu, int off, int bytes,
527 	uint64_t val)
528 {
529 
530 	return (vm_set_register(ctx, vcpu, VMCB_ACCESS(off, bytes), val));
531 }
532 
533 enum {
534 	VMNAME = 1000,	/* avoid collision with return values from getopt */
535 	VCPU,
536 	SET_MEM,
537 	SET_EFER,
538 	SET_CR0,
539 	SET_CR3,
540 	SET_CR4,
541 	SET_DR7,
542 	SET_RSP,
543 	SET_RIP,
544 	SET_RAX,
545 	SET_RFLAGS,
546 	DESC_BASE,
547 	DESC_LIMIT,
548 	DESC_ACCESS,
549 	SET_CS,
550 	SET_DS,
551 	SET_ES,
552 	SET_FS,
553 	SET_GS,
554 	SET_SS,
555 	SET_TR,
556 	SET_LDTR,
557 	SET_X2APIC_STATE,
558 	SET_EXCEPTION_BITMAP,
559 	SET_VMCS_ENTRY_INTERRUPTION_INFO,
560 	SET_CAP,
561 	CAPNAME,
562 	UNASSIGN_PPTDEV,
563 	GET_GPA_PMAP,
564 	ASSERT_LAPIC_LVT,
565 	SET_RTC_TIME,
566 	SET_RTC_NVRAM,
567 	RTC_NVRAM_OFFSET,
568 };
569 
570 static void
571 print_cpus(const char *banner, const cpuset_t *cpus)
572 {
573 	int i, first;
574 
575 	first = 1;
576 	printf("%s:\t", banner);
577 	if (!CPU_EMPTY(cpus)) {
578 		for (i = 0; i < CPU_SETSIZE; i++) {
579 			if (CPU_ISSET(i, cpus)) {
580 				printf("%s%d", first ? " " : ", ", i);
581 				first = 0;
582 			}
583 		}
584 	} else
585 		printf(" (none)");
586 	printf("\n");
587 }
588 
589 static void
590 print_intinfo(const char *banner, uint64_t info)
591 {
592 	int type;
593 
594 	printf("%s:\t", banner);
595 	if (info & VM_INTINFO_VALID) {
596 		type = info & VM_INTINFO_TYPE;
597 		switch (type) {
598 		case VM_INTINFO_HWINTR:
599 			printf("extint");
600 			break;
601 		case VM_INTINFO_NMI:
602 			printf("nmi");
603 			break;
604 		case VM_INTINFO_SWINTR:
605 			printf("swint");
606 			break;
607 		default:
608 			printf("exception");
609 			break;
610 		}
611 		printf(" vector %d", (int)VM_INTINFO_VECTOR(info));
612 		if (info & VM_INTINFO_DEL_ERRCODE)
613 			printf(" errcode %#x", (u_int)(info >> 32));
614 	} else {
615 		printf("n/a");
616 	}
617 	printf("\n");
618 }
619 
620 static bool
621 cpu_vendor_intel(void)
622 {
623 	u_int regs[4];
624 	char cpu_vendor[13];
625 
626 	do_cpuid(0, regs);
627 	((u_int *)&cpu_vendor)[0] = regs[1];
628 	((u_int *)&cpu_vendor)[1] = regs[3];
629 	((u_int *)&cpu_vendor)[2] = regs[2];
630 	cpu_vendor[12] = '\0';
631 
632 	if (strcmp(cpu_vendor, "AuthenticAMD") == 0) {
633 		return (false);
634 	} else if (strcmp(cpu_vendor, "GenuineIntel") == 0) {
635 		return (true);
636 	} else {
637 		fprintf(stderr, "Unknown cpu vendor \"%s\"\n", cpu_vendor);
638 		exit(1);
639 	}
640 }
641 
642 static int
643 get_all_registers(struct vmctx *ctx, int vcpu)
644 {
645 	uint64_t cr0, cr3, cr4, dr7, rsp, rip, rflags, efer;
646 	uint64_t rax, rbx, rcx, rdx, rsi, rdi, rbp;
647 	uint64_t r8, r9, r10, r11, r12, r13, r14, r15;
648 	int error = 0;
649 
650 	if (!error && (get_efer || get_all)) {
651 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_EFER, &efer);
652 		if (error == 0)
653 			printf("efer[%d]\t\t0x%016lx\n", vcpu, efer);
654 	}
655 
656 	if (!error && (get_cr0 || get_all)) {
657 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CR0, &cr0);
658 		if (error == 0)
659 			printf("cr0[%d]\t\t0x%016lx\n", vcpu, cr0);
660 	}
661 
662 	if (!error && (get_cr3 || get_all)) {
663 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CR3, &cr3);
664 		if (error == 0)
665 			printf("cr3[%d]\t\t0x%016lx\n", vcpu, cr3);
666 	}
667 
668 	if (!error && (get_cr4 || get_all)) {
669 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CR4, &cr4);
670 		if (error == 0)
671 			printf("cr4[%d]\t\t0x%016lx\n", vcpu, cr4);
672 	}
673 
674 	if (!error && (get_dr7 || get_all)) {
675 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_DR7, &dr7);
676 		if (error == 0)
677 			printf("dr7[%d]\t\t0x%016lx\n", vcpu, dr7);
678 	}
679 
680 	if (!error && (get_rsp || get_all)) {
681 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RSP, &rsp);
682 		if (error == 0)
683 			printf("rsp[%d]\t\t0x%016lx\n", vcpu, rsp);
684 	}
685 
686 	if (!error && (get_rip || get_all)) {
687 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RIP, &rip);
688 		if (error == 0)
689 			printf("rip[%d]\t\t0x%016lx\n", vcpu, rip);
690 	}
691 
692 	if (!error && (get_rax || get_all)) {
693 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RAX, &rax);
694 		if (error == 0)
695 			printf("rax[%d]\t\t0x%016lx\n", vcpu, rax);
696 	}
697 
698 	if (!error && (get_rbx || get_all)) {
699 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RBX, &rbx);
700 		if (error == 0)
701 			printf("rbx[%d]\t\t0x%016lx\n", vcpu, rbx);
702 	}
703 
704 	if (!error && (get_rcx || get_all)) {
705 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RCX, &rcx);
706 		if (error == 0)
707 			printf("rcx[%d]\t\t0x%016lx\n", vcpu, rcx);
708 	}
709 
710 	if (!error && (get_rdx || get_all)) {
711 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RDX, &rdx);
712 		if (error == 0)
713 			printf("rdx[%d]\t\t0x%016lx\n", vcpu, rdx);
714 	}
715 
716 	if (!error && (get_rsi || get_all)) {
717 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RSI, &rsi);
718 		if (error == 0)
719 			printf("rsi[%d]\t\t0x%016lx\n", vcpu, rsi);
720 	}
721 
722 	if (!error && (get_rdi || get_all)) {
723 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RDI, &rdi);
724 		if (error == 0)
725 			printf("rdi[%d]\t\t0x%016lx\n", vcpu, rdi);
726 	}
727 
728 	if (!error && (get_rbp || get_all)) {
729 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RBP, &rbp);
730 		if (error == 0)
731 			printf("rbp[%d]\t\t0x%016lx\n", vcpu, rbp);
732 	}
733 
734 	if (!error && (get_r8 || get_all)) {
735 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R8, &r8);
736 		if (error == 0)
737 			printf("r8[%d]\t\t0x%016lx\n", vcpu, r8);
738 	}
739 
740 	if (!error && (get_r9 || get_all)) {
741 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R9, &r9);
742 		if (error == 0)
743 			printf("r9[%d]\t\t0x%016lx\n", vcpu, r9);
744 	}
745 
746 	if (!error && (get_r10 || get_all)) {
747 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R10, &r10);
748 		if (error == 0)
749 			printf("r10[%d]\t\t0x%016lx\n", vcpu, r10);
750 	}
751 
752 	if (!error && (get_r11 || get_all)) {
753 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R11, &r11);
754 		if (error == 0)
755 			printf("r11[%d]\t\t0x%016lx\n", vcpu, r11);
756 	}
757 
758 	if (!error && (get_r12 || get_all)) {
759 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R12, &r12);
760 		if (error == 0)
761 			printf("r12[%d]\t\t0x%016lx\n", vcpu, r12);
762 	}
763 
764 	if (!error && (get_r13 || get_all)) {
765 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R13, &r13);
766 		if (error == 0)
767 			printf("r13[%d]\t\t0x%016lx\n", vcpu, r13);
768 	}
769 
770 	if (!error && (get_r14 || get_all)) {
771 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R14, &r14);
772 		if (error == 0)
773 			printf("r14[%d]\t\t0x%016lx\n", vcpu, r14);
774 	}
775 
776 	if (!error && (get_r15 || get_all)) {
777 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_R15, &r15);
778 		if (error == 0)
779 			printf("r15[%d]\t\t0x%016lx\n", vcpu, r15);
780 	}
781 
782 	if (!error && (get_rflags || get_all)) {
783 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RFLAGS,
784 					&rflags);
785 		if (error == 0)
786 			printf("rflags[%d]\t0x%016lx\n", vcpu, rflags);
787 	}
788 
789 	return (error);
790 }
791 
792 static int
793 get_all_segments(struct vmctx *ctx, int vcpu)
794 {
795 	uint64_t cs, ds, es, fs, gs, ss, tr, ldtr;
796 	int error = 0;
797 
798 	if (!error && (get_desc_ds || get_all)) {
799 		error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_DS,
800 				   &desc_base, &desc_limit, &desc_access);
801 		if (error == 0) {
802 			printf("ds desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
803 			      vcpu, desc_base, desc_limit, desc_access);
804 		}
805 	}
806 
807 	if (!error && (get_desc_es || get_all)) {
808 		error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_ES,
809 				    &desc_base, &desc_limit, &desc_access);
810 		if (error == 0) {
811 			printf("es desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
812 			       vcpu, desc_base, desc_limit, desc_access);
813 		}
814 	}
815 
816 	if (!error && (get_desc_fs || get_all)) {
817 		error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_FS,
818 				    &desc_base, &desc_limit, &desc_access);
819 		if (error == 0) {
820 			printf("fs desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
821 			       vcpu, desc_base, desc_limit, desc_access);
822 		}
823 	}
824 
825 	if (!error && (get_desc_gs || get_all)) {
826 		error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_GS,
827 				    &desc_base, &desc_limit, &desc_access);
828 		if (error == 0) {
829 			printf("gs desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
830 			       vcpu, desc_base, desc_limit, desc_access);
831 		}
832 	}
833 
834 	if (!error && (get_desc_ss || get_all)) {
835 		error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_SS,
836 				    &desc_base, &desc_limit, &desc_access);
837 		if (error == 0) {
838 			printf("ss desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
839 			       vcpu, desc_base, desc_limit, desc_access);
840 		}
841 	}
842 
843 	if (!error && (get_desc_cs || get_all)) {
844 		error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_CS,
845 				    &desc_base, &desc_limit, &desc_access);
846 		if (error == 0) {
847 			printf("cs desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
848 			       vcpu, desc_base, desc_limit, desc_access);
849 		}
850 	}
851 
852 	if (!error && (get_desc_tr || get_all)) {
853 		error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_TR,
854 				    &desc_base, &desc_limit, &desc_access);
855 		if (error == 0) {
856 			printf("tr desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
857 			       vcpu, desc_base, desc_limit, desc_access);
858 		}
859 	}
860 
861 	if (!error && (get_desc_ldtr || get_all)) {
862 		error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_LDTR,
863 				    &desc_base, &desc_limit, &desc_access);
864 		if (error == 0) {
865 			printf("ldtr desc[%d]\t0x%016lx/0x%08x/0x%08x\n",
866 			       vcpu, desc_base, desc_limit, desc_access);
867 		}
868 	}
869 
870 	if (!error && (get_desc_gdtr || get_all)) {
871 		error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_GDTR,
872 				    &desc_base, &desc_limit, &desc_access);
873 		if (error == 0) {
874 			printf("gdtr[%d]\t\t0x%016lx/0x%08x\n",
875 			       vcpu, desc_base, desc_limit);
876 		}
877 	}
878 
879 	if (!error && (get_desc_idtr || get_all)) {
880 		error = vm_get_desc(ctx, vcpu, VM_REG_GUEST_IDTR,
881 				    &desc_base, &desc_limit, &desc_access);
882 		if (error == 0) {
883 			printf("idtr[%d]\t\t0x%016lx/0x%08x\n",
884 			       vcpu, desc_base, desc_limit);
885 		}
886 	}
887 
888 	if (!error && (get_cs || get_all)) {
889 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_CS, &cs);
890 		if (error == 0)
891 			printf("cs[%d]\t\t0x%04lx\n", vcpu, cs);
892 	}
893 
894 	if (!error && (get_ds || get_all)) {
895 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_DS, &ds);
896 		if (error == 0)
897 			printf("ds[%d]\t\t0x%04lx\n", vcpu, ds);
898 	}
899 
900 	if (!error && (get_es || get_all)) {
901 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_ES, &es);
902 		if (error == 0)
903 			printf("es[%d]\t\t0x%04lx\n", vcpu, es);
904 	}
905 
906 	if (!error && (get_fs || get_all)) {
907 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_FS, &fs);
908 		if (error == 0)
909 			printf("fs[%d]\t\t0x%04lx\n", vcpu, fs);
910 	}
911 
912 	if (!error && (get_gs || get_all)) {
913 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_GS, &gs);
914 		if (error == 0)
915 			printf("gs[%d]\t\t0x%04lx\n", vcpu, gs);
916 	}
917 
918 	if (!error && (get_ss || get_all)) {
919 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_SS, &ss);
920 		if (error == 0)
921 			printf("ss[%d]\t\t0x%04lx\n", vcpu, ss);
922 	}
923 
924 	if (!error && (get_tr || get_all)) {
925 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_TR, &tr);
926 		if (error == 0)
927 			printf("tr[%d]\t\t0x%04lx\n", vcpu, tr);
928 	}
929 
930 	if (!error && (get_ldtr || get_all)) {
931 		error = vm_get_register(ctx, vcpu, VM_REG_GUEST_LDTR, &ldtr);
932 		if (error == 0)
933 			printf("ldtr[%d]\t\t0x%04lx\n", vcpu, ldtr);
934 	}
935 
936 	return (error);
937 }
938 
939 static int
940 get_misc_vmcs(struct vmctx *ctx, int vcpu)
941 {
942 	uint64_t ctl, cr0, cr3, cr4, rsp, rip, pat, addr, u64;
943 	int error = 0;
944 
945 	if (!error && (get_cr0_mask || get_all)) {
946 		uint64_t cr0mask;
947 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR0_MASK, &cr0mask);
948 		if (error == 0)
949 			printf("cr0_mask[%d]\t\t0x%016lx\n", vcpu, cr0mask);
950 	}
951 
952 	if (!error && (get_cr0_shadow || get_all)) {
953 		uint64_t cr0shadow;
954 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR0_SHADOW,
955 					  &cr0shadow);
956 		if (error == 0)
957 			printf("cr0_shadow[%d]\t\t0x%016lx\n", vcpu, cr0shadow);
958 	}
959 
960 	if (!error && (get_cr4_mask || get_all)) {
961 		uint64_t cr4mask;
962 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR4_MASK, &cr4mask);
963 		if (error == 0)
964 			printf("cr4_mask[%d]\t\t0x%016lx\n", vcpu, cr4mask);
965 	}
966 
967 	if (!error && (get_cr4_shadow || get_all)) {
968 		uint64_t cr4shadow;
969 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR4_SHADOW,
970 					  &cr4shadow);
971 		if (error == 0)
972 			printf("cr4_shadow[%d]\t\t0x%016lx\n", vcpu, cr4shadow);
973 	}
974 
975 	if (!error && (get_cr3_targets || get_all)) {
976 		uint64_t target_count, target_addr;
977 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET_COUNT,
978 					  &target_count);
979 		if (error == 0) {
980 			printf("cr3_target_count[%d]\t0x%016lx\n",
981 				vcpu, target_count);
982 		}
983 
984 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET0,
985 					  &target_addr);
986 		if (error == 0) {
987 			printf("cr3_target0[%d]\t\t0x%016lx\n",
988 				vcpu, target_addr);
989 		}
990 
991 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET1,
992 					  &target_addr);
993 		if (error == 0) {
994 			printf("cr3_target1[%d]\t\t0x%016lx\n",
995 				vcpu, target_addr);
996 		}
997 
998 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET2,
999 					  &target_addr);
1000 		if (error == 0) {
1001 			printf("cr3_target2[%d]\t\t0x%016lx\n",
1002 				vcpu, target_addr);
1003 		}
1004 
1005 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_CR3_TARGET3,
1006 					  &target_addr);
1007 		if (error == 0) {
1008 			printf("cr3_target3[%d]\t\t0x%016lx\n",
1009 				vcpu, target_addr);
1010 		}
1011 	}
1012 
1013 	if (!error && (get_pinbased_ctls || get_all)) {
1014 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_PIN_BASED_CTLS, &ctl);
1015 		if (error == 0)
1016 			printf("pinbased_ctls[%d]\t0x%016lx\n", vcpu, ctl);
1017 	}
1018 
1019 	if (!error && (get_procbased_ctls || get_all)) {
1020 		error = vm_get_vmcs_field(ctx, vcpu,
1021 					  VMCS_PRI_PROC_BASED_CTLS, &ctl);
1022 		if (error == 0)
1023 			printf("procbased_ctls[%d]\t0x%016lx\n", vcpu, ctl);
1024 	}
1025 
1026 	if (!error && (get_procbased_ctls2 || get_all)) {
1027 		error = vm_get_vmcs_field(ctx, vcpu,
1028 					  VMCS_SEC_PROC_BASED_CTLS, &ctl);
1029 		if (error == 0)
1030 			printf("procbased_ctls2[%d]\t0x%016lx\n", vcpu, ctl);
1031 	}
1032 
1033 	if (!error && (get_vmcs_gla || get_all)) {
1034 		error = vm_get_vmcs_field(ctx, vcpu,
1035 					  VMCS_GUEST_LINEAR_ADDRESS, &u64);
1036 		if (error == 0)
1037 			printf("gla[%d]\t\t0x%016lx\n", vcpu, u64);
1038 	}
1039 
1040 	if (!error && (get_vmcs_gpa || get_all)) {
1041 		error = vm_get_vmcs_field(ctx, vcpu,
1042 					  VMCS_GUEST_PHYSICAL_ADDRESS, &u64);
1043 		if (error == 0)
1044 			printf("gpa[%d]\t\t0x%016lx\n", vcpu, u64);
1045 	}
1046 
1047 	if (!error && (get_vmcs_entry_interruption_info ||
1048 		get_all)) {
1049 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_ENTRY_INTR_INFO,&u64);
1050 		if (error == 0) {
1051 			printf("entry_interruption_info[%d]\t0x%016lx\n",
1052 				vcpu, u64);
1053 		}
1054 	}
1055 
1056 	if (!error && (get_tpr_threshold || get_all)) {
1057 		uint64_t threshold;
1058 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_TPR_THRESHOLD,
1059 					  &threshold);
1060 		if (error == 0)
1061 			printf("tpr_threshold[%d]\t0x%016lx\n", vcpu, threshold);
1062 	}
1063 
1064 	if (!error && (get_inst_err || get_all)) {
1065 		uint64_t insterr;
1066 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_INSTRUCTION_ERROR,
1067 					  &insterr);
1068 		if (error == 0) {
1069 			printf("instruction_error[%d]\t0x%016lx\n",
1070 				vcpu, insterr);
1071 		}
1072 	}
1073 
1074 	if (!error && (get_exit_ctls || get_all)) {
1075 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_CTLS, &ctl);
1076 		if (error == 0)
1077 			printf("exit_ctls[%d]\t\t0x%016lx\n", vcpu, ctl);
1078 	}
1079 
1080 	if (!error && (get_entry_ctls || get_all)) {
1081 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_ENTRY_CTLS, &ctl);
1082 		if (error == 0)
1083 			printf("entry_ctls[%d]\t\t0x%016lx\n", vcpu, ctl);
1084 	}
1085 
1086 	if (!error && (get_host_pat || get_all)) {
1087 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_IA32_PAT, &pat);
1088 		if (error == 0)
1089 			printf("host_pat[%d]\t\t0x%016lx\n", vcpu, pat);
1090 	}
1091 
1092 	if (!error && (get_host_cr0 || get_all)) {
1093 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_CR0, &cr0);
1094 		if (error == 0)
1095 			printf("host_cr0[%d]\t\t0x%016lx\n", vcpu, cr0);
1096 	}
1097 
1098 	if (!error && (get_host_cr3 || get_all)) {
1099 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_CR3, &cr3);
1100 		if (error == 0)
1101 			printf("host_cr3[%d]\t\t0x%016lx\n", vcpu, cr3);
1102 	}
1103 
1104 	if (!error && (get_host_cr4 || get_all)) {
1105 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_CR4, &cr4);
1106 		if (error == 0)
1107 			printf("host_cr4[%d]\t\t0x%016lx\n", vcpu, cr4);
1108 	}
1109 
1110 	if (!error && (get_host_rip || get_all)) {
1111 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_RIP, &rip);
1112 		if (error == 0)
1113 			printf("host_rip[%d]\t\t0x%016lx\n", vcpu, rip);
1114 	}
1115 
1116 	if (!error && (get_host_rsp || get_all)) {
1117 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_RSP, &rsp);
1118 		if (error == 0)
1119 			printf("host_rsp[%d]\t\t0x%016lx\n", vcpu, rsp);
1120 	}
1121 
1122 	if (!error && (get_vmcs_link || get_all)) {
1123 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_LINK_POINTER, &addr);
1124 		if (error == 0)
1125 			printf("vmcs_pointer[%d]\t0x%016lx\n", vcpu, addr);
1126 	}
1127 
1128 	if (!error && (get_vmcs_exit_interruption_info || get_all)) {
1129 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_INTR_INFO, &u64);
1130 		if (error == 0) {
1131 			printf("vmcs_exit_interruption_info[%d]\t0x%016lx\n",
1132 				vcpu, u64);
1133 		}
1134 	}
1135 
1136 	if (!error && (get_vmcs_exit_interruption_error || get_all)) {
1137 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_INTR_ERRCODE,
1138 		    			  &u64);
1139 		if (error == 0) {
1140 			printf("vmcs_exit_interruption_error[%d]\t0x%016lx\n",
1141 				vcpu, u64);
1142 		}
1143 	}
1144 
1145 	if (!error && (get_vmcs_interruptibility || get_all)) {
1146 		error = vm_get_vmcs_field(ctx, vcpu,
1147 					  VMCS_GUEST_INTERRUPTIBILITY, &u64);
1148 		if (error == 0) {
1149 			printf("vmcs_guest_interruptibility[%d]\t0x%016lx\n",
1150 				vcpu, u64);
1151 		}
1152 	}
1153 
1154 	if (!error && (get_vmcs_exit_inst_length || get_all)) {
1155 		error = vm_get_vmcs_field(ctx, vcpu,
1156 		    VMCS_EXIT_INSTRUCTION_LENGTH, &u64);
1157 		if (error == 0)
1158 			printf("vmcs_exit_inst_length[%d]\t0x%08x\n", vcpu,
1159 			    (uint32_t)u64);
1160 	}
1161 
1162 	if (!error && (get_vmcs_exit_qualification || get_all)) {
1163 		error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_QUALIFICATION,
1164 					  &u64);
1165 		if (error == 0)
1166 			printf("vmcs_exit_qualification[%d]\t0x%016lx\n",
1167 				vcpu, u64);
1168 	}
1169 
1170 	return (error);
1171 }
1172 
1173 static int
1174 get_misc_vmcb(struct vmctx *ctx, int vcpu)
1175 {
1176 	uint64_t ctl, addr;
1177 	int error = 0;
1178 
1179 	if (!error && (get_vmcb_intercept || get_all)) {
1180 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_CR_INTERCEPT, 4,
1181 		    &ctl);
1182 		if (error == 0)
1183 			printf("cr_intercept[%d]\t0x%08x\n", vcpu, (int)ctl);
1184 
1185 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_DR_INTERCEPT, 4,
1186 		    &ctl);
1187 		if (error == 0)
1188 			printf("dr_intercept[%d]\t0x%08x\n", vcpu, (int)ctl);
1189 
1190 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_EXC_INTERCEPT, 4,
1191 		    &ctl);
1192 		if (error == 0)
1193 			printf("exc_intercept[%d]\t0x%08x\n", vcpu, (int)ctl);
1194 
1195 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_INST1_INTERCEPT,
1196 		    4, &ctl);
1197 		if (error == 0)
1198 			printf("inst1_intercept[%d]\t0x%08x\n", vcpu, (int)ctl);
1199 
1200 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_INST2_INTERCEPT,
1201 		    4, &ctl);
1202 		if (error == 0)
1203 			printf("inst2_intercept[%d]\t0x%08x\n", vcpu, (int)ctl);
1204 	}
1205 
1206 	if (!error && (get_vmcb_tlb_ctrl || get_all)) {
1207 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_TLB_CTRL,
1208 					  4, &ctl);
1209 		if (error == 0)
1210 			printf("TLB ctrl[%d]\t0x%016lx\n", vcpu, ctl);
1211 	}
1212 
1213 	if (!error && (get_vmcb_exit_details || get_all)) {
1214 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_EXITINFO1,
1215 					  8, &ctl);
1216 		if (error == 0)
1217 			printf("exitinfo1[%d]\t0x%016lx\n", vcpu, ctl);
1218 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_EXITINFO2,
1219 					  8, &ctl);
1220 		if (error == 0)
1221 			printf("exitinfo2[%d]\t0x%016lx\n", vcpu, ctl);
1222 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_EXITINTINFO,
1223 					  8, &ctl);
1224 		if (error == 0)
1225 			printf("exitintinfo[%d]\t0x%016lx\n", vcpu, ctl);
1226 	}
1227 
1228 	if (!error && (get_vmcb_virq || get_all)) {
1229 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_VIRQ,
1230 					  8, &ctl);
1231 		if (error == 0)
1232 			printf("v_irq/tpr[%d]\t0x%016lx\n", vcpu, ctl);
1233 	}
1234 
1235 	if (!error && (get_apic_access_addr || get_all)) {
1236 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_AVIC_BAR, 8,
1237 					  &addr);
1238 		if (error == 0)
1239 			printf("AVIC apic_bar[%d]\t0x%016lx\n", vcpu, addr);
1240 	}
1241 
1242 	if (!error && (get_virtual_apic_addr || get_all)) {
1243 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_AVIC_PAGE, 8,
1244 					  &addr);
1245 		if (error == 0)
1246 			printf("AVIC backing page[%d]\t0x%016lx\n", vcpu, addr);
1247 	}
1248 
1249 	if (!error && (get_avic_table || get_all)) {
1250 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_AVIC_LT, 8,
1251 					  &addr);
1252 		if (error == 0)
1253 			printf("AVIC logical table[%d]\t0x%016lx\n",
1254 				vcpu, addr);
1255 		error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_AVIC_PT, 8,
1256 					  &addr);
1257 		if (error == 0)
1258 			printf("AVIC physical table[%d]\t0x%016lx\n",
1259 				vcpu, addr);
1260 	}
1261 
1262 	return (error);
1263 }
1264 
1265 static struct option *
1266 setup_options(bool cpu_intel)
1267 {
1268 	const struct option common_opts[] = {
1269 		{ "vm",		REQ_ARG,	0,	VMNAME },
1270 		{ "cpu",	REQ_ARG,	0,	VCPU },
1271 		{ "set-mem",	REQ_ARG,	0,	SET_MEM },
1272 		{ "set-efer",	REQ_ARG,	0,	SET_EFER },
1273 		{ "set-cr0",	REQ_ARG,	0,	SET_CR0 },
1274 		{ "set-cr3",	REQ_ARG,	0,	SET_CR3 },
1275 		{ "set-cr4",	REQ_ARG,	0,	SET_CR4 },
1276 		{ "set-dr7",	REQ_ARG,	0,	SET_DR7 },
1277 		{ "set-rsp",	REQ_ARG,	0,	SET_RSP },
1278 		{ "set-rip",	REQ_ARG,	0,	SET_RIP },
1279 		{ "set-rax",	REQ_ARG,	0,	SET_RAX },
1280 		{ "set-rflags",	REQ_ARG,	0,	SET_RFLAGS },
1281 		{ "desc-base",	REQ_ARG,	0,	DESC_BASE },
1282 		{ "desc-limit",	REQ_ARG,	0,	DESC_LIMIT },
1283 		{ "desc-access",REQ_ARG,	0,	DESC_ACCESS },
1284 		{ "set-cs",	REQ_ARG,	0,	SET_CS },
1285 		{ "set-ds",	REQ_ARG,	0,	SET_DS },
1286 		{ "set-es",	REQ_ARG,	0,	SET_ES },
1287 		{ "set-fs",	REQ_ARG,	0,	SET_FS },
1288 		{ "set-gs",	REQ_ARG,	0,	SET_GS },
1289 		{ "set-ss",	REQ_ARG,	0,	SET_SS },
1290 		{ "set-tr",	REQ_ARG,	0,	SET_TR },
1291 		{ "set-ldtr",	REQ_ARG,	0,	SET_LDTR },
1292 		{ "set-x2apic-state",REQ_ARG,	0,	SET_X2APIC_STATE },
1293 		{ "set-exception-bitmap",
1294 				REQ_ARG,	0, SET_EXCEPTION_BITMAP },
1295 		{ "capname",	REQ_ARG,	0,	CAPNAME },
1296 		{ "unassign-pptdev", REQ_ARG,	0,	UNASSIGN_PPTDEV },
1297 		{ "setcap",	REQ_ARG,	0,	SET_CAP },
1298 		{ "get-gpa-pmap", REQ_ARG,	0,	GET_GPA_PMAP },
1299 		{ "assert-lapic-lvt", REQ_ARG,	0,	ASSERT_LAPIC_LVT },
1300 		{ "get-rtc-time", NO_ARG,	&get_rtc_time,	1 },
1301 		{ "set-rtc-time", REQ_ARG,	0,	SET_RTC_TIME },
1302 		{ "rtc-nvram-offset", REQ_ARG,	0,	RTC_NVRAM_OFFSET },
1303 		{ "get-rtc-nvram", NO_ARG,	&get_rtc_nvram,	1 },
1304 		{ "set-rtc-nvram", REQ_ARG,	0,	SET_RTC_NVRAM },
1305 		{ "getcap",	NO_ARG,		&getcap,	1 },
1306 		{ "get-stats",	NO_ARG,		&get_stats,	1 },
1307 		{ "get-desc-ds",NO_ARG,		&get_desc_ds,	1 },
1308 		{ "set-desc-ds",NO_ARG,		&set_desc_ds,	1 },
1309 		{ "get-desc-es",NO_ARG,		&get_desc_es,	1 },
1310 		{ "set-desc-es",NO_ARG,		&set_desc_es,	1 },
1311 		{ "get-desc-ss",NO_ARG,		&get_desc_ss,	1 },
1312 		{ "set-desc-ss",NO_ARG,		&set_desc_ss,	1 },
1313 		{ "get-desc-cs",NO_ARG,		&get_desc_cs,	1 },
1314 		{ "set-desc-cs",NO_ARG,		&set_desc_cs,	1 },
1315 		{ "get-desc-fs",NO_ARG,		&get_desc_fs,	1 },
1316 		{ "set-desc-fs",NO_ARG,		&set_desc_fs,	1 },
1317 		{ "get-desc-gs",NO_ARG,		&get_desc_gs,	1 },
1318 		{ "set-desc-gs",NO_ARG,		&set_desc_gs,	1 },
1319 		{ "get-desc-tr",NO_ARG,		&get_desc_tr,	1 },
1320 		{ "set-desc-tr",NO_ARG,		&set_desc_tr,	1 },
1321 		{ "set-desc-ldtr", NO_ARG,	&set_desc_ldtr,	1 },
1322 		{ "get-desc-ldtr", NO_ARG,	&get_desc_ldtr,	1 },
1323 		{ "set-desc-gdtr", NO_ARG,	&set_desc_gdtr, 1 },
1324 		{ "get-desc-gdtr", NO_ARG,	&get_desc_gdtr, 1 },
1325 		{ "set-desc-idtr", NO_ARG,	&set_desc_idtr, 1 },
1326 		{ "get-desc-idtr", NO_ARG,	&get_desc_idtr, 1 },
1327 		{ "get-memmap",	NO_ARG,		&get_memmap,	1 },
1328 		{ "get-memseg", NO_ARG,		&get_memseg,	1 },
1329 		{ "get-efer",	NO_ARG,		&get_efer,	1 },
1330 		{ "get-cr0",	NO_ARG,		&get_cr0,	1 },
1331 		{ "get-cr3",	NO_ARG,		&get_cr3,	1 },
1332 		{ "get-cr4",	NO_ARG,		&get_cr4,	1 },
1333 		{ "get-dr7",	NO_ARG,		&get_dr7,	1 },
1334 		{ "get-rsp",	NO_ARG,		&get_rsp,	1 },
1335 		{ "get-rip",	NO_ARG,		&get_rip,	1 },
1336 		{ "get-rax",	NO_ARG,		&get_rax,	1 },
1337 		{ "get-rbx",	NO_ARG,		&get_rbx,	1 },
1338 		{ "get-rcx",	NO_ARG,		&get_rcx,	1 },
1339 		{ "get-rdx",	NO_ARG,		&get_rdx,	1 },
1340 		{ "get-rsi",	NO_ARG,		&get_rsi,	1 },
1341 		{ "get-rdi",	NO_ARG,		&get_rdi,	1 },
1342 		{ "get-rbp",	NO_ARG,		&get_rbp,	1 },
1343 		{ "get-r8",	NO_ARG,		&get_r8,	1 },
1344 		{ "get-r9",	NO_ARG,		&get_r9,	1 },
1345 		{ "get-r10",	NO_ARG,		&get_r10,	1 },
1346 		{ "get-r11",	NO_ARG,		&get_r11,	1 },
1347 		{ "get-r12",	NO_ARG,		&get_r12,	1 },
1348 		{ "get-r13",	NO_ARG,		&get_r13,	1 },
1349 		{ "get-r14",	NO_ARG,		&get_r14,	1 },
1350 		{ "get-r15",	NO_ARG,		&get_r15,	1 },
1351 		{ "get-rflags",	NO_ARG,		&get_rflags,	1 },
1352 		{ "get-cs",	NO_ARG,		&get_cs,	1 },
1353 		{ "get-ds",	NO_ARG,		&get_ds,	1 },
1354 		{ "get-es",	NO_ARG,		&get_es,	1 },
1355 		{ "get-fs",	NO_ARG,		&get_fs,	1 },
1356 		{ "get-gs",	NO_ARG,		&get_gs,	1 },
1357 		{ "get-ss",	NO_ARG,		&get_ss,	1 },
1358 		{ "get-tr",	NO_ARG,		&get_tr,	1 },
1359 		{ "get-ldtr",	NO_ARG,		&get_ldtr,	1 },
1360 		{ "get-eptp", 	NO_ARG,		&get_eptp,	1 },
1361 		{ "get-exception-bitmap",
1362 					NO_ARG,	&get_exception_bitmap,  1 },
1363 		{ "get-io-bitmap-address",
1364 					NO_ARG,	&get_io_bitmap,		1 },
1365 		{ "get-tsc-offset", 	NO_ARG, &get_tsc_offset, 	1 },
1366 		{ "get-msr-bitmap",
1367 					NO_ARG,	&get_msr_bitmap, 	1 },
1368 		{ "get-msr-bitmap-address",
1369 					NO_ARG,	&get_msr_bitmap_address, 1 },
1370 		{ "get-guest-pat",	NO_ARG,	&get_guest_pat,		1 },
1371 		{ "get-guest-sysenter",
1372 					NO_ARG,	&get_guest_sysenter, 	1 },
1373 		{ "get-exit-reason",
1374 					NO_ARG,	&get_exit_reason, 	1 },
1375 		{ "get-x2apic-state",	NO_ARG,	&get_x2apic_state, 	1 },
1376 		{ "get-all",		NO_ARG,	&get_all,		1 },
1377 		{ "run",		NO_ARG,	&run,			1 },
1378 		{ "create",		NO_ARG,	&create,		1 },
1379 		{ "destroy",		NO_ARG,	&destroy,		1 },
1380 		{ "inject-nmi",		NO_ARG,	&inject_nmi,		1 },
1381 		{ "force-reset",	NO_ARG,	&force_reset,		1 },
1382 		{ "force-poweroff", 	NO_ARG,	&force_poweroff, 	1 },
1383 		{ "get-active-cpus", 	NO_ARG,	&get_active_cpus, 	1 },
1384 		{ "get-suspended-cpus", NO_ARG,	&get_suspended_cpus, 	1 },
1385 		{ "get-intinfo", 	NO_ARG,	&get_intinfo,		1 },
1386 	};
1387 
1388 	const struct option intel_opts[] = {
1389 		{ "get-vmcs-pinbased-ctls",
1390 				NO_ARG,		&get_pinbased_ctls, 1 },
1391 		{ "get-vmcs-procbased-ctls",
1392 				NO_ARG,		&get_procbased_ctls, 1 },
1393 		{ "get-vmcs-procbased-ctls2",
1394 				NO_ARG,		&get_procbased_ctls2, 1 },
1395 		{ "get-vmcs-guest-linear-address",
1396 				NO_ARG,		&get_vmcs_gla,	1 },
1397 		{ "get-vmcs-guest-physical-address",
1398 				NO_ARG,		&get_vmcs_gpa,	1 },
1399 		{ "get-vmcs-entry-interruption-info",
1400 				NO_ARG, &get_vmcs_entry_interruption_info, 1},
1401 		{ "get-vmcs-cr0-mask", NO_ARG,	&get_cr0_mask,	1 },
1402 		{ "get-vmcs-cr0-shadow", NO_ARG,&get_cr0_shadow, 1 },
1403 		{ "get-vmcs-cr4-mask", 		NO_ARG,	&get_cr4_mask,	  1 },
1404 		{ "get-vmcs-cr4-shadow", 	NO_ARG, &get_cr4_shadow,  1 },
1405 		{ "get-vmcs-cr3-targets", 	NO_ARG, &get_cr3_targets, 1 },
1406 		{ "get-vmcs-tpr-threshold",
1407 					NO_ARG,	&get_tpr_threshold, 1 },
1408 		{ "get-vmcs-vpid", 	NO_ARG,	&get_vpid_asid,	    1 },
1409 		{ "get-vmcs-exit-ctls", NO_ARG,	&get_exit_ctls,	    1 },
1410 		{ "get-vmcs-entry-ctls",
1411 					NO_ARG,	&get_entry_ctls, 1 },
1412 		{ "get-vmcs-instruction-error",
1413 					NO_ARG,	&get_inst_err,	1 },
1414 		{ "get-vmcs-host-pat",	NO_ARG,	&get_host_pat,	1 },
1415 		{ "get-vmcs-host-cr0",
1416 					NO_ARG,	&get_host_cr0,	1 },
1417 		{ "set-vmcs-entry-interruption-info",
1418 				REQ_ARG, 0, SET_VMCS_ENTRY_INTERRUPTION_INFO },
1419 		{ "get-vmcs-exit-qualification",
1420 				NO_ARG,	&get_vmcs_exit_qualification, 1 },
1421 		{ "get-vmcs-exit-inst-length",
1422 				NO_ARG,	&get_vmcs_exit_inst_length, 1 },
1423 		{ "get-vmcs-interruptibility",
1424 				NO_ARG, &get_vmcs_interruptibility, 1 },
1425 		{ "get-vmcs-exit-interruption-error",
1426 				NO_ARG,	&get_vmcs_exit_interruption_error, 1 },
1427 		{ "get-vmcs-exit-interruption-info",
1428 				NO_ARG,	&get_vmcs_exit_interruption_info, 1 },
1429 		{ "get-vmcs-link", 	NO_ARG,		&get_vmcs_link, 1 },
1430 		{ "get-vmcs-host-cr3",
1431 					NO_ARG,		&get_host_cr3,	1 },
1432 		{ "get-vmcs-host-cr4",
1433 				NO_ARG,		&get_host_cr4,	1 },
1434 		{ "get-vmcs-host-rip",
1435 				NO_ARG,		&get_host_rip,	1 },
1436 		{ "get-vmcs-host-rsp",
1437 				NO_ARG,		&get_host_rsp,	1 },
1438 		{ "get-apic-access-address",
1439 				NO_ARG,		&get_apic_access_addr, 1},
1440 		{ "get-virtual-apic-address",
1441 				NO_ARG,		&get_virtual_apic_addr, 1}
1442 	};
1443 
1444 	const struct option amd_opts[] = {
1445 		{ "get-vmcb-intercepts",
1446 				NO_ARG,	&get_vmcb_intercept, 	1 },
1447 		{ "get-vmcb-asid",
1448 				NO_ARG,	&get_vpid_asid,	     	1 },
1449 		{ "get-vmcb-exit-details",
1450 				NO_ARG, &get_vmcb_exit_details,	1 },
1451 		{ "get-vmcb-tlb-ctrl",
1452 				NO_ARG, &get_vmcb_tlb_ctrl, 	1 },
1453 		{ "get-vmcb-virq",
1454 				NO_ARG, &get_vmcb_virq, 	1 },
1455 		{ "get-avic-apic-bar",
1456 				NO_ARG,	&get_apic_access_addr, 	1 },
1457 		{ "get-avic-backing-page",
1458 				NO_ARG,	&get_virtual_apic_addr, 1 },
1459 		{ "get-avic-table",
1460 				NO_ARG,	&get_avic_table, 	1 }
1461 	};
1462 
1463 	const struct option null_opt = {
1464 		NULL, 0, NULL, 0
1465 	};
1466 
1467 	struct option *all_opts;
1468 	char *cp;
1469 	int optlen;
1470 
1471 	optlen = sizeof(common_opts);
1472 
1473 	if (cpu_intel)
1474 		optlen += sizeof(intel_opts);
1475 	else
1476 		optlen += sizeof(amd_opts);
1477 
1478 	optlen += sizeof(null_opt);
1479 
1480 	all_opts = malloc(optlen);
1481 
1482 	cp = (char *)all_opts;
1483 	memcpy(cp, common_opts, sizeof(common_opts));
1484 	cp += sizeof(common_opts);
1485 
1486 	if (cpu_intel) {
1487 		memcpy(cp, intel_opts, sizeof(intel_opts));
1488 		cp += sizeof(intel_opts);
1489 	} else {
1490 		memcpy(cp, amd_opts, sizeof(amd_opts));
1491 		cp += sizeof(amd_opts);
1492 	}
1493 
1494 	memcpy(cp, &null_opt, sizeof(null_opt));
1495 	cp += sizeof(null_opt);
1496 
1497 	return (all_opts);
1498 }
1499 
1500 static const char *
1501 wday_str(int idx)
1502 {
1503 	static const char *weekdays[] = {
1504 		"Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"
1505 	};
1506 
1507 	if (idx >= 0 && idx < 7)
1508 		return (weekdays[idx]);
1509 	else
1510 		return ("UNK");
1511 }
1512 
1513 static const char *
1514 mon_str(int idx)
1515 {
1516 	static const char *months[] = {
1517 		"Jan", "Feb", "Mar", "Apr", "May", "Jun",
1518 		"Jul", "Aug", "Sep", "Oct", "Nov", "Dec"
1519 	};
1520 
1521 	if (idx >= 0 && idx < 12)
1522 		return (months[idx]);
1523 	else
1524 		return ("UNK");
1525 }
1526 
1527 static int
1528 show_memmap(struct vmctx *ctx)
1529 {
1530 	char name[SPECNAMELEN + 1], numbuf[8];
1531 	vm_ooffset_t segoff;
1532 	vm_paddr_t gpa;
1533 	size_t maplen, seglen;
1534 	int error, flags, prot, segid, delim;
1535 
1536 	printf("Address     Length      Segment     Offset      ");
1537 	printf("Prot  Flags\n");
1538 
1539 	gpa = 0;
1540 	while (1) {
1541 		error = vm_mmap_getnext(ctx, &gpa, &segid, &segoff, &maplen,
1542 		    &prot, &flags);
1543 		if (error)
1544 			return (errno == ENOENT ? 0 : error);
1545 
1546 		error = vm_get_memseg(ctx, segid, &seglen, name, sizeof(name));
1547 		if (error)
1548 			return (error);
1549 
1550 		printf("%-12lX", gpa);
1551 		humanize_number(numbuf, sizeof(numbuf), maplen, "B",
1552 		    HN_AUTOSCALE, HN_NOSPACE);
1553 		printf("%-12s", numbuf);
1554 
1555 		printf("%-12s", name[0] ? name : "sysmem");
1556 		printf("%-12lX", segoff);
1557 		printf("%c%c%c   ", prot & PROT_READ ? 'R' : '-',
1558 		    prot & PROT_WRITE ? 'W' : '-',
1559 		    prot & PROT_EXEC ? 'X' : '-');
1560 
1561 		delim = '\0';
1562 		if (flags & VM_MEMMAP_F_WIRED) {
1563 			printf("%cwired", delim);
1564 			delim = '/';
1565 		}
1566 		if (flags & VM_MEMMAP_F_IOMMU) {
1567 			printf("%ciommu", delim);
1568 			delim = '/';
1569 		}
1570 		printf("\n");
1571 
1572 		gpa += maplen;
1573 	}
1574 }
1575 
1576 static int
1577 show_memseg(struct vmctx *ctx)
1578 {
1579 	char name[SPECNAMELEN + 1], numbuf[8];
1580 	size_t seglen;
1581 	int error, segid;
1582 
1583 	printf("ID  Length      Name\n");
1584 
1585 	segid = 0;
1586 	while (1) {
1587 		error = vm_get_memseg(ctx, segid, &seglen, name, sizeof(name));
1588 		if (error)
1589 			return (errno == EINVAL ? 0 : error);
1590 
1591 		if (seglen) {
1592 			printf("%-4d", segid);
1593 			humanize_number(numbuf, sizeof(numbuf), seglen, "B",
1594 			    HN_AUTOSCALE, HN_NOSPACE);
1595 			printf("%-12s", numbuf);
1596 			printf("%s", name[0] ? name : "sysmem");
1597 			printf("\n");
1598 		}
1599 		segid++;
1600 	}
1601 }
1602 
1603 int
1604 main(int argc, char *argv[])
1605 {
1606 	char *vmname;
1607 	int error, ch, vcpu, ptenum;
1608 	vm_paddr_t gpa_pmap;
1609 	struct vm_exit vmexit;
1610 	uint64_t rax, cr0, cr3, cr4, dr7, rsp, rip, rflags, efer, pat;
1611 	uint64_t eptp, bm, addr, u64, pteval[4], *pte, info[2];
1612 	struct vmctx *ctx;
1613 	cpuset_t cpus;
1614 	bool cpu_intel;
1615 	uint64_t cs, ds, es, fs, gs, ss, tr, ldtr;
1616 	struct tm tm;
1617 	struct option *opts;
1618 
1619 	cpu_intel = cpu_vendor_intel();
1620 	opts = setup_options(cpu_intel);
1621 
1622 	vcpu = 0;
1623 	vmname = NULL;
1624 	assert_lapic_lvt = -1;
1625 	progname = basename(argv[0]);
1626 
1627 	while ((ch = getopt_long(argc, argv, "", opts, NULL)) != -1) {
1628 		switch (ch) {
1629 		case 0:
1630 			break;
1631 		case VMNAME:
1632 			vmname = optarg;
1633 			break;
1634 		case VCPU:
1635 			vcpu = atoi(optarg);
1636 			break;
1637 		case SET_MEM:
1638 			memsize = atoi(optarg) * MB;
1639 			memsize = roundup(memsize, 2 * MB);
1640 			break;
1641 		case SET_EFER:
1642 			efer = strtoul(optarg, NULL, 0);
1643 			set_efer = 1;
1644 			break;
1645 		case SET_CR0:
1646 			cr0 = strtoul(optarg, NULL, 0);
1647 			set_cr0 = 1;
1648 			break;
1649 		case SET_CR3:
1650 			cr3 = strtoul(optarg, NULL, 0);
1651 			set_cr3 = 1;
1652 			break;
1653 		case SET_CR4:
1654 			cr4 = strtoul(optarg, NULL, 0);
1655 			set_cr4 = 1;
1656 			break;
1657 		case SET_DR7:
1658 			dr7 = strtoul(optarg, NULL, 0);
1659 			set_dr7 = 1;
1660 			break;
1661 		case SET_RSP:
1662 			rsp = strtoul(optarg, NULL, 0);
1663 			set_rsp = 1;
1664 			break;
1665 		case SET_RIP:
1666 			rip = strtoul(optarg, NULL, 0);
1667 			set_rip = 1;
1668 			break;
1669 		case SET_RAX:
1670 			rax = strtoul(optarg, NULL, 0);
1671 			set_rax = 1;
1672 			break;
1673 		case SET_RFLAGS:
1674 			rflags = strtoul(optarg, NULL, 0);
1675 			set_rflags = 1;
1676 			break;
1677 		case DESC_BASE:
1678 			desc_base = strtoul(optarg, NULL, 0);
1679 			break;
1680 		case DESC_LIMIT:
1681 			desc_limit = strtoul(optarg, NULL, 0);
1682 			break;
1683 		case DESC_ACCESS:
1684 			desc_access = strtoul(optarg, NULL, 0);
1685 			break;
1686 		case SET_CS:
1687 			cs = strtoul(optarg, NULL, 0);
1688 			set_cs = 1;
1689 			break;
1690 		case SET_DS:
1691 			ds = strtoul(optarg, NULL, 0);
1692 			set_ds = 1;
1693 			break;
1694 		case SET_ES:
1695 			es = strtoul(optarg, NULL, 0);
1696 			set_es = 1;
1697 			break;
1698 		case SET_FS:
1699 			fs = strtoul(optarg, NULL, 0);
1700 			set_fs = 1;
1701 			break;
1702 		case SET_GS:
1703 			gs = strtoul(optarg, NULL, 0);
1704 			set_gs = 1;
1705 			break;
1706 		case SET_SS:
1707 			ss = strtoul(optarg, NULL, 0);
1708 			set_ss = 1;
1709 			break;
1710 		case SET_TR:
1711 			tr = strtoul(optarg, NULL, 0);
1712 			set_tr = 1;
1713 			break;
1714 		case SET_LDTR:
1715 			ldtr = strtoul(optarg, NULL, 0);
1716 			set_ldtr = 1;
1717 			break;
1718 		case SET_X2APIC_STATE:
1719 			x2apic_state = strtol(optarg, NULL, 0);
1720 			set_x2apic_state = 1;
1721 			break;
1722 		case SET_EXCEPTION_BITMAP:
1723 			exception_bitmap = strtoul(optarg, NULL, 0);
1724 			set_exception_bitmap = 1;
1725 			break;
1726 		case SET_VMCS_ENTRY_INTERRUPTION_INFO:
1727 			vmcs_entry_interruption_info = strtoul(optarg, NULL, 0);
1728 			set_vmcs_entry_interruption_info = 1;
1729 			break;
1730 		case SET_CAP:
1731 			capval = strtoul(optarg, NULL, 0);
1732 			setcap = 1;
1733 			break;
1734 		case SET_RTC_TIME:
1735 			rtc_secs = strtoul(optarg, NULL, 0);
1736 			set_rtc_time = 1;
1737 			break;
1738 		case SET_RTC_NVRAM:
1739 			rtc_nvram_value = (uint8_t)strtoul(optarg, NULL, 0);
1740 			set_rtc_nvram = 1;
1741 			break;
1742 		case RTC_NVRAM_OFFSET:
1743 			rtc_nvram_offset = strtoul(optarg, NULL, 0);
1744 			break;
1745 		case GET_GPA_PMAP:
1746 			gpa_pmap = strtoul(optarg, NULL, 0);
1747 			get_gpa_pmap = 1;
1748 			break;
1749 		case CAPNAME:
1750 			capname = optarg;
1751 			break;
1752 		case UNASSIGN_PPTDEV:
1753 			unassign_pptdev = 1;
1754 			if (sscanf(optarg, "%d/%d/%d", &bus, &slot, &func) != 3)
1755 				usage(cpu_intel);
1756 			break;
1757 		case ASSERT_LAPIC_LVT:
1758 			assert_lapic_lvt = atoi(optarg);
1759 			break;
1760 		default:
1761 			usage(cpu_intel);
1762 		}
1763 	}
1764 	argc -= optind;
1765 	argv += optind;
1766 
1767 	if (vmname == NULL)
1768 		usage(cpu_intel);
1769 
1770 	error = 0;
1771 
1772 	if (!error && create)
1773 		error = vm_create(vmname);
1774 
1775 	if (!error) {
1776 		ctx = vm_open(vmname);
1777 		if (ctx == NULL) {
1778 			printf("VM:%s is not created.\n", vmname);
1779 			exit (1);
1780 		}
1781 	}
1782 
1783 	if (!error && memsize)
1784 		error = vm_setup_memory(ctx, memsize, VM_MMAP_ALL);
1785 
1786 	if (!error && set_efer)
1787 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_EFER, efer);
1788 
1789 	if (!error && set_cr0)
1790 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CR0, cr0);
1791 
1792 	if (!error && set_cr3)
1793 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CR3, cr3);
1794 
1795 	if (!error && set_cr4)
1796 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CR4, cr4);
1797 
1798 	if (!error && set_dr7)
1799 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_DR7, dr7);
1800 
1801 	if (!error && set_rsp)
1802 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_RSP, rsp);
1803 
1804 	if (!error && set_rip)
1805 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_RIP, rip);
1806 
1807 	if (!error && set_rax)
1808 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_RAX, rax);
1809 
1810 	if (!error && set_rflags) {
1811 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_RFLAGS,
1812 					rflags);
1813 	}
1814 
1815 	if (!error && set_desc_ds) {
1816 		error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_DS,
1817 				    desc_base, desc_limit, desc_access);
1818 	}
1819 
1820 	if (!error && set_desc_es) {
1821 		error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_ES,
1822 				    desc_base, desc_limit, desc_access);
1823 	}
1824 
1825 	if (!error && set_desc_ss) {
1826 		error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_SS,
1827 				    desc_base, desc_limit, desc_access);
1828 	}
1829 
1830 	if (!error && set_desc_cs) {
1831 		error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_CS,
1832 				    desc_base, desc_limit, desc_access);
1833 	}
1834 
1835 	if (!error && set_desc_fs) {
1836 		error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_FS,
1837 				    desc_base, desc_limit, desc_access);
1838 	}
1839 
1840 	if (!error && set_desc_gs) {
1841 		error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_GS,
1842 				    desc_base, desc_limit, desc_access);
1843 	}
1844 
1845 	if (!error && set_desc_tr) {
1846 		error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_TR,
1847 				    desc_base, desc_limit, desc_access);
1848 	}
1849 
1850 	if (!error && set_desc_ldtr) {
1851 		error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_LDTR,
1852 				    desc_base, desc_limit, desc_access);
1853 	}
1854 
1855 	if (!error && set_desc_gdtr) {
1856 		error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_GDTR,
1857 				    desc_base, desc_limit, 0);
1858 	}
1859 
1860 	if (!error && set_desc_idtr) {
1861 		error = vm_set_desc(ctx, vcpu, VM_REG_GUEST_IDTR,
1862 				    desc_base, desc_limit, 0);
1863 	}
1864 
1865 	if (!error && set_cs)
1866 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_CS, cs);
1867 
1868 	if (!error && set_ds)
1869 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_DS, ds);
1870 
1871 	if (!error && set_es)
1872 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_ES, es);
1873 
1874 	if (!error && set_fs)
1875 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_FS, fs);
1876 
1877 	if (!error && set_gs)
1878 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_GS, gs);
1879 
1880 	if (!error && set_ss)
1881 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_SS, ss);
1882 
1883 	if (!error && set_tr)
1884 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_TR, tr);
1885 
1886 	if (!error && set_ldtr)
1887 		error = vm_set_register(ctx, vcpu, VM_REG_GUEST_LDTR, ldtr);
1888 
1889 	if (!error && set_x2apic_state)
1890 		error = vm_set_x2apic_state(ctx, vcpu, x2apic_state);
1891 
1892 	if (!error && unassign_pptdev)
1893 		error = vm_unassign_pptdev(ctx, bus, slot, func);
1894 
1895 	if (!error && set_exception_bitmap) {
1896 		if (cpu_intel)
1897 			error = vm_set_vmcs_field(ctx, vcpu,
1898 						  VMCS_EXCEPTION_BITMAP,
1899 						  exception_bitmap);
1900 		else
1901 			error = vm_set_vmcb_field(ctx, vcpu,
1902 						  VMCB_OFF_EXC_INTERCEPT,
1903 						  4, exception_bitmap);
1904 	}
1905 
1906 	if (!error && cpu_intel && set_vmcs_entry_interruption_info) {
1907 		error = vm_set_vmcs_field(ctx, vcpu, VMCS_ENTRY_INTR_INFO,
1908 					  vmcs_entry_interruption_info);
1909 	}
1910 
1911 	if (!error && inject_nmi) {
1912 		error = vm_inject_nmi(ctx, vcpu);
1913 	}
1914 
1915 	if (!error && assert_lapic_lvt != -1) {
1916 		error = vm_lapic_local_irq(ctx, vcpu, assert_lapic_lvt);
1917 	}
1918 
1919 	if (!error && (get_memseg || get_all))
1920 		error = show_memseg(ctx);
1921 
1922 	if (!error && (get_memmap || get_all))
1923 		error = show_memmap(ctx);
1924 
1925 	if (!error)
1926 		error = get_all_registers(ctx, vcpu);
1927 
1928 	if (!error)
1929 		error = get_all_segments(ctx, vcpu);
1930 
1931 	if (!error) {
1932 		if (cpu_intel)
1933 			error = get_misc_vmcs(ctx, vcpu);
1934 		else
1935 			error = get_misc_vmcb(ctx, vcpu);
1936 	}
1937 
1938 	if (!error && (get_x2apic_state || get_all)) {
1939 		error = vm_get_x2apic_state(ctx, vcpu, &x2apic_state);
1940 		if (error == 0)
1941 			printf("x2apic_state[%d]\t%d\n", vcpu, x2apic_state);
1942 	}
1943 
1944 	if (!error && (get_eptp || get_all)) {
1945 		if (cpu_intel)
1946 			error = vm_get_vmcs_field(ctx, vcpu, VMCS_EPTP, &eptp);
1947 		else
1948 			error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_NPT_BASE,
1949 						   8, &eptp);
1950 		if (error == 0)
1951 			printf("%s[%d]\t\t0x%016lx\n",
1952 				cpu_intel ? "eptp" : "rvi/npt", vcpu, eptp);
1953 	}
1954 
1955 	if (!error && (get_exception_bitmap || get_all)) {
1956 		if(cpu_intel)
1957 			error = vm_get_vmcs_field(ctx, vcpu,
1958 						VMCS_EXCEPTION_BITMAP, &bm);
1959 		else
1960 			error = vm_get_vmcb_field(ctx, vcpu,
1961 						  VMCB_OFF_EXC_INTERCEPT,
1962 						  4, &bm);
1963 		if (error == 0)
1964 			printf("exception_bitmap[%d]\t%#lx\n", vcpu, bm);
1965 	}
1966 
1967 	if (!error && (get_io_bitmap || get_all)) {
1968 		if (cpu_intel) {
1969 			error = vm_get_vmcs_field(ctx, vcpu, VMCS_IO_BITMAP_A,
1970 						  &bm);
1971 			if (error == 0)
1972 				printf("io_bitmap_a[%d]\t%#lx\n", vcpu, bm);
1973 			error = vm_get_vmcs_field(ctx, vcpu, VMCS_IO_BITMAP_B,
1974 						  &bm);
1975 			if (error == 0)
1976 				printf("io_bitmap_b[%d]\t%#lx\n", vcpu, bm);
1977 		} else {
1978 			error = vm_get_vmcb_field(ctx, vcpu,
1979 						  VMCB_OFF_IO_PERM, 8, &bm);
1980 			if (error == 0)
1981 				printf("io_bitmap[%d]\t%#lx\n", vcpu, bm);
1982 		}
1983 	}
1984 
1985 	if (!error && (get_tsc_offset || get_all)) {
1986 		uint64_t tscoff;
1987 		if (cpu_intel)
1988 			error = vm_get_vmcs_field(ctx, vcpu, VMCS_TSC_OFFSET,
1989 						  &tscoff);
1990 		else
1991 			error = vm_get_vmcb_field(ctx, vcpu,
1992 						  VMCB_OFF_TSC_OFFSET,
1993 						  8, &tscoff);
1994 		if (error == 0)
1995 			printf("tsc_offset[%d]\t0x%016lx\n", vcpu, tscoff);
1996 	}
1997 
1998 	if (!error && (get_msr_bitmap_address || get_all)) {
1999 		if (cpu_intel)
2000 			error = vm_get_vmcs_field(ctx, vcpu, VMCS_MSR_BITMAP,
2001 						  &addr);
2002 		else
2003 			error = vm_get_vmcb_field(ctx, vcpu,
2004 						  VMCB_OFF_MSR_PERM, 8, &addr);
2005 		if (error == 0)
2006 			printf("msr_bitmap[%d]\t\t%#lx\n", vcpu, addr);
2007 	}
2008 
2009 	if (!error && (get_msr_bitmap || get_all)) {
2010 		if (cpu_intel) {
2011 			error = vm_get_vmcs_field(ctx, vcpu,
2012 						  VMCS_MSR_BITMAP, &addr);
2013 		} else {
2014 			error = vm_get_vmcb_field(ctx, vcpu,
2015 						  VMCB_OFF_MSR_PERM, 8,
2016 						  &addr);
2017 		}
2018 
2019 		if (error == 0)
2020 			error = dump_msr_bitmap(vcpu, addr, cpu_intel);
2021 	}
2022 
2023 	if (!error && (get_vpid_asid || get_all)) {
2024 		uint64_t vpid;
2025 		if (cpu_intel)
2026 			error = vm_get_vmcs_field(ctx, vcpu, VMCS_VPID, &vpid);
2027 		else
2028 			error = vm_get_vmcb_field(ctx, vcpu, VMCB_OFF_ASID,
2029 						  4, &vpid);
2030 		if (error == 0)
2031 			printf("%s[%d]\t\t0x%04lx\n",
2032 				cpu_intel ? "vpid" : "asid", vcpu, vpid);
2033 	}
2034 
2035 	if (!error && (get_guest_pat || get_all)) {
2036 		if (cpu_intel)
2037 			error = vm_get_vmcs_field(ctx, vcpu,
2038 						  VMCS_GUEST_IA32_PAT, &pat);
2039 		else
2040 			error = vm_get_vmcb_field(ctx, vcpu,
2041 						  VMCB_OFF_GUEST_PAT, 8, &pat);
2042 		if (error == 0)
2043 			printf("guest_pat[%d]\t\t0x%016lx\n", vcpu, pat);
2044 	}
2045 
2046 	if (!error && (get_guest_sysenter || get_all)) {
2047 		if (cpu_intel)
2048 			error = vm_get_vmcs_field(ctx, vcpu,
2049 						  VMCS_GUEST_IA32_SYSENTER_CS,
2050 						  &cs);
2051 		else
2052 			error = vm_get_vmcb_field(ctx, vcpu,
2053 						  VMCB_OFF_SYSENTER_CS, 8,
2054 						  &cs);
2055 
2056 		if (error == 0)
2057 			printf("guest_sysenter_cs[%d]\t%#lx\n", vcpu, cs);
2058 		if (cpu_intel)
2059 			error = vm_get_vmcs_field(ctx, vcpu,
2060 						  VMCS_GUEST_IA32_SYSENTER_ESP,
2061 						  &rsp);
2062 		else
2063 			error = vm_get_vmcb_field(ctx, vcpu,
2064 						  VMCB_OFF_SYSENTER_ESP, 8,
2065 						  &rsp);
2066 
2067 		if (error == 0)
2068 			printf("guest_sysenter_sp[%d]\t%#lx\n", vcpu, rsp);
2069 		if (cpu_intel)
2070 			error = vm_get_vmcs_field(ctx, vcpu,
2071 						  VMCS_GUEST_IA32_SYSENTER_EIP,
2072 						  &rip);
2073 		else
2074 			error = vm_get_vmcb_field(ctx, vcpu,
2075 						  VMCB_OFF_SYSENTER_EIP, 8,
2076 						  &rip);
2077 		if (error == 0)
2078 			printf("guest_sysenter_ip[%d]\t%#lx\n", vcpu, rip);
2079 	}
2080 
2081 	if (!error && (get_exit_reason || get_all)) {
2082 		if (cpu_intel)
2083 			error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_REASON,
2084 						  &u64);
2085 		else
2086 			error = vm_get_vmcb_field(ctx, vcpu,
2087 						  VMCB_OFF_EXIT_REASON, 8,
2088 						  &u64);
2089 		if (error == 0)
2090 			printf("exit_reason[%d]\t%#lx\n", vcpu, u64);
2091 	}
2092 
2093 	if (!error && setcap) {
2094 		int captype;
2095 		captype = vm_capability_name2type(capname);
2096 		error = vm_set_capability(ctx, vcpu, captype, capval);
2097 		if (error != 0 && errno == ENOENT)
2098 			printf("Capability \"%s\" is not available\n", capname);
2099 	}
2100 
2101 	if (!error && get_gpa_pmap) {
2102 		error = vm_get_gpa_pmap(ctx, gpa_pmap, pteval, &ptenum);
2103 		if (error == 0) {
2104 			printf("gpa %#lx:", gpa_pmap);
2105 			pte = &pteval[0];
2106 			while (ptenum-- > 0)
2107 				printf(" %#lx", *pte++);
2108 			printf("\n");
2109 		}
2110 	}
2111 
2112 	if (!error && set_rtc_nvram)
2113 		error = vm_rtc_write(ctx, rtc_nvram_offset, rtc_nvram_value);
2114 
2115 	if (!error && (get_rtc_nvram || get_all)) {
2116 		error = vm_rtc_read(ctx, rtc_nvram_offset, &rtc_nvram_value);
2117 		if (error == 0) {
2118 			printf("rtc nvram[%03d]: 0x%02x\n", rtc_nvram_offset,
2119 			    rtc_nvram_value);
2120 		}
2121 	}
2122 
2123 	if (!error && set_rtc_time)
2124 		error = vm_rtc_settime(ctx, rtc_secs);
2125 
2126 	if (!error && (get_rtc_time || get_all)) {
2127 		error = vm_rtc_gettime(ctx, &rtc_secs);
2128 		if (error == 0) {
2129 			gmtime_r(&rtc_secs, &tm);
2130 			printf("rtc time %#lx: %s %s %02d %02d:%02d:%02d %d\n",
2131 			    rtc_secs, wday_str(tm.tm_wday), mon_str(tm.tm_mon),
2132 			    tm.tm_mday, tm.tm_hour, tm.tm_min, tm.tm_sec,
2133 			    1900 + tm.tm_year);
2134 		}
2135 	}
2136 
2137 	if (!error && (getcap || get_all)) {
2138 		int captype, val, getcaptype;
2139 
2140 		if (getcap && capname)
2141 			getcaptype = vm_capability_name2type(capname);
2142 		else
2143 			getcaptype = -1;
2144 
2145 		for (captype = 0; captype < VM_CAP_MAX; captype++) {
2146 			if (getcaptype >= 0 && captype != getcaptype)
2147 				continue;
2148 			error = vm_get_capability(ctx, vcpu, captype, &val);
2149 			if (error == 0) {
2150 				printf("Capability \"%s\" is %s on vcpu %d\n",
2151 					vm_capability_type2name(captype),
2152 					val ? "set" : "not set", vcpu);
2153 			} else if (errno == ENOENT) {
2154 				error = 0;
2155 				printf("Capability \"%s\" is not available\n",
2156 					vm_capability_type2name(captype));
2157 			} else {
2158 				break;
2159 			}
2160 		}
2161 	}
2162 
2163 	if (!error && (get_active_cpus || get_all)) {
2164 		error = vm_active_cpus(ctx, &cpus);
2165 		if (!error)
2166 			print_cpus("active cpus", &cpus);
2167 	}
2168 
2169 	if (!error && (get_suspended_cpus || get_all)) {
2170 		error = vm_suspended_cpus(ctx, &cpus);
2171 		if (!error)
2172 			print_cpus("suspended cpus", &cpus);
2173 	}
2174 
2175 	if (!error && (get_intinfo || get_all)) {
2176 		error = vm_get_intinfo(ctx, vcpu, &info[0], &info[1]);
2177 		if (!error) {
2178 			print_intinfo("pending", info[0]);
2179 			print_intinfo("current", info[1]);
2180 		}
2181 	}
2182 
2183 	if (!error && (get_stats || get_all)) {
2184 		int i, num_stats;
2185 		uint64_t *stats;
2186 		struct timeval tv;
2187 		const char *desc;
2188 
2189 		stats = vm_get_stats(ctx, vcpu, &tv, &num_stats);
2190 		if (stats != NULL) {
2191 			printf("vcpu%d stats:\n", vcpu);
2192 			for (i = 0; i < num_stats; i++) {
2193 				desc = vm_get_stat_desc(ctx, i);
2194 				printf("%-40s\t%ld\n", desc, stats[i]);
2195 			}
2196 		}
2197 	}
2198 
2199 	if (!error && run) {
2200 		error = vm_run(ctx, vcpu, &vmexit);
2201 		if (error == 0)
2202 			dump_vm_run_exitcode(&vmexit, vcpu);
2203 		else
2204 			printf("vm_run error %d\n", error);
2205 	}
2206 
2207 	if (!error && force_reset)
2208 		error = vm_suspend(ctx, VM_SUSPEND_RESET);
2209 
2210 	if (!error && force_poweroff)
2211 		error = vm_suspend(ctx, VM_SUSPEND_POWEROFF);
2212 
2213 	if (error)
2214 		printf("errno = %d\n", errno);
2215 
2216 	if (!error && destroy)
2217 		vm_destroy(ctx);
2218 
2219 	free (opts);
2220 	exit(error);
2221 }
2222