bhyvectl.c revision 276349
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: stable/10/usr.sbin/bhyvectl/bhyvectl.c 276349 2014-12-28 21:27:13Z neel $
27 */
28
29#include <sys/cdefs.h>
30__FBSDID("$FreeBSD: stable/10/usr.sbin/bhyvectl/bhyvectl.c 276349 2014-12-28 21:27:13Z neel $");
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
60static const char *progname;
61
62static void
63usage(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
204static int get_stats, getcap, setcap, capval, get_gpa_pmap;
205static int inject_nmi, assert_lapic_lvt;
206static int force_reset, force_poweroff;
207static const char *capname;
208static int create, destroy, get_lowmem, get_highmem;
209static int get_intinfo;
210static int get_active_cpus, get_suspended_cpus;
211static uint64_t memsize;
212static int set_cr0, get_cr0, set_cr3, get_cr3, set_cr4, get_cr4;
213static int set_efer, get_efer;
214static int set_dr7, get_dr7;
215static int set_rsp, get_rsp, set_rip, get_rip, set_rflags, get_rflags;
216static int set_rax, get_rax;
217static int get_rbx, get_rcx, get_rdx, get_rsi, get_rdi, get_rbp;
218static int get_r8, get_r9, get_r10, get_r11, get_r12, get_r13, get_r14, get_r15;
219static int set_desc_ds, get_desc_ds;
220static int set_desc_es, get_desc_es;
221static int set_desc_fs, get_desc_fs;
222static int set_desc_gs, get_desc_gs;
223static int set_desc_cs, get_desc_cs;
224static int set_desc_ss, get_desc_ss;
225static int set_desc_gdtr, get_desc_gdtr;
226static int set_desc_idtr, get_desc_idtr;
227static int set_desc_tr, get_desc_tr;
228static int set_desc_ldtr, get_desc_ldtr;
229static int set_cs, set_ds, set_es, set_fs, set_gs, set_ss, set_tr, set_ldtr;
230static int get_cs, get_ds, get_es, get_fs, get_gs, get_ss, get_tr, get_ldtr;
231static int set_x2apic_state, get_x2apic_state;
232enum x2apic_state x2apic_state;
233static int unassign_pptdev, bus, slot, func;
234static int run;
235
236/*
237 * VMCS-specific fields
238 */
239static int get_pinbased_ctls, get_procbased_ctls, get_procbased_ctls2;
240static int get_eptp, get_io_bitmap, get_tsc_offset;
241static int get_vmcs_entry_interruption_info, set_vmcs_entry_interruption_info;
242static int get_vmcs_interruptibility;
243uint32_t vmcs_entry_interruption_info;
244static int get_vmcs_gpa, get_vmcs_gla;
245static int get_exception_bitmap, set_exception_bitmap, exception_bitmap;
246static int get_cr0_mask, get_cr0_shadow;
247static int get_cr4_mask, get_cr4_shadow;
248static int get_cr3_targets;
249static int get_apic_access_addr, get_virtual_apic_addr, get_tpr_threshold;
250static int get_msr_bitmap, get_msr_bitmap_address;
251static int get_vpid, get_ple_gap, get_ple_window;
252static int get_inst_err, get_exit_ctls, get_entry_ctls;
253static int get_host_cr0, get_host_cr3, get_host_cr4;
254static int get_host_rip, get_host_rsp;
255static int get_guest_pat, get_host_pat;
256static int get_guest_sysenter, get_vmcs_link;
257static int get_vmcs_exit_reason, get_vmcs_exit_qualification;
258static int get_vmcs_exit_interruption_info, get_vmcs_exit_interruption_error;
259
260static uint64_t desc_base;
261static uint32_t desc_limit, desc_access;
262
263static int get_all;
264
265static void
266dump_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
298static int
299dump_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;
342done:
343	if (bitmap != MAP_FAILED)
344		munmap((void *)bitmap, PAGE_SIZE);
345	if (fd >= 0)
346		close(fd);
347	return (error);
348}
349
350static int
351vm_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
357static int
358vm_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
364enum {
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
398static void
399print_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
417static void
418print_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
448int
449main(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