1717646f7SJordan Paige Hendricks /*
2717646f7SJordan Paige Hendricks  * This file and its contents are supplied under the terms of the
3717646f7SJordan Paige Hendricks  * Common Development and Distribution License ("CDDL"), version 1.0.
4717646f7SJordan Paige Hendricks  * You may only use this file in accordance with the terms of version
5717646f7SJordan Paige Hendricks  * 1.0 of the CDDL.
6717646f7SJordan Paige Hendricks  *
7717646f7SJordan Paige Hendricks  * A full copy of the text of the CDDL should have accompanied this
8717646f7SJordan Paige Hendricks  * source.  A copy of the CDDL is also available via the Internet at
9717646f7SJordan Paige Hendricks  * http://www.illumos.org/license/CDDL.
10717646f7SJordan Paige Hendricks  */
11717646f7SJordan Paige Hendricks 
12717646f7SJordan Paige Hendricks /*
13717646f7SJordan Paige Hendricks  * Copyright 2023 Oxide Computer Company
14717646f7SJordan Paige Hendricks  */
15717646f7SJordan Paige Hendricks 
16717646f7SJordan Paige Hendricks /*
17717646f7SJordan Paige Hendricks  * Test that adjusting the guest TSC with VMM time data interface is visible
18717646f7SJordan Paige Hendricks  * in guest.
19717646f7SJordan Paige Hendricks  *
20717646f7SJordan Paige Hendricks  * Note: requires `vmm_allow_state_writes` to be set
21717646f7SJordan Paige Hendricks  */
22717646f7SJordan Paige Hendricks 
23717646f7SJordan Paige Hendricks #include <unistd.h>
24717646f7SJordan Paige Hendricks #include <stdlib.h>
25717646f7SJordan Paige Hendricks #include <libgen.h>
26717646f7SJordan Paige Hendricks #include <errno.h>
27717646f7SJordan Paige Hendricks #include <err.h>
28717646f7SJordan Paige Hendricks 
29717646f7SJordan Paige Hendricks #include <sys/vmm_data.h>
30717646f7SJordan Paige Hendricks #include <sys/vmm_dev.h>
31717646f7SJordan Paige Hendricks #include <vmmapi.h>
32717646f7SJordan Paige Hendricks 
33717646f7SJordan Paige Hendricks #include "in_guest.h"
34717646f7SJordan Paige Hendricks 
35717646f7SJordan Paige Hendricks int
main(int argc,char * argv[])36717646f7SJordan Paige Hendricks main(int argc, char *argv[])
37717646f7SJordan Paige Hendricks {
38717646f7SJordan Paige Hendricks 	const char *test_suite_name = basename(argv[0]);
39717646f7SJordan Paige Hendricks 	struct vmctx *ctx = NULL;
40*32640292SAndy Fiddaman 	struct vcpu *vcpu;
41717646f7SJordan Paige Hendricks 	int err;
42717646f7SJordan Paige Hendricks 
43717646f7SJordan Paige Hendricks 	ctx = test_initialize(test_suite_name);
44717646f7SJordan Paige Hendricks 
45*32640292SAndy Fiddaman 	if ((vcpu = vm_vcpu_open(ctx, 0)) == NULL) {
46*32640292SAndy Fiddaman 		test_fail_errno(errno, "Could not open vcpu0");
47*32640292SAndy Fiddaman 	}
48*32640292SAndy Fiddaman 
49*32640292SAndy Fiddaman 	err = test_setup_vcpu(vcpu, MEM_LOC_PAYLOAD, MEM_LOC_STACK);
50717646f7SJordan Paige Hendricks 	if (err != 0) {
51717646f7SJordan Paige Hendricks 		test_fail_errno(err, "Could not initialize vcpu0");
52717646f7SJordan Paige Hendricks 	}
53717646f7SJordan Paige Hendricks 
54717646f7SJordan Paige Hendricks 	const int vmfd = vm_get_device_fd(ctx);
55717646f7SJordan Paige Hendricks 
56717646f7SJordan Paige Hendricks 	/* Read time data to get baseline guest time values */
57717646f7SJordan Paige Hendricks 	struct vdi_time_info_v1 time_info;
58717646f7SJordan Paige Hendricks 	struct vm_data_xfer xfer = {
59717646f7SJordan Paige Hendricks 		.vdx_class = VDC_VMM_TIME,
60717646f7SJordan Paige Hendricks 		.vdx_version = 1,
61717646f7SJordan Paige Hendricks 		.vdx_len = sizeof (struct vdi_time_info_v1),
62717646f7SJordan Paige Hendricks 		.vdx_data = &time_info,
63717646f7SJordan Paige Hendricks 	};
64717646f7SJordan Paige Hendricks 	if (ioctl(vmfd, VM_DATA_READ, &xfer) != 0) {
65717646f7SJordan Paige Hendricks 		errx(EXIT_FAILURE, "VMM_DATA_READ of time info failed");
66717646f7SJordan Paige Hendricks 	}
67717646f7SJordan Paige Hendricks 
68717646f7SJordan Paige Hendricks 	/* Change the guest TSC to a much larger value */
69717646f7SJordan Paige Hendricks 	uint64_t expect_tsc = 500000000000;
70717646f7SJordan Paige Hendricks 	time_info.vt_guest_tsc = expect_tsc;
71717646f7SJordan Paige Hendricks 	if (ioctl(vmfd, VM_DATA_WRITE, &xfer) != 0) {
72717646f7SJordan Paige Hendricks 		int error;
73717646f7SJordan Paige Hendricks 		error = errno;
74717646f7SJordan Paige Hendricks 		if (error == EPERM) {
75717646f7SJordan Paige Hendricks 			warn("VMM_DATA_WRITE got EPERM: is "
76717646f7SJordan Paige Hendricks 			    "vmm_allow_state_writes set?");
77717646f7SJordan Paige Hendricks 		}
78717646f7SJordan Paige Hendricks 		errx(EXIT_FAILURE, "VMM_DATA_WRITE of time info failed");
79717646f7SJordan Paige Hendricks 	}
80717646f7SJordan Paige Hendricks 
81717646f7SJordan Paige Hendricks 	struct vm_entry ventry = { 0 };
82717646f7SJordan Paige Hendricks 	struct vm_exit vexit = { 0 };
83717646f7SJordan Paige Hendricks 
84717646f7SJordan Paige Hendricks 	bool half_read = false;
85717646f7SJordan Paige Hendricks 	uint64_t tsc;
86717646f7SJordan Paige Hendricks 
87717646f7SJordan Paige Hendricks 	do {
88717646f7SJordan Paige Hendricks 		const enum vm_exit_kind kind =
89*32640292SAndy Fiddaman 		    test_run_vcpu(vcpu, &ventry, &vexit);
90717646f7SJordan Paige Hendricks 
91717646f7SJordan Paige Hendricks 		if (kind == VEK_REENTR) {
92717646f7SJordan Paige Hendricks 			continue;
93717646f7SJordan Paige Hendricks 		} else if (kind != VEK_UNHANDLED) {
94717646f7SJordan Paige Hendricks 			test_fail_vmexit(&vexit);
95717646f7SJordan Paige Hendricks 		}
96717646f7SJordan Paige Hendricks 
97717646f7SJordan Paige Hendricks 		uint32_t val;
98717646f7SJordan Paige Hendricks 		if (vexit_match_inout(&vexit, false, IOP_TEST_VALUE, 4,
99717646f7SJordan Paige Hendricks 		    &val)) {
100717646f7SJordan Paige Hendricks 			if (!half_read) {
101717646f7SJordan Paige Hendricks 				/* low 32-bits of TSC first */
102717646f7SJordan Paige Hendricks 				tsc = val;
103717646f7SJordan Paige Hendricks 				half_read = true;
104717646f7SJordan Paige Hendricks 				ventry_fulfill_inout(&vexit, &ventry, 0);
105717646f7SJordan Paige Hendricks 			} else {
106717646f7SJordan Paige Hendricks 				/* high 32-bits of TSC */
107717646f7SJordan Paige Hendricks 				tsc |= ((uint64_t)val << 32);
108717646f7SJordan Paige Hendricks 
109717646f7SJordan Paige Hendricks 				/*
110717646f7SJordan Paige Hendricks 				 * Check that the TSC reading is at least the
111717646f7SJordan Paige Hendricks 				 * absurdly high value it was set to.
112717646f7SJordan Paige Hendricks 				 */
113717646f7SJordan Paige Hendricks 				if (tsc >= expect_tsc) {
114717646f7SJordan Paige Hendricks 					(void) printf("tsc=%ld\n", tsc);
115717646f7SJordan Paige Hendricks 					test_pass();
116717646f7SJordan Paige Hendricks 				} else {
117717646f7SJordan Paige Hendricks 					test_fail_msg("TSC %lu < %lu\n", tsc,
118717646f7SJordan Paige Hendricks 					    expect_tsc);
119717646f7SJordan Paige Hendricks 				}
120717646f7SJordan Paige Hendricks 			}
121717646f7SJordan Paige Hendricks 		} else {
122717646f7SJordan Paige Hendricks 			test_fail_vmexit(&vexit);
123717646f7SJordan Paige Hendricks 		}
124717646f7SJordan Paige Hendricks 	} while (true);
125717646f7SJordan Paige Hendricks }
126