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 guest reads of the TSC via rdmsr (following a write to the TSC)
18717646f7SJordan Paige Hendricks */
19717646f7SJordan Paige Hendricks
20717646f7SJordan Paige Hendricks #include <unistd.h>
21717646f7SJordan Paige Hendricks #include <stdlib.h>
22717646f7SJordan Paige Hendricks #include <libgen.h>
23717646f7SJordan Paige Hendricks #include <errno.h>
24717646f7SJordan Paige Hendricks #include <err.h>
25717646f7SJordan Paige Hendricks
26717646f7SJordan Paige Hendricks #include <sys/vmm_data.h>
27717646f7SJordan Paige Hendricks #include <sys/vmm_dev.h>
28717646f7SJordan Paige Hendricks #include <vmmapi.h>
29717646f7SJordan Paige Hendricks
30717646f7SJordan Paige Hendricks #include "in_guest.h"
31717646f7SJordan Paige Hendricks #include "test_defs.h"
32717646f7SJordan Paige Hendricks
33717646f7SJordan Paige Hendricks int
main(int argc,char * argv[])34717646f7SJordan Paige Hendricks main(int argc, char *argv[])
35717646f7SJordan Paige Hendricks {
36717646f7SJordan Paige Hendricks const char *test_suite_name = basename(argv[0]);
37717646f7SJordan Paige Hendricks struct vmctx *ctx = NULL;
38*32640292SAndy Fiddaman struct vcpu *vcpu;
39717646f7SJordan Paige Hendricks int err;
40717646f7SJordan Paige Hendricks
41717646f7SJordan Paige Hendricks ctx = test_initialize(test_suite_name);
42717646f7SJordan Paige Hendricks
43*32640292SAndy Fiddaman if ((vcpu = vm_vcpu_open(ctx, 0)) == NULL) {
44*32640292SAndy Fiddaman test_fail_errno(errno, "Could not open vcpu0");
45*32640292SAndy Fiddaman }
46*32640292SAndy Fiddaman
47*32640292SAndy Fiddaman err = test_setup_vcpu(vcpu, MEM_LOC_PAYLOAD, MEM_LOC_STACK);
48717646f7SJordan Paige Hendricks if (err != 0) {
49717646f7SJordan Paige Hendricks test_fail_errno(err, "Could not initialize vcpu0");
50717646f7SJordan Paige Hendricks }
51717646f7SJordan Paige Hendricks
52717646f7SJordan Paige Hendricks struct vm_entry ventry = { 0 }; struct vm_exit vexit = { 0 };
53717646f7SJordan Paige Hendricks bool half_read = false;
54717646f7SJordan Paige Hendricks uint64_t tsc;
55717646f7SJordan Paige Hendricks
56717646f7SJordan Paige Hendricks do {
57717646f7SJordan Paige Hendricks const enum vm_exit_kind kind =
58*32640292SAndy Fiddaman test_run_vcpu(vcpu, &ventry, &vexit);
59717646f7SJordan Paige Hendricks
60717646f7SJordan Paige Hendricks if (kind == VEK_REENTR) {
61717646f7SJordan Paige Hendricks continue;
62717646f7SJordan Paige Hendricks } else if (kind != VEK_UNHANDLED) {
63717646f7SJordan Paige Hendricks test_fail_vmexit(&vexit);
64717646f7SJordan Paige Hendricks }
65717646f7SJordan Paige Hendricks
66717646f7SJordan Paige Hendricks uint32_t val;
67717646f7SJordan Paige Hendricks if (vexit_match_inout(&vexit, false, IOP_TEST_VALUE, 4,
68717646f7SJordan Paige Hendricks &val)) {
69717646f7SJordan Paige Hendricks if (!half_read) {
70717646f7SJordan Paige Hendricks /* low 32-bits of TSC first */
71717646f7SJordan Paige Hendricks tsc = val;
72717646f7SJordan Paige Hendricks half_read = true;
73717646f7SJordan Paige Hendricks ventry_fulfill_inout(&vexit, &ventry, 0);
74717646f7SJordan Paige Hendricks } else {
75717646f7SJordan Paige Hendricks /* high 32-bits of TSC */
76717646f7SJordan Paige Hendricks tsc |= ((uint64_t)val << 32);
77717646f7SJordan Paige Hendricks printf("tsc=%lu\n", tsc);
78717646f7SJordan Paige Hendricks
79717646f7SJordan Paige Hendricks /*
80717646f7SJordan Paige Hendricks * Check that the TSC reading is at least the
81717646f7SJordan Paige Hendricks * high value it was set to by the guest.
82717646f7SJordan Paige Hendricks *
83717646f7SJordan Paige Hendricks * If we wanted to be more precise about it, we
84717646f7SJordan Paige Hendricks * could get the host frequency and calculate
85717646f7SJordan Paige Hendricks * ppm error.
86717646f7SJordan Paige Hendricks *
87717646f7SJordan Paige Hendricks */
88717646f7SJordan Paige Hendricks if (tsc < TSC_TARGET_WRVAL) {
89717646f7SJordan Paige Hendricks test_fail_msg("TSC %lu < %lu", tsc,
90717646f7SJordan Paige Hendricks TSC_TARGET_WRVAL);
91717646f7SJordan Paige Hendricks } else {
92717646f7SJordan Paige Hendricks test_pass();
93717646f7SJordan Paige Hendricks }
94717646f7SJordan Paige Hendricks }
95717646f7SJordan Paige Hendricks } else {
96717646f7SJordan Paige Hendricks test_fail_vmexit(&vexit);
97717646f7SJordan Paige Hendricks }
98717646f7SJordan Paige Hendricks } while (true);
99717646f7SJordan Paige Hendricks }
100