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