xref: /kvm-unit-tests/x86/svm_tests.c (revision abe823807d13e451ca5c37f1b5ada5847e08084f)
1ad879127SKrish Sadhukhan #include "svm.h"
2ad879127SKrish Sadhukhan #include "libcflat.h"
3ad879127SKrish Sadhukhan #include "processor.h"
4ad879127SKrish Sadhukhan #include "desc.h"
5ad879127SKrish Sadhukhan #include "msr.h"
6ad879127SKrish Sadhukhan #include "vm.h"
7ad879127SKrish Sadhukhan #include "smp.h"
8ad879127SKrish Sadhukhan #include "types.h"
9ad879127SKrish Sadhukhan #include "alloc_page.h"
10ad879127SKrish Sadhukhan #include "isr.h"
11ad879127SKrish Sadhukhan #include "apic.h"
129da1f4d8SCathy Avery #include "delay.h"
13ad879127SKrish Sadhukhan 
14ad879127SKrish Sadhukhan #define SVM_EXIT_MAX_DR_INTERCEPT 0x3f
15ad879127SKrish Sadhukhan 
16ad879127SKrish Sadhukhan static void *scratch_page;
17ad879127SKrish Sadhukhan 
18ad879127SKrish Sadhukhan #define LATENCY_RUNS 1000000
19ad879127SKrish Sadhukhan 
204770e9c8SCathy Avery extern u16 cpu_online_count;
214770e9c8SCathy Avery 
22ad879127SKrish Sadhukhan u64 tsc_start;
23ad879127SKrish Sadhukhan u64 tsc_end;
24ad879127SKrish Sadhukhan 
25ad879127SKrish Sadhukhan u64 vmrun_sum, vmexit_sum;
26ad879127SKrish Sadhukhan u64 vmsave_sum, vmload_sum;
27ad879127SKrish Sadhukhan u64 stgi_sum, clgi_sum;
28ad879127SKrish Sadhukhan u64 latvmrun_max;
29ad879127SKrish Sadhukhan u64 latvmrun_min;
30ad879127SKrish Sadhukhan u64 latvmexit_max;
31ad879127SKrish Sadhukhan u64 latvmexit_min;
32ad879127SKrish Sadhukhan u64 latvmload_max;
33ad879127SKrish Sadhukhan u64 latvmload_min;
34ad879127SKrish Sadhukhan u64 latvmsave_max;
35ad879127SKrish Sadhukhan u64 latvmsave_min;
36ad879127SKrish Sadhukhan u64 latstgi_max;
37ad879127SKrish Sadhukhan u64 latstgi_min;
38ad879127SKrish Sadhukhan u64 latclgi_max;
39ad879127SKrish Sadhukhan u64 latclgi_min;
40ad879127SKrish Sadhukhan u64 runs;
41ad879127SKrish Sadhukhan 
42ad879127SKrish Sadhukhan static void null_test(struct svm_test *test)
43ad879127SKrish Sadhukhan {
44ad879127SKrish Sadhukhan }
45ad879127SKrish Sadhukhan 
46ad879127SKrish Sadhukhan static bool null_check(struct svm_test *test)
47ad879127SKrish Sadhukhan {
48096cf7feSPaolo Bonzini     return vmcb->control.exit_code == SVM_EXIT_VMMCALL;
49ad879127SKrish Sadhukhan }
50ad879127SKrish Sadhukhan 
51ad879127SKrish Sadhukhan static void prepare_no_vmrun_int(struct svm_test *test)
52ad879127SKrish Sadhukhan {
53096cf7feSPaolo Bonzini     vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMRUN);
54ad879127SKrish Sadhukhan }
55ad879127SKrish Sadhukhan 
56ad879127SKrish Sadhukhan static bool check_no_vmrun_int(struct svm_test *test)
57ad879127SKrish Sadhukhan {
58096cf7feSPaolo Bonzini     return vmcb->control.exit_code == SVM_EXIT_ERR;
59ad879127SKrish Sadhukhan }
60ad879127SKrish Sadhukhan 
61ad879127SKrish Sadhukhan static void test_vmrun(struct svm_test *test)
62ad879127SKrish Sadhukhan {
63096cf7feSPaolo Bonzini     asm volatile ("vmrun %0" : : "a"(virt_to_phys(vmcb)));
64ad879127SKrish Sadhukhan }
65ad879127SKrish Sadhukhan 
66ad879127SKrish Sadhukhan static bool check_vmrun(struct svm_test *test)
67ad879127SKrish Sadhukhan {
68096cf7feSPaolo Bonzini     return vmcb->control.exit_code == SVM_EXIT_VMRUN;
69ad879127SKrish Sadhukhan }
70ad879127SKrish Sadhukhan 
71401299a5SPaolo Bonzini static void prepare_rsm_intercept(struct svm_test *test)
72401299a5SPaolo Bonzini {
73401299a5SPaolo Bonzini     default_prepare(test);
74401299a5SPaolo Bonzini     vmcb->control.intercept |= 1 << INTERCEPT_RSM;
75401299a5SPaolo Bonzini     vmcb->control.intercept_exceptions |= (1ULL << UD_VECTOR);
76401299a5SPaolo Bonzini }
77401299a5SPaolo Bonzini 
78401299a5SPaolo Bonzini static void test_rsm_intercept(struct svm_test *test)
79401299a5SPaolo Bonzini {
80401299a5SPaolo Bonzini     asm volatile ("rsm" : : : "memory");
81401299a5SPaolo Bonzini }
82401299a5SPaolo Bonzini 
83401299a5SPaolo Bonzini static bool check_rsm_intercept(struct svm_test *test)
84401299a5SPaolo Bonzini {
85401299a5SPaolo Bonzini     return get_test_stage(test) == 2;
86401299a5SPaolo Bonzini }
87401299a5SPaolo Bonzini 
88401299a5SPaolo Bonzini static bool finished_rsm_intercept(struct svm_test *test)
89401299a5SPaolo Bonzini {
90401299a5SPaolo Bonzini     switch (get_test_stage(test)) {
91401299a5SPaolo Bonzini     case 0:
92401299a5SPaolo Bonzini         if (vmcb->control.exit_code != SVM_EXIT_RSM) {
93401299a5SPaolo Bonzini             report(false, "VMEXIT not due to rsm. Exit reason 0x%x",
94401299a5SPaolo Bonzini                    vmcb->control.exit_code);
95401299a5SPaolo Bonzini             return true;
96401299a5SPaolo Bonzini         }
97401299a5SPaolo Bonzini         vmcb->control.intercept &= ~(1 << INTERCEPT_RSM);
98401299a5SPaolo Bonzini         inc_test_stage(test);
99401299a5SPaolo Bonzini         break;
100401299a5SPaolo Bonzini 
101401299a5SPaolo Bonzini     case 1:
102401299a5SPaolo Bonzini         if (vmcb->control.exit_code != SVM_EXIT_EXCP_BASE + UD_VECTOR) {
103401299a5SPaolo Bonzini             report(false, "VMEXIT not due to #UD. Exit reason 0x%x",
104401299a5SPaolo Bonzini                    vmcb->control.exit_code);
105401299a5SPaolo Bonzini             return true;
106401299a5SPaolo Bonzini         }
107401299a5SPaolo Bonzini         vmcb->save.rip += 2;
108401299a5SPaolo Bonzini         inc_test_stage(test);
109401299a5SPaolo Bonzini         break;
110401299a5SPaolo Bonzini 
111401299a5SPaolo Bonzini     default:
112401299a5SPaolo Bonzini         return true;
113401299a5SPaolo Bonzini     }
114401299a5SPaolo Bonzini     return get_test_stage(test) == 2;
115401299a5SPaolo Bonzini }
116401299a5SPaolo Bonzini 
117ad879127SKrish Sadhukhan static void prepare_cr3_intercept(struct svm_test *test)
118ad879127SKrish Sadhukhan {
119ad879127SKrish Sadhukhan     default_prepare(test);
120096cf7feSPaolo Bonzini     vmcb->control.intercept_cr_read |= 1 << 3;
121ad879127SKrish Sadhukhan }
122ad879127SKrish Sadhukhan 
123ad879127SKrish Sadhukhan static void test_cr3_intercept(struct svm_test *test)
124ad879127SKrish Sadhukhan {
125ad879127SKrish Sadhukhan     asm volatile ("mov %%cr3, %0" : "=r"(test->scratch) : : "memory");
126ad879127SKrish Sadhukhan }
127ad879127SKrish Sadhukhan 
128ad879127SKrish Sadhukhan static bool check_cr3_intercept(struct svm_test *test)
129ad879127SKrish Sadhukhan {
130096cf7feSPaolo Bonzini     return vmcb->control.exit_code == SVM_EXIT_READ_CR3;
131ad879127SKrish Sadhukhan }
132ad879127SKrish Sadhukhan 
133ad879127SKrish Sadhukhan static bool check_cr3_nointercept(struct svm_test *test)
134ad879127SKrish Sadhukhan {
135ad879127SKrish Sadhukhan     return null_check(test) && test->scratch == read_cr3();
136ad879127SKrish Sadhukhan }
137ad879127SKrish Sadhukhan 
138ad879127SKrish Sadhukhan static void corrupt_cr3_intercept_bypass(void *_test)
139ad879127SKrish Sadhukhan {
140ad879127SKrish Sadhukhan     struct svm_test *test = _test;
141ad879127SKrish Sadhukhan     extern volatile u32 mmio_insn;
142ad879127SKrish Sadhukhan 
143ad879127SKrish Sadhukhan     while (!__sync_bool_compare_and_swap(&test->scratch, 1, 2))
144ad879127SKrish Sadhukhan         pause();
145ad879127SKrish Sadhukhan     pause();
146ad879127SKrish Sadhukhan     pause();
147ad879127SKrish Sadhukhan     pause();
148ad879127SKrish Sadhukhan     mmio_insn = 0x90d8200f;  // mov %cr3, %rax; nop
149ad879127SKrish Sadhukhan }
150ad879127SKrish Sadhukhan 
151ad879127SKrish Sadhukhan static void prepare_cr3_intercept_bypass(struct svm_test *test)
152ad879127SKrish Sadhukhan {
153ad879127SKrish Sadhukhan     default_prepare(test);
154096cf7feSPaolo Bonzini     vmcb->control.intercept_cr_read |= 1 << 3;
155ad879127SKrish Sadhukhan     on_cpu_async(1, corrupt_cr3_intercept_bypass, test);
156ad879127SKrish Sadhukhan }
157ad879127SKrish Sadhukhan 
158ad879127SKrish Sadhukhan static void test_cr3_intercept_bypass(struct svm_test *test)
159ad879127SKrish Sadhukhan {
160ad879127SKrish Sadhukhan     ulong a = 0xa0000;
161ad879127SKrish Sadhukhan 
162ad879127SKrish Sadhukhan     test->scratch = 1;
163ad879127SKrish Sadhukhan     while (test->scratch != 2)
164ad879127SKrish Sadhukhan         barrier();
165ad879127SKrish Sadhukhan 
166ad879127SKrish Sadhukhan     asm volatile ("mmio_insn: mov %0, (%0); nop"
167ad879127SKrish Sadhukhan                   : "+a"(a) : : "memory");
168ad879127SKrish Sadhukhan     test->scratch = a;
169ad879127SKrish Sadhukhan }
170ad879127SKrish Sadhukhan 
171ad879127SKrish Sadhukhan static void prepare_dr_intercept(struct svm_test *test)
172ad879127SKrish Sadhukhan {
173ad879127SKrish Sadhukhan     default_prepare(test);
174096cf7feSPaolo Bonzini     vmcb->control.intercept_dr_read = 0xff;
175096cf7feSPaolo Bonzini     vmcb->control.intercept_dr_write = 0xff;
176ad879127SKrish Sadhukhan }
177ad879127SKrish Sadhukhan 
178ad879127SKrish Sadhukhan static void test_dr_intercept(struct svm_test *test)
179ad879127SKrish Sadhukhan {
180ad879127SKrish Sadhukhan     unsigned int i, failcnt = 0;
181ad879127SKrish Sadhukhan 
182ad879127SKrish Sadhukhan     /* Loop testing debug register reads */
183ad879127SKrish Sadhukhan     for (i = 0; i < 8; i++) {
184ad879127SKrish Sadhukhan 
185ad879127SKrish Sadhukhan         switch (i) {
186ad879127SKrish Sadhukhan         case 0:
187ad879127SKrish Sadhukhan             asm volatile ("mov %%dr0, %0" : "=r"(test->scratch) : : "memory");
188ad879127SKrish Sadhukhan             break;
189ad879127SKrish Sadhukhan         case 1:
190ad879127SKrish Sadhukhan             asm volatile ("mov %%dr1, %0" : "=r"(test->scratch) : : "memory");
191ad879127SKrish Sadhukhan             break;
192ad879127SKrish Sadhukhan         case 2:
193ad879127SKrish Sadhukhan             asm volatile ("mov %%dr2, %0" : "=r"(test->scratch) : : "memory");
194ad879127SKrish Sadhukhan             break;
195ad879127SKrish Sadhukhan         case 3:
196ad879127SKrish Sadhukhan             asm volatile ("mov %%dr3, %0" : "=r"(test->scratch) : : "memory");
197ad879127SKrish Sadhukhan             break;
198ad879127SKrish Sadhukhan         case 4:
199ad879127SKrish Sadhukhan             asm volatile ("mov %%dr4, %0" : "=r"(test->scratch) : : "memory");
200ad879127SKrish Sadhukhan             break;
201ad879127SKrish Sadhukhan         case 5:
202ad879127SKrish Sadhukhan             asm volatile ("mov %%dr5, %0" : "=r"(test->scratch) : : "memory");
203ad879127SKrish Sadhukhan             break;
204ad879127SKrish Sadhukhan         case 6:
205ad879127SKrish Sadhukhan             asm volatile ("mov %%dr6, %0" : "=r"(test->scratch) : : "memory");
206ad879127SKrish Sadhukhan             break;
207ad879127SKrish Sadhukhan         case 7:
208ad879127SKrish Sadhukhan             asm volatile ("mov %%dr7, %0" : "=r"(test->scratch) : : "memory");
209ad879127SKrish Sadhukhan             break;
210ad879127SKrish Sadhukhan         }
211ad879127SKrish Sadhukhan 
212ad879127SKrish Sadhukhan         if (test->scratch != i) {
213ad879127SKrish Sadhukhan             report(false, "dr%u read intercept", i);
214ad879127SKrish Sadhukhan             failcnt++;
215ad879127SKrish Sadhukhan         }
216ad879127SKrish Sadhukhan     }
217ad879127SKrish Sadhukhan 
218ad879127SKrish Sadhukhan     /* Loop testing debug register writes */
219ad879127SKrish Sadhukhan     for (i = 0; i < 8; i++) {
220ad879127SKrish Sadhukhan 
221ad879127SKrish Sadhukhan         switch (i) {
222ad879127SKrish Sadhukhan         case 0:
223ad879127SKrish Sadhukhan             asm volatile ("mov %0, %%dr0" : : "r"(test->scratch) : "memory");
224ad879127SKrish Sadhukhan             break;
225ad879127SKrish Sadhukhan         case 1:
226ad879127SKrish Sadhukhan             asm volatile ("mov %0, %%dr1" : : "r"(test->scratch) : "memory");
227ad879127SKrish Sadhukhan             break;
228ad879127SKrish Sadhukhan         case 2:
229ad879127SKrish Sadhukhan             asm volatile ("mov %0, %%dr2" : : "r"(test->scratch) : "memory");
230ad879127SKrish Sadhukhan             break;
231ad879127SKrish Sadhukhan         case 3:
232ad879127SKrish Sadhukhan             asm volatile ("mov %0, %%dr3" : : "r"(test->scratch) : "memory");
233ad879127SKrish Sadhukhan             break;
234ad879127SKrish Sadhukhan         case 4:
235ad879127SKrish Sadhukhan             asm volatile ("mov %0, %%dr4" : : "r"(test->scratch) : "memory");
236ad879127SKrish Sadhukhan             break;
237ad879127SKrish Sadhukhan         case 5:
238ad879127SKrish Sadhukhan             asm volatile ("mov %0, %%dr5" : : "r"(test->scratch) : "memory");
239ad879127SKrish Sadhukhan             break;
240ad879127SKrish Sadhukhan         case 6:
241ad879127SKrish Sadhukhan             asm volatile ("mov %0, %%dr6" : : "r"(test->scratch) : "memory");
242ad879127SKrish Sadhukhan             break;
243ad879127SKrish Sadhukhan         case 7:
244ad879127SKrish Sadhukhan             asm volatile ("mov %0, %%dr7" : : "r"(test->scratch) : "memory");
245ad879127SKrish Sadhukhan             break;
246ad879127SKrish Sadhukhan         }
247ad879127SKrish Sadhukhan 
248ad879127SKrish Sadhukhan         if (test->scratch != i) {
249ad879127SKrish Sadhukhan             report(false, "dr%u write intercept", i);
250ad879127SKrish Sadhukhan             failcnt++;
251ad879127SKrish Sadhukhan         }
252ad879127SKrish Sadhukhan     }
253ad879127SKrish Sadhukhan 
254ad879127SKrish Sadhukhan     test->scratch = failcnt;
255ad879127SKrish Sadhukhan }
256ad879127SKrish Sadhukhan 
257ad879127SKrish Sadhukhan static bool dr_intercept_finished(struct svm_test *test)
258ad879127SKrish Sadhukhan {
259096cf7feSPaolo Bonzini     ulong n = (vmcb->control.exit_code - SVM_EXIT_READ_DR0);
260ad879127SKrish Sadhukhan 
261ad879127SKrish Sadhukhan     /* Only expect DR intercepts */
262ad879127SKrish Sadhukhan     if (n > (SVM_EXIT_MAX_DR_INTERCEPT - SVM_EXIT_READ_DR0))
263ad879127SKrish Sadhukhan         return true;
264ad879127SKrish Sadhukhan 
265ad879127SKrish Sadhukhan     /*
266ad879127SKrish Sadhukhan      * Compute debug register number.
267ad879127SKrish Sadhukhan      * Per Appendix C "SVM Intercept Exit Codes" of AMD64 Architecture
268ad879127SKrish Sadhukhan      * Programmer's Manual Volume 2 - System Programming:
269ad879127SKrish Sadhukhan      * http://support.amd.com/TechDocs/24593.pdf
270ad879127SKrish Sadhukhan      * there are 16 VMEXIT codes each for DR read and write.
271ad879127SKrish Sadhukhan      */
272ad879127SKrish Sadhukhan     test->scratch = (n % 16);
273ad879127SKrish Sadhukhan 
274ad879127SKrish Sadhukhan     /* Jump over MOV instruction */
275096cf7feSPaolo Bonzini     vmcb->save.rip += 3;
276ad879127SKrish Sadhukhan 
277ad879127SKrish Sadhukhan     return false;
278ad879127SKrish Sadhukhan }
279ad879127SKrish Sadhukhan 
280ad879127SKrish Sadhukhan static bool check_dr_intercept(struct svm_test *test)
281ad879127SKrish Sadhukhan {
282ad879127SKrish Sadhukhan     return !test->scratch;
283ad879127SKrish Sadhukhan }
284ad879127SKrish Sadhukhan 
285ad879127SKrish Sadhukhan static bool next_rip_supported(void)
286ad879127SKrish Sadhukhan {
287ad879127SKrish Sadhukhan     return this_cpu_has(X86_FEATURE_NRIPS);
288ad879127SKrish Sadhukhan }
289ad879127SKrish Sadhukhan 
290ad879127SKrish Sadhukhan static void prepare_next_rip(struct svm_test *test)
291ad879127SKrish Sadhukhan {
292096cf7feSPaolo Bonzini     vmcb->control.intercept |= (1ULL << INTERCEPT_RDTSC);
293ad879127SKrish Sadhukhan }
294ad879127SKrish Sadhukhan 
295ad879127SKrish Sadhukhan 
296ad879127SKrish Sadhukhan static void test_next_rip(struct svm_test *test)
297ad879127SKrish Sadhukhan {
298ad879127SKrish Sadhukhan     asm volatile ("rdtsc\n\t"
299ad879127SKrish Sadhukhan                   ".globl exp_next_rip\n\t"
300ad879127SKrish Sadhukhan                   "exp_next_rip:\n\t" ::: "eax", "edx");
301ad879127SKrish Sadhukhan }
302ad879127SKrish Sadhukhan 
303ad879127SKrish Sadhukhan static bool check_next_rip(struct svm_test *test)
304ad879127SKrish Sadhukhan {
305ad879127SKrish Sadhukhan     extern char exp_next_rip;
306ad879127SKrish Sadhukhan     unsigned long address = (unsigned long)&exp_next_rip;
307ad879127SKrish Sadhukhan 
308096cf7feSPaolo Bonzini     return address == vmcb->control.next_rip;
309ad879127SKrish Sadhukhan }
310ad879127SKrish Sadhukhan 
311ad879127SKrish Sadhukhan extern u8 *msr_bitmap;
312ad879127SKrish Sadhukhan 
313ad879127SKrish Sadhukhan static void prepare_msr_intercept(struct svm_test *test)
314ad879127SKrish Sadhukhan {
315ad879127SKrish Sadhukhan     default_prepare(test);
316096cf7feSPaolo Bonzini     vmcb->control.intercept |= (1ULL << INTERCEPT_MSR_PROT);
317096cf7feSPaolo Bonzini     vmcb->control.intercept_exceptions |= (1ULL << GP_VECTOR);
318ad879127SKrish Sadhukhan     memset(msr_bitmap, 0xff, MSR_BITMAP_SIZE);
319ad879127SKrish Sadhukhan }
320ad879127SKrish Sadhukhan 
321ad879127SKrish Sadhukhan static void test_msr_intercept(struct svm_test *test)
322ad879127SKrish Sadhukhan {
323ad879127SKrish Sadhukhan     unsigned long msr_value = 0xef8056791234abcd; /* Arbitrary value */
324ad879127SKrish Sadhukhan     unsigned long msr_index;
325ad879127SKrish Sadhukhan 
326ad879127SKrish Sadhukhan     for (msr_index = 0; msr_index <= 0xc0011fff; msr_index++) {
327ad879127SKrish Sadhukhan         if (msr_index == 0xC0010131 /* MSR_SEV_STATUS */) {
328ad879127SKrish Sadhukhan             /*
329ad879127SKrish Sadhukhan              * Per section 15.34.10 "SEV_STATUS MSR" of AMD64 Architecture
330ad879127SKrish Sadhukhan              * Programmer's Manual volume 2 - System Programming:
331ad879127SKrish Sadhukhan              * http://support.amd.com/TechDocs/24593.pdf
332ad879127SKrish Sadhukhan              * SEV_STATUS MSR (C001_0131) is a non-interceptable MSR.
333ad879127SKrish Sadhukhan              */
334ad879127SKrish Sadhukhan             continue;
335ad879127SKrish Sadhukhan         }
336ad879127SKrish Sadhukhan 
337ad879127SKrish Sadhukhan         /* Skips gaps between supported MSR ranges */
338ad879127SKrish Sadhukhan         if (msr_index == 0x2000)
339ad879127SKrish Sadhukhan             msr_index = 0xc0000000;
340ad879127SKrish Sadhukhan         else if (msr_index == 0xc0002000)
341ad879127SKrish Sadhukhan             msr_index = 0xc0010000;
342ad879127SKrish Sadhukhan 
343ad879127SKrish Sadhukhan         test->scratch = -1;
344ad879127SKrish Sadhukhan 
345ad879127SKrish Sadhukhan         rdmsr(msr_index);
346ad879127SKrish Sadhukhan 
347ad879127SKrish Sadhukhan         /* Check that a read intercept occurred for MSR at msr_index */
348ad879127SKrish Sadhukhan         if (test->scratch != msr_index)
349ad879127SKrish Sadhukhan             report(false, "MSR 0x%lx read intercept", msr_index);
350ad879127SKrish Sadhukhan 
351ad879127SKrish Sadhukhan         /*
352ad879127SKrish Sadhukhan          * Poor man approach to generate a value that
353ad879127SKrish Sadhukhan          * seems arbitrary each time around the loop.
354ad879127SKrish Sadhukhan          */
355ad879127SKrish Sadhukhan         msr_value += (msr_value << 1);
356ad879127SKrish Sadhukhan 
357ad879127SKrish Sadhukhan         wrmsr(msr_index, msr_value);
358ad879127SKrish Sadhukhan 
359ad879127SKrish Sadhukhan         /* Check that a write intercept occurred for MSR with msr_value */
360ad879127SKrish Sadhukhan         if (test->scratch != msr_value)
361ad879127SKrish Sadhukhan             report(false, "MSR 0x%lx write intercept", msr_index);
362ad879127SKrish Sadhukhan     }
363ad879127SKrish Sadhukhan 
364ad879127SKrish Sadhukhan     test->scratch = -2;
365ad879127SKrish Sadhukhan }
366ad879127SKrish Sadhukhan 
367ad879127SKrish Sadhukhan static bool msr_intercept_finished(struct svm_test *test)
368ad879127SKrish Sadhukhan {
369096cf7feSPaolo Bonzini     u32 exit_code = vmcb->control.exit_code;
370ad879127SKrish Sadhukhan     u64 exit_info_1;
371ad879127SKrish Sadhukhan     u8 *opcode;
372ad879127SKrish Sadhukhan 
373ad879127SKrish Sadhukhan     if (exit_code == SVM_EXIT_MSR) {
374096cf7feSPaolo Bonzini         exit_info_1 = vmcb->control.exit_info_1;
375ad879127SKrish Sadhukhan     } else {
376ad879127SKrish Sadhukhan         /*
377ad879127SKrish Sadhukhan          * If #GP exception occurs instead, check that it was
378ad879127SKrish Sadhukhan          * for RDMSR/WRMSR and set exit_info_1 accordingly.
379ad879127SKrish Sadhukhan          */
380ad879127SKrish Sadhukhan 
381ad879127SKrish Sadhukhan         if (exit_code != (SVM_EXIT_EXCP_BASE + GP_VECTOR))
382ad879127SKrish Sadhukhan             return true;
383ad879127SKrish Sadhukhan 
384096cf7feSPaolo Bonzini         opcode = (u8 *)vmcb->save.rip;
385ad879127SKrish Sadhukhan         if (opcode[0] != 0x0f)
386ad879127SKrish Sadhukhan             return true;
387ad879127SKrish Sadhukhan 
388ad879127SKrish Sadhukhan         switch (opcode[1]) {
389ad879127SKrish Sadhukhan         case 0x30: /* WRMSR */
390ad879127SKrish Sadhukhan             exit_info_1 = 1;
391ad879127SKrish Sadhukhan             break;
392ad879127SKrish Sadhukhan         case 0x32: /* RDMSR */
393ad879127SKrish Sadhukhan             exit_info_1 = 0;
394ad879127SKrish Sadhukhan             break;
395ad879127SKrish Sadhukhan         default:
396ad879127SKrish Sadhukhan             return true;
397ad879127SKrish Sadhukhan         }
398ad879127SKrish Sadhukhan 
399ad879127SKrish Sadhukhan         /*
400ad879127SKrish Sadhukhan          * Warn that #GP exception occured instead.
401ad879127SKrish Sadhukhan          * RCX holds the MSR index.
402ad879127SKrish Sadhukhan          */
403ad879127SKrish Sadhukhan         printf("%s 0x%lx #GP exception\n",
404ad879127SKrish Sadhukhan             exit_info_1 ? "WRMSR" : "RDMSR", get_regs().rcx);
405ad879127SKrish Sadhukhan     }
406ad879127SKrish Sadhukhan 
407ad879127SKrish Sadhukhan     /* Jump over RDMSR/WRMSR instruction */
408096cf7feSPaolo Bonzini     vmcb->save.rip += 2;
409ad879127SKrish Sadhukhan 
410ad879127SKrish Sadhukhan     /*
411ad879127SKrish Sadhukhan      * Test whether the intercept was for RDMSR/WRMSR.
412ad879127SKrish Sadhukhan      * For RDMSR, test->scratch is set to the MSR index;
413ad879127SKrish Sadhukhan      *      RCX holds the MSR index.
414ad879127SKrish Sadhukhan      * For WRMSR, test->scratch is set to the MSR value;
415ad879127SKrish Sadhukhan      *      RDX holds the upper 32 bits of the MSR value,
416ad879127SKrish Sadhukhan      *      while RAX hold its lower 32 bits.
417ad879127SKrish Sadhukhan      */
418ad879127SKrish Sadhukhan     if (exit_info_1)
419ad879127SKrish Sadhukhan         test->scratch =
420096cf7feSPaolo Bonzini             ((get_regs().rdx << 32) | (vmcb->save.rax & 0xffffffff));
421ad879127SKrish Sadhukhan     else
422ad879127SKrish Sadhukhan         test->scratch = get_regs().rcx;
423ad879127SKrish Sadhukhan 
424ad879127SKrish Sadhukhan     return false;
425ad879127SKrish Sadhukhan }
426ad879127SKrish Sadhukhan 
427ad879127SKrish Sadhukhan static bool check_msr_intercept(struct svm_test *test)
428ad879127SKrish Sadhukhan {
429ad879127SKrish Sadhukhan     memset(msr_bitmap, 0, MSR_BITMAP_SIZE);
430ad879127SKrish Sadhukhan     return (test->scratch == -2);
431ad879127SKrish Sadhukhan }
432ad879127SKrish Sadhukhan 
433ad879127SKrish Sadhukhan static void prepare_mode_switch(struct svm_test *test)
434ad879127SKrish Sadhukhan {
435096cf7feSPaolo Bonzini     vmcb->control.intercept_exceptions |= (1ULL << GP_VECTOR)
436ad879127SKrish Sadhukhan                                              |  (1ULL << UD_VECTOR)
437ad879127SKrish Sadhukhan                                              |  (1ULL << DF_VECTOR)
438ad879127SKrish Sadhukhan                                              |  (1ULL << PF_VECTOR);
439ad879127SKrish Sadhukhan     test->scratch = 0;
440ad879127SKrish Sadhukhan }
441ad879127SKrish Sadhukhan 
442ad879127SKrish Sadhukhan static void test_mode_switch(struct svm_test *test)
443ad879127SKrish Sadhukhan {
444ad879127SKrish Sadhukhan     asm volatile("	cli\n"
445ad879127SKrish Sadhukhan 		 "	ljmp *1f\n" /* jump to 32-bit code segment */
446ad879127SKrish Sadhukhan 		 "1:\n"
447ad879127SKrish Sadhukhan 		 "	.long 2f\n"
448ad879127SKrish Sadhukhan 		 "	.long " xstr(KERNEL_CS32) "\n"
449ad879127SKrish Sadhukhan 		 ".code32\n"
450ad879127SKrish Sadhukhan 		 "2:\n"
451ad879127SKrish Sadhukhan 		 "	movl %%cr0, %%eax\n"
452ad879127SKrish Sadhukhan 		 "	btcl  $31, %%eax\n" /* clear PG */
453ad879127SKrish Sadhukhan 		 "	movl %%eax, %%cr0\n"
454ad879127SKrish Sadhukhan 		 "	movl $0xc0000080, %%ecx\n" /* EFER */
455ad879127SKrish Sadhukhan 		 "	rdmsr\n"
456ad879127SKrish Sadhukhan 		 "	btcl $8, %%eax\n" /* clear LME */
457ad879127SKrish Sadhukhan 		 "	wrmsr\n"
458ad879127SKrish Sadhukhan 		 "	movl %%cr4, %%eax\n"
459ad879127SKrish Sadhukhan 		 "	btcl $5, %%eax\n" /* clear PAE */
460ad879127SKrish Sadhukhan 		 "	movl %%eax, %%cr4\n"
461ad879127SKrish Sadhukhan 		 "	movw %[ds16], %%ax\n"
462ad879127SKrish Sadhukhan 		 "	movw %%ax, %%ds\n"
463ad879127SKrish Sadhukhan 		 "	ljmpl %[cs16], $3f\n" /* jump to 16 bit protected-mode */
464ad879127SKrish Sadhukhan 		 ".code16\n"
465ad879127SKrish Sadhukhan 		 "3:\n"
466ad879127SKrish Sadhukhan 		 "	movl %%cr0, %%eax\n"
467ad879127SKrish Sadhukhan 		 "	btcl $0, %%eax\n" /* clear PE  */
468ad879127SKrish Sadhukhan 		 "	movl %%eax, %%cr0\n"
469ad879127SKrish Sadhukhan 		 "	ljmpl $0, $4f\n"   /* jump to real-mode */
470ad879127SKrish Sadhukhan 		 "4:\n"
471ad879127SKrish Sadhukhan 		 "	vmmcall\n"
472ad879127SKrish Sadhukhan 		 "	movl %%cr0, %%eax\n"
473ad879127SKrish Sadhukhan 		 "	btsl $0, %%eax\n" /* set PE  */
474ad879127SKrish Sadhukhan 		 "	movl %%eax, %%cr0\n"
475ad879127SKrish Sadhukhan 		 "	ljmpl %[cs32], $5f\n" /* back to protected mode */
476ad879127SKrish Sadhukhan 		 ".code32\n"
477ad879127SKrish Sadhukhan 		 "5:\n"
478ad879127SKrish Sadhukhan 		 "	movl %%cr4, %%eax\n"
479ad879127SKrish Sadhukhan 		 "	btsl $5, %%eax\n" /* set PAE */
480ad879127SKrish Sadhukhan 		 "	movl %%eax, %%cr4\n"
481ad879127SKrish Sadhukhan 		 "	movl $0xc0000080, %%ecx\n" /* EFER */
482ad879127SKrish Sadhukhan 		 "	rdmsr\n"
483ad879127SKrish Sadhukhan 		 "	btsl $8, %%eax\n" /* set LME */
484ad879127SKrish Sadhukhan 		 "	wrmsr\n"
485ad879127SKrish Sadhukhan 		 "	movl %%cr0, %%eax\n"
486ad879127SKrish Sadhukhan 		 "	btsl  $31, %%eax\n" /* set PG */
487ad879127SKrish Sadhukhan 		 "	movl %%eax, %%cr0\n"
488ad879127SKrish Sadhukhan 		 "	ljmpl %[cs64], $6f\n"    /* back to long mode */
489ad879127SKrish Sadhukhan 		 ".code64\n\t"
490ad879127SKrish Sadhukhan 		 "6:\n"
491ad879127SKrish Sadhukhan 		 "	vmmcall\n"
492ad879127SKrish Sadhukhan 		 :: [cs16] "i"(KERNEL_CS16), [ds16] "i"(KERNEL_DS16),
493ad879127SKrish Sadhukhan 		    [cs32] "i"(KERNEL_CS32), [cs64] "i"(KERNEL_CS64)
494ad879127SKrish Sadhukhan 		 : "rax", "rbx", "rcx", "rdx", "memory");
495ad879127SKrish Sadhukhan }
496ad879127SKrish Sadhukhan 
497ad879127SKrish Sadhukhan static bool mode_switch_finished(struct svm_test *test)
498ad879127SKrish Sadhukhan {
499ad879127SKrish Sadhukhan     u64 cr0, cr4, efer;
500ad879127SKrish Sadhukhan 
501096cf7feSPaolo Bonzini     cr0  = vmcb->save.cr0;
502096cf7feSPaolo Bonzini     cr4  = vmcb->save.cr4;
503096cf7feSPaolo Bonzini     efer = vmcb->save.efer;
504ad879127SKrish Sadhukhan 
505ad879127SKrish Sadhukhan     /* Only expect VMMCALL intercepts */
506096cf7feSPaolo Bonzini     if (vmcb->control.exit_code != SVM_EXIT_VMMCALL)
507ad879127SKrish Sadhukhan 	    return true;
508ad879127SKrish Sadhukhan 
509ad879127SKrish Sadhukhan     /* Jump over VMMCALL instruction */
510096cf7feSPaolo Bonzini     vmcb->save.rip += 3;
511ad879127SKrish Sadhukhan 
512ad879127SKrish Sadhukhan     /* Do sanity checks */
513ad879127SKrish Sadhukhan     switch (test->scratch) {
514ad879127SKrish Sadhukhan     case 0:
515ad879127SKrish Sadhukhan         /* Test should be in real mode now - check for this */
516ad879127SKrish Sadhukhan         if ((cr0  & 0x80000001) || /* CR0.PG, CR0.PE */
517ad879127SKrish Sadhukhan             (cr4  & 0x00000020) || /* CR4.PAE */
518ad879127SKrish Sadhukhan             (efer & 0x00000500))   /* EFER.LMA, EFER.LME */
519ad879127SKrish Sadhukhan                 return true;
520ad879127SKrish Sadhukhan         break;
521ad879127SKrish Sadhukhan     case 2:
522ad879127SKrish Sadhukhan         /* Test should be back in long-mode now - check for this */
523ad879127SKrish Sadhukhan         if (((cr0  & 0x80000001) != 0x80000001) || /* CR0.PG, CR0.PE */
524ad879127SKrish Sadhukhan             ((cr4  & 0x00000020) != 0x00000020) || /* CR4.PAE */
525ad879127SKrish Sadhukhan             ((efer & 0x00000500) != 0x00000500))   /* EFER.LMA, EFER.LME */
526ad879127SKrish Sadhukhan 		    return true;
527ad879127SKrish Sadhukhan 	break;
528ad879127SKrish Sadhukhan     }
529ad879127SKrish Sadhukhan 
530ad879127SKrish Sadhukhan     /* one step forward */
531ad879127SKrish Sadhukhan     test->scratch += 1;
532ad879127SKrish Sadhukhan 
533ad879127SKrish Sadhukhan     return test->scratch == 2;
534ad879127SKrish Sadhukhan }
535ad879127SKrish Sadhukhan 
536ad879127SKrish Sadhukhan static bool check_mode_switch(struct svm_test *test)
537ad879127SKrish Sadhukhan {
538ad879127SKrish Sadhukhan 	return test->scratch == 2;
539ad879127SKrish Sadhukhan }
540ad879127SKrish Sadhukhan 
541ad879127SKrish Sadhukhan extern u8 *io_bitmap;
542ad879127SKrish Sadhukhan 
543ad879127SKrish Sadhukhan static void prepare_ioio(struct svm_test *test)
544ad879127SKrish Sadhukhan {
545096cf7feSPaolo Bonzini     vmcb->control.intercept |= (1ULL << INTERCEPT_IOIO_PROT);
546ad879127SKrish Sadhukhan     test->scratch = 0;
547ad879127SKrish Sadhukhan     memset(io_bitmap, 0, 8192);
548ad879127SKrish Sadhukhan     io_bitmap[8192] = 0xFF;
549ad879127SKrish Sadhukhan }
550ad879127SKrish Sadhukhan 
551ad879127SKrish Sadhukhan static void test_ioio(struct svm_test *test)
552ad879127SKrish Sadhukhan {
553ad879127SKrish Sadhukhan     // stage 0, test IO pass
554ad879127SKrish Sadhukhan     inb(0x5000);
555ad879127SKrish Sadhukhan     outb(0x0, 0x5000);
556ad879127SKrish Sadhukhan     if (get_test_stage(test) != 0)
557ad879127SKrish Sadhukhan         goto fail;
558ad879127SKrish Sadhukhan 
559ad879127SKrish Sadhukhan     // test IO width, in/out
560ad879127SKrish Sadhukhan     io_bitmap[0] = 0xFF;
561ad879127SKrish Sadhukhan     inc_test_stage(test);
562ad879127SKrish Sadhukhan     inb(0x0);
563ad879127SKrish Sadhukhan     if (get_test_stage(test) != 2)
564ad879127SKrish Sadhukhan         goto fail;
565ad879127SKrish Sadhukhan 
566ad879127SKrish Sadhukhan     outw(0x0, 0x0);
567ad879127SKrish Sadhukhan     if (get_test_stage(test) != 3)
568ad879127SKrish Sadhukhan         goto fail;
569ad879127SKrish Sadhukhan 
570ad879127SKrish Sadhukhan     inl(0x0);
571ad879127SKrish Sadhukhan     if (get_test_stage(test) != 4)
572ad879127SKrish Sadhukhan         goto fail;
573ad879127SKrish Sadhukhan 
574ad879127SKrish Sadhukhan     // test low/high IO port
575ad879127SKrish Sadhukhan     io_bitmap[0x5000 / 8] = (1 << (0x5000 % 8));
576ad879127SKrish Sadhukhan     inb(0x5000);
577ad879127SKrish Sadhukhan     if (get_test_stage(test) != 5)
578ad879127SKrish Sadhukhan         goto fail;
579ad879127SKrish Sadhukhan 
580ad879127SKrish Sadhukhan     io_bitmap[0x9000 / 8] = (1 << (0x9000 % 8));
581ad879127SKrish Sadhukhan     inw(0x9000);
582ad879127SKrish Sadhukhan     if (get_test_stage(test) != 6)
583ad879127SKrish Sadhukhan         goto fail;
584ad879127SKrish Sadhukhan 
585ad879127SKrish Sadhukhan     // test partial pass
586ad879127SKrish Sadhukhan     io_bitmap[0x5000 / 8] = (1 << (0x5000 % 8));
587ad879127SKrish Sadhukhan     inl(0x4FFF);
588ad879127SKrish Sadhukhan     if (get_test_stage(test) != 7)
589ad879127SKrish Sadhukhan         goto fail;
590ad879127SKrish Sadhukhan 
591ad879127SKrish Sadhukhan     // test across pages
592ad879127SKrish Sadhukhan     inc_test_stage(test);
593ad879127SKrish Sadhukhan     inl(0x7FFF);
594ad879127SKrish Sadhukhan     if (get_test_stage(test) != 8)
595ad879127SKrish Sadhukhan         goto fail;
596ad879127SKrish Sadhukhan 
597ad879127SKrish Sadhukhan     inc_test_stage(test);
598ad879127SKrish Sadhukhan     io_bitmap[0x8000 / 8] = 1 << (0x8000 % 8);
599ad879127SKrish Sadhukhan     inl(0x7FFF);
600ad879127SKrish Sadhukhan     if (get_test_stage(test) != 10)
601ad879127SKrish Sadhukhan         goto fail;
602ad879127SKrish Sadhukhan 
603ad879127SKrish Sadhukhan     io_bitmap[0] = 0;
604ad879127SKrish Sadhukhan     inl(0xFFFF);
605ad879127SKrish Sadhukhan     if (get_test_stage(test) != 11)
606ad879127SKrish Sadhukhan         goto fail;
607ad879127SKrish Sadhukhan 
608ad879127SKrish Sadhukhan     io_bitmap[0] = 0xFF;
609ad879127SKrish Sadhukhan     io_bitmap[8192] = 0;
610ad879127SKrish Sadhukhan     inl(0xFFFF);
611ad879127SKrish Sadhukhan     inc_test_stage(test);
612ad879127SKrish Sadhukhan     if (get_test_stage(test) != 12)
613ad879127SKrish Sadhukhan         goto fail;
614ad879127SKrish Sadhukhan 
615ad879127SKrish Sadhukhan     return;
616ad879127SKrish Sadhukhan 
617ad879127SKrish Sadhukhan fail:
618ad879127SKrish Sadhukhan     report(false, "stage %d", get_test_stage(test));
619ad879127SKrish Sadhukhan     test->scratch = -1;
620ad879127SKrish Sadhukhan }
621ad879127SKrish Sadhukhan 
622ad879127SKrish Sadhukhan static bool ioio_finished(struct svm_test *test)
623ad879127SKrish Sadhukhan {
624ad879127SKrish Sadhukhan     unsigned port, size;
625ad879127SKrish Sadhukhan 
626ad879127SKrish Sadhukhan     /* Only expect IOIO intercepts */
627096cf7feSPaolo Bonzini     if (vmcb->control.exit_code == SVM_EXIT_VMMCALL)
628ad879127SKrish Sadhukhan         return true;
629ad879127SKrish Sadhukhan 
630096cf7feSPaolo Bonzini     if (vmcb->control.exit_code != SVM_EXIT_IOIO)
631ad879127SKrish Sadhukhan         return true;
632ad879127SKrish Sadhukhan 
633ad879127SKrish Sadhukhan     /* one step forward */
634ad879127SKrish Sadhukhan     test->scratch += 1;
635ad879127SKrish Sadhukhan 
636096cf7feSPaolo Bonzini     port = vmcb->control.exit_info_1 >> 16;
637096cf7feSPaolo Bonzini     size = (vmcb->control.exit_info_1 >> SVM_IOIO_SIZE_SHIFT) & 7;
638ad879127SKrish Sadhukhan 
639ad879127SKrish Sadhukhan     while (size--) {
640ad879127SKrish Sadhukhan         io_bitmap[port / 8] &= ~(1 << (port & 7));
641ad879127SKrish Sadhukhan         port++;
642ad879127SKrish Sadhukhan     }
643ad879127SKrish Sadhukhan 
644ad879127SKrish Sadhukhan     return false;
645ad879127SKrish Sadhukhan }
646ad879127SKrish Sadhukhan 
647ad879127SKrish Sadhukhan static bool check_ioio(struct svm_test *test)
648ad879127SKrish Sadhukhan {
649ad879127SKrish Sadhukhan     memset(io_bitmap, 0, 8193);
650ad879127SKrish Sadhukhan     return test->scratch != -1;
651ad879127SKrish Sadhukhan }
652ad879127SKrish Sadhukhan 
653ad879127SKrish Sadhukhan static void prepare_asid_zero(struct svm_test *test)
654ad879127SKrish Sadhukhan {
655096cf7feSPaolo Bonzini     vmcb->control.asid = 0;
656ad879127SKrish Sadhukhan }
657ad879127SKrish Sadhukhan 
658ad879127SKrish Sadhukhan static void test_asid_zero(struct svm_test *test)
659ad879127SKrish Sadhukhan {
660ad879127SKrish Sadhukhan     asm volatile ("vmmcall\n\t");
661ad879127SKrish Sadhukhan }
662ad879127SKrish Sadhukhan 
663ad879127SKrish Sadhukhan static bool check_asid_zero(struct svm_test *test)
664ad879127SKrish Sadhukhan {
665096cf7feSPaolo Bonzini     return vmcb->control.exit_code == SVM_EXIT_ERR;
666ad879127SKrish Sadhukhan }
667ad879127SKrish Sadhukhan 
668ad879127SKrish Sadhukhan static void sel_cr0_bug_prepare(struct svm_test *test)
669ad879127SKrish Sadhukhan {
670096cf7feSPaolo Bonzini     vmcb_ident(vmcb);
671096cf7feSPaolo Bonzini     vmcb->control.intercept |= (1ULL << INTERCEPT_SELECTIVE_CR0);
672ad879127SKrish Sadhukhan }
673ad879127SKrish Sadhukhan 
674ad879127SKrish Sadhukhan static bool sel_cr0_bug_finished(struct svm_test *test)
675ad879127SKrish Sadhukhan {
676ad879127SKrish Sadhukhan 	return true;
677ad879127SKrish Sadhukhan }
678ad879127SKrish Sadhukhan 
679ad879127SKrish Sadhukhan static void sel_cr0_bug_test(struct svm_test *test)
680ad879127SKrish Sadhukhan {
681ad879127SKrish Sadhukhan     unsigned long cr0;
682ad879127SKrish Sadhukhan 
683ad879127SKrish Sadhukhan     /* read cr0, clear CD, and write back */
684ad879127SKrish Sadhukhan     cr0  = read_cr0();
685ad879127SKrish Sadhukhan     cr0 |= (1UL << 30);
686ad879127SKrish Sadhukhan     write_cr0(cr0);
687ad879127SKrish Sadhukhan 
688ad879127SKrish Sadhukhan     /*
689ad879127SKrish Sadhukhan      * If we are here the test failed, not sure what to do now because we
690ad879127SKrish Sadhukhan      * are not in guest-mode anymore so we can't trigger an intercept.
691ad879127SKrish Sadhukhan      * Trigger a tripple-fault for now.
692ad879127SKrish Sadhukhan      */
693ad879127SKrish Sadhukhan     report(false, "sel_cr0 test. Can not recover from this - exiting");
694ad879127SKrish Sadhukhan     exit(report_summary());
695ad879127SKrish Sadhukhan }
696ad879127SKrish Sadhukhan 
697ad879127SKrish Sadhukhan static bool sel_cr0_bug_check(struct svm_test *test)
698ad879127SKrish Sadhukhan {
699096cf7feSPaolo Bonzini     return vmcb->control.exit_code == SVM_EXIT_CR0_SEL_WRITE;
700ad879127SKrish Sadhukhan }
701ad879127SKrish Sadhukhan 
702ad879127SKrish Sadhukhan static void npt_nx_prepare(struct svm_test *test)
703ad879127SKrish Sadhukhan {
704ad879127SKrish Sadhukhan 
705ad879127SKrish Sadhukhan     u64 *pte;
706ad879127SKrish Sadhukhan 
707096cf7feSPaolo Bonzini     vmcb_ident(vmcb);
708ad879127SKrish Sadhukhan     pte = npt_get_pte((u64)null_test);
709ad879127SKrish Sadhukhan 
710ad879127SKrish Sadhukhan     *pte |= (1ULL << 63);
711ad879127SKrish Sadhukhan }
712ad879127SKrish Sadhukhan 
713ad879127SKrish Sadhukhan static bool npt_nx_check(struct svm_test *test)
714ad879127SKrish Sadhukhan {
715ad879127SKrish Sadhukhan     u64 *pte = npt_get_pte((u64)null_test);
716ad879127SKrish Sadhukhan 
717ad879127SKrish Sadhukhan     *pte &= ~(1ULL << 63);
718ad879127SKrish Sadhukhan 
719096cf7feSPaolo Bonzini     vmcb->save.efer |= (1 << 11);
720ad879127SKrish Sadhukhan 
721096cf7feSPaolo Bonzini     return (vmcb->control.exit_code == SVM_EXIT_NPF)
722096cf7feSPaolo Bonzini            && (vmcb->control.exit_info_1 == 0x100000015ULL);
723ad879127SKrish Sadhukhan }
724ad879127SKrish Sadhukhan 
7256faca2a5SKrish Sadhukhan static void npt_np_prepare(struct svm_test *test)
7266faca2a5SKrish Sadhukhan {
7276faca2a5SKrish Sadhukhan     u64 *pte;
7286faca2a5SKrish Sadhukhan 
7296faca2a5SKrish Sadhukhan     scratch_page = alloc_page();
7306faca2a5SKrish Sadhukhan     vmcb_ident(vmcb);
7316faca2a5SKrish Sadhukhan     pte = npt_get_pte((u64)scratch_page);
7326faca2a5SKrish Sadhukhan 
7336faca2a5SKrish Sadhukhan     *pte &= ~1ULL;
7346faca2a5SKrish Sadhukhan }
7356faca2a5SKrish Sadhukhan 
7366faca2a5SKrish Sadhukhan static void npt_np_test(struct svm_test *test)
7376faca2a5SKrish Sadhukhan {
7386faca2a5SKrish Sadhukhan     (void) *(volatile u64 *)scratch_page;
7396faca2a5SKrish Sadhukhan }
7406faca2a5SKrish Sadhukhan 
7416faca2a5SKrish Sadhukhan static bool npt_np_check(struct svm_test *test)
7426faca2a5SKrish Sadhukhan {
7436faca2a5SKrish Sadhukhan     u64 *pte = npt_get_pte((u64)scratch_page);
7446faca2a5SKrish Sadhukhan 
7456faca2a5SKrish Sadhukhan     *pte |= 1ULL;
7466faca2a5SKrish Sadhukhan 
7476faca2a5SKrish Sadhukhan     return (vmcb->control.exit_code == SVM_EXIT_NPF)
7486faca2a5SKrish Sadhukhan            && (vmcb->control.exit_info_1 == 0x100000004ULL);
7496faca2a5SKrish Sadhukhan }
7506faca2a5SKrish Sadhukhan 
751ad879127SKrish Sadhukhan static void npt_us_prepare(struct svm_test *test)
752ad879127SKrish Sadhukhan {
753ad879127SKrish Sadhukhan     u64 *pte;
754ad879127SKrish Sadhukhan 
755ad879127SKrish Sadhukhan     scratch_page = alloc_page();
756096cf7feSPaolo Bonzini     vmcb_ident(vmcb);
757ad879127SKrish Sadhukhan     pte = npt_get_pte((u64)scratch_page);
758ad879127SKrish Sadhukhan 
759ad879127SKrish Sadhukhan     *pte &= ~(1ULL << 2);
760ad879127SKrish Sadhukhan }
761ad879127SKrish Sadhukhan 
762ad879127SKrish Sadhukhan static void npt_us_test(struct svm_test *test)
763ad879127SKrish Sadhukhan {
764ad879127SKrish Sadhukhan     (void) *(volatile u64 *)scratch_page;
765ad879127SKrish Sadhukhan }
766ad879127SKrish Sadhukhan 
767ad879127SKrish Sadhukhan static bool npt_us_check(struct svm_test *test)
768ad879127SKrish Sadhukhan {
769ad879127SKrish Sadhukhan     u64 *pte = npt_get_pte((u64)scratch_page);
770ad879127SKrish Sadhukhan 
771ad879127SKrish Sadhukhan     *pte |= (1ULL << 2);
772ad879127SKrish Sadhukhan 
773096cf7feSPaolo Bonzini     return (vmcb->control.exit_code == SVM_EXIT_NPF)
774096cf7feSPaolo Bonzini            && (vmcb->control.exit_info_1 == 0x100000005ULL);
775ad879127SKrish Sadhukhan }
776ad879127SKrish Sadhukhan 
777ad879127SKrish Sadhukhan u64 save_pde;
778ad879127SKrish Sadhukhan 
779ad879127SKrish Sadhukhan static void npt_rsvd_prepare(struct svm_test *test)
780ad879127SKrish Sadhukhan {
781ad879127SKrish Sadhukhan     u64 *pde;
782ad879127SKrish Sadhukhan 
783096cf7feSPaolo Bonzini     vmcb_ident(vmcb);
784ad879127SKrish Sadhukhan     pde = npt_get_pde((u64) null_test);
785ad879127SKrish Sadhukhan 
786ad879127SKrish Sadhukhan     save_pde = *pde;
787ad879127SKrish Sadhukhan     *pde = (1ULL << 19) | (1ULL << 7) | 0x27;
788ad879127SKrish Sadhukhan }
789ad879127SKrish Sadhukhan 
790ad879127SKrish Sadhukhan static bool npt_rsvd_check(struct svm_test *test)
791ad879127SKrish Sadhukhan {
792ad879127SKrish Sadhukhan     u64 *pde = npt_get_pde((u64) null_test);
793ad879127SKrish Sadhukhan 
794ad879127SKrish Sadhukhan     *pde = save_pde;
795ad879127SKrish Sadhukhan 
796096cf7feSPaolo Bonzini     return (vmcb->control.exit_code == SVM_EXIT_NPF)
797096cf7feSPaolo Bonzini             && (vmcb->control.exit_info_1 == 0x10000001dULL);
798ad879127SKrish Sadhukhan }
799ad879127SKrish Sadhukhan 
800ad879127SKrish Sadhukhan static void npt_rw_prepare(struct svm_test *test)
801ad879127SKrish Sadhukhan {
802ad879127SKrish Sadhukhan 
803ad879127SKrish Sadhukhan     u64 *pte;
804ad879127SKrish Sadhukhan 
805096cf7feSPaolo Bonzini     vmcb_ident(vmcb);
806ad879127SKrish Sadhukhan     pte = npt_get_pte(0x80000);
807ad879127SKrish Sadhukhan 
808ad879127SKrish Sadhukhan     *pte &= ~(1ULL << 1);
809ad879127SKrish Sadhukhan }
810ad879127SKrish Sadhukhan 
811ad879127SKrish Sadhukhan static void npt_rw_test(struct svm_test *test)
812ad879127SKrish Sadhukhan {
813ad879127SKrish Sadhukhan     u64 *data = (void*)(0x80000);
814ad879127SKrish Sadhukhan 
815ad879127SKrish Sadhukhan     *data = 0;
816ad879127SKrish Sadhukhan }
817ad879127SKrish Sadhukhan 
818ad879127SKrish Sadhukhan static bool npt_rw_check(struct svm_test *test)
819ad879127SKrish Sadhukhan {
820ad879127SKrish Sadhukhan     u64 *pte = npt_get_pte(0x80000);
821ad879127SKrish Sadhukhan 
822ad879127SKrish Sadhukhan     *pte |= (1ULL << 1);
823ad879127SKrish Sadhukhan 
824096cf7feSPaolo Bonzini     return (vmcb->control.exit_code == SVM_EXIT_NPF)
825096cf7feSPaolo Bonzini            && (vmcb->control.exit_info_1 == 0x100000007ULL);
826ad879127SKrish Sadhukhan }
827ad879127SKrish Sadhukhan 
828ad879127SKrish Sadhukhan static void npt_rw_pfwalk_prepare(struct svm_test *test)
829ad879127SKrish Sadhukhan {
830ad879127SKrish Sadhukhan 
831ad879127SKrish Sadhukhan     u64 *pte;
832ad879127SKrish Sadhukhan 
833096cf7feSPaolo Bonzini     vmcb_ident(vmcb);
834ad879127SKrish Sadhukhan     pte = npt_get_pte(read_cr3());
835ad879127SKrish Sadhukhan 
836ad879127SKrish Sadhukhan     *pte &= ~(1ULL << 1);
837ad879127SKrish Sadhukhan }
838ad879127SKrish Sadhukhan 
839ad879127SKrish Sadhukhan static bool npt_rw_pfwalk_check(struct svm_test *test)
840ad879127SKrish Sadhukhan {
841ad879127SKrish Sadhukhan     u64 *pte = npt_get_pte(read_cr3());
842ad879127SKrish Sadhukhan 
843ad879127SKrish Sadhukhan     *pte |= (1ULL << 1);
844ad879127SKrish Sadhukhan 
845096cf7feSPaolo Bonzini     return (vmcb->control.exit_code == SVM_EXIT_NPF)
846a6051f06SNadav Amit            && (vmcb->control.exit_info_1 == 0x200000007ULL)
847096cf7feSPaolo Bonzini 	   && (vmcb->control.exit_info_2 == read_cr3());
848ad879127SKrish Sadhukhan }
849ad879127SKrish Sadhukhan 
850ad879127SKrish Sadhukhan static void npt_rsvd_pfwalk_prepare(struct svm_test *test)
851ad879127SKrish Sadhukhan {
852ad879127SKrish Sadhukhan     u64 *pdpe;
853096cf7feSPaolo Bonzini     vmcb_ident(vmcb);
854ad879127SKrish Sadhukhan 
855c6405e37SNadav Amit     pdpe = npt_get_pml4e();
856ad879127SKrish Sadhukhan     pdpe[0] |= (1ULL << 8);
857ad879127SKrish Sadhukhan }
858ad879127SKrish Sadhukhan 
859ad879127SKrish Sadhukhan static bool npt_rsvd_pfwalk_check(struct svm_test *test)
860ad879127SKrish Sadhukhan {
861c6405e37SNadav Amit     u64 *pdpe = npt_get_pml4e();
862ad879127SKrish Sadhukhan     pdpe[0] &= ~(1ULL << 8);
863ad879127SKrish Sadhukhan 
864096cf7feSPaolo Bonzini     return (vmcb->control.exit_code == SVM_EXIT_NPF)
865a6051f06SNadav Amit             && (vmcb->control.exit_info_1 == 0x20000000fULL);
866ad879127SKrish Sadhukhan }
867ad879127SKrish Sadhukhan 
868ad879127SKrish Sadhukhan static void npt_l1mmio_prepare(struct svm_test *test)
869ad879127SKrish Sadhukhan {
870096cf7feSPaolo Bonzini     vmcb_ident(vmcb);
871ad879127SKrish Sadhukhan }
872ad879127SKrish Sadhukhan 
873ad879127SKrish Sadhukhan u32 nested_apic_version1;
874ad879127SKrish Sadhukhan u32 nested_apic_version2;
875ad879127SKrish Sadhukhan 
876ad879127SKrish Sadhukhan static void npt_l1mmio_test(struct svm_test *test)
877ad879127SKrish Sadhukhan {
878ad879127SKrish Sadhukhan     volatile u32 *data = (volatile void*)(0xfee00030UL);
879ad879127SKrish Sadhukhan 
880ad879127SKrish Sadhukhan     nested_apic_version1 = *data;
881ad879127SKrish Sadhukhan     nested_apic_version2 = *data;
882ad879127SKrish Sadhukhan }
883ad879127SKrish Sadhukhan 
884ad879127SKrish Sadhukhan static bool npt_l1mmio_check(struct svm_test *test)
885ad879127SKrish Sadhukhan {
886ad879127SKrish Sadhukhan     volatile u32 *data = (volatile void*)(0xfee00030);
887ad879127SKrish Sadhukhan     u32 lvr = *data;
888ad879127SKrish Sadhukhan 
889ad879127SKrish Sadhukhan     return nested_apic_version1 == lvr && nested_apic_version2 == lvr;
890ad879127SKrish Sadhukhan }
891ad879127SKrish Sadhukhan 
892ad879127SKrish Sadhukhan static void npt_rw_l1mmio_prepare(struct svm_test *test)
893ad879127SKrish Sadhukhan {
894ad879127SKrish Sadhukhan 
895ad879127SKrish Sadhukhan     u64 *pte;
896ad879127SKrish Sadhukhan 
897096cf7feSPaolo Bonzini     vmcb_ident(vmcb);
898ad879127SKrish Sadhukhan     pte = npt_get_pte(0xfee00080);
899ad879127SKrish Sadhukhan 
900ad879127SKrish Sadhukhan     *pte &= ~(1ULL << 1);
901ad879127SKrish Sadhukhan }
902ad879127SKrish Sadhukhan 
903ad879127SKrish Sadhukhan static void npt_rw_l1mmio_test(struct svm_test *test)
904ad879127SKrish Sadhukhan {
905ad879127SKrish Sadhukhan     volatile u32 *data = (volatile void*)(0xfee00080);
906ad879127SKrish Sadhukhan 
907ad879127SKrish Sadhukhan     *data = *data;
908ad879127SKrish Sadhukhan }
909ad879127SKrish Sadhukhan 
910ad879127SKrish Sadhukhan static bool npt_rw_l1mmio_check(struct svm_test *test)
911ad879127SKrish Sadhukhan {
912ad879127SKrish Sadhukhan     u64 *pte = npt_get_pte(0xfee00080);
913ad879127SKrish Sadhukhan 
914ad879127SKrish Sadhukhan     *pte |= (1ULL << 1);
915ad879127SKrish Sadhukhan 
916096cf7feSPaolo Bonzini     return (vmcb->control.exit_code == SVM_EXIT_NPF)
917096cf7feSPaolo Bonzini            && (vmcb->control.exit_info_1 == 0x100000007ULL);
918ad879127SKrish Sadhukhan }
919ad879127SKrish Sadhukhan 
920ad879127SKrish Sadhukhan #define TSC_ADJUST_VALUE    (1ll << 32)
921f3154609SBill Wendling #define TSC_OFFSET_VALUE    (~0ull << 48)
922ad879127SKrish Sadhukhan static bool ok;
923ad879127SKrish Sadhukhan 
92410a65fc4SNadav Amit static bool tsc_adjust_supported(void)
92510a65fc4SNadav Amit {
92610a65fc4SNadav Amit     return this_cpu_has(X86_FEATURE_TSC_ADJUST);
92710a65fc4SNadav Amit }
92810a65fc4SNadav Amit 
929ad879127SKrish Sadhukhan static void tsc_adjust_prepare(struct svm_test *test)
930ad879127SKrish Sadhukhan {
931ad879127SKrish Sadhukhan     default_prepare(test);
932096cf7feSPaolo Bonzini     vmcb->control.tsc_offset = TSC_OFFSET_VALUE;
933ad879127SKrish Sadhukhan 
934ad879127SKrish Sadhukhan     wrmsr(MSR_IA32_TSC_ADJUST, -TSC_ADJUST_VALUE);
935ad879127SKrish Sadhukhan     int64_t adjust = rdmsr(MSR_IA32_TSC_ADJUST);
936ad879127SKrish Sadhukhan     ok = adjust == -TSC_ADJUST_VALUE;
937ad879127SKrish Sadhukhan }
938ad879127SKrish Sadhukhan 
939ad879127SKrish Sadhukhan static void tsc_adjust_test(struct svm_test *test)
940ad879127SKrish Sadhukhan {
941ad879127SKrish Sadhukhan     int64_t adjust = rdmsr(MSR_IA32_TSC_ADJUST);
942ad879127SKrish Sadhukhan     ok &= adjust == -TSC_ADJUST_VALUE;
943ad879127SKrish Sadhukhan 
944ad879127SKrish Sadhukhan     uint64_t l1_tsc = rdtsc() - TSC_OFFSET_VALUE;
945ad879127SKrish Sadhukhan     wrmsr(MSR_IA32_TSC, l1_tsc - TSC_ADJUST_VALUE);
946ad879127SKrish Sadhukhan 
947ad879127SKrish Sadhukhan     adjust = rdmsr(MSR_IA32_TSC_ADJUST);
948ad879127SKrish Sadhukhan     ok &= adjust <= -2 * TSC_ADJUST_VALUE;
949ad879127SKrish Sadhukhan 
950ad879127SKrish Sadhukhan     uint64_t l1_tsc_end = rdtsc() - TSC_OFFSET_VALUE;
951ad879127SKrish Sadhukhan     ok &= (l1_tsc_end + TSC_ADJUST_VALUE - l1_tsc) < TSC_ADJUST_VALUE;
952ad879127SKrish Sadhukhan 
953ad879127SKrish Sadhukhan     uint64_t l1_tsc_msr = rdmsr(MSR_IA32_TSC) - TSC_OFFSET_VALUE;
954ad879127SKrish Sadhukhan     ok &= (l1_tsc_msr + TSC_ADJUST_VALUE - l1_tsc) < TSC_ADJUST_VALUE;
955ad879127SKrish Sadhukhan }
956ad879127SKrish Sadhukhan 
957ad879127SKrish Sadhukhan static bool tsc_adjust_check(struct svm_test *test)
958ad879127SKrish Sadhukhan {
959ad879127SKrish Sadhukhan     int64_t adjust = rdmsr(MSR_IA32_TSC_ADJUST);
960ad879127SKrish Sadhukhan 
961ad879127SKrish Sadhukhan     wrmsr(MSR_IA32_TSC_ADJUST, 0);
962ad879127SKrish Sadhukhan     return ok && adjust <= -2 * TSC_ADJUST_VALUE;
963ad879127SKrish Sadhukhan }
964ad879127SKrish Sadhukhan 
965ad879127SKrish Sadhukhan static void latency_prepare(struct svm_test *test)
966ad879127SKrish Sadhukhan {
967ad879127SKrish Sadhukhan     default_prepare(test);
968ad879127SKrish Sadhukhan     runs = LATENCY_RUNS;
969ad879127SKrish Sadhukhan     latvmrun_min = latvmexit_min = -1ULL;
970ad879127SKrish Sadhukhan     latvmrun_max = latvmexit_max = 0;
971ad879127SKrish Sadhukhan     vmrun_sum = vmexit_sum = 0;
972ad879127SKrish Sadhukhan     tsc_start = rdtsc();
973ad879127SKrish Sadhukhan }
974ad879127SKrish Sadhukhan 
975ad879127SKrish Sadhukhan static void latency_test(struct svm_test *test)
976ad879127SKrish Sadhukhan {
977ad879127SKrish Sadhukhan     u64 cycles;
978ad879127SKrish Sadhukhan 
979ad879127SKrish Sadhukhan start:
980ad879127SKrish Sadhukhan     tsc_end = rdtsc();
981ad879127SKrish Sadhukhan 
982ad879127SKrish Sadhukhan     cycles = tsc_end - tsc_start;
983ad879127SKrish Sadhukhan 
984ad879127SKrish Sadhukhan     if (cycles > latvmrun_max)
985ad879127SKrish Sadhukhan         latvmrun_max = cycles;
986ad879127SKrish Sadhukhan 
987ad879127SKrish Sadhukhan     if (cycles < latvmrun_min)
988ad879127SKrish Sadhukhan         latvmrun_min = cycles;
989ad879127SKrish Sadhukhan 
990ad879127SKrish Sadhukhan     vmrun_sum += cycles;
991ad879127SKrish Sadhukhan 
992ad879127SKrish Sadhukhan     tsc_start = rdtsc();
993ad879127SKrish Sadhukhan 
994ad879127SKrish Sadhukhan     asm volatile ("vmmcall" : : : "memory");
995ad879127SKrish Sadhukhan     goto start;
996ad879127SKrish Sadhukhan }
997ad879127SKrish Sadhukhan 
998ad879127SKrish Sadhukhan static bool latency_finished(struct svm_test *test)
999ad879127SKrish Sadhukhan {
1000ad879127SKrish Sadhukhan     u64 cycles;
1001ad879127SKrish Sadhukhan 
1002ad879127SKrish Sadhukhan     tsc_end = rdtsc();
1003ad879127SKrish Sadhukhan 
1004ad879127SKrish Sadhukhan     cycles = tsc_end - tsc_start;
1005ad879127SKrish Sadhukhan 
1006ad879127SKrish Sadhukhan     if (cycles > latvmexit_max)
1007ad879127SKrish Sadhukhan         latvmexit_max = cycles;
1008ad879127SKrish Sadhukhan 
1009ad879127SKrish Sadhukhan     if (cycles < latvmexit_min)
1010ad879127SKrish Sadhukhan         latvmexit_min = cycles;
1011ad879127SKrish Sadhukhan 
1012ad879127SKrish Sadhukhan     vmexit_sum += cycles;
1013ad879127SKrish Sadhukhan 
1014096cf7feSPaolo Bonzini     vmcb->save.rip += 3;
1015ad879127SKrish Sadhukhan 
1016ad879127SKrish Sadhukhan     runs -= 1;
1017ad879127SKrish Sadhukhan 
1018ad879127SKrish Sadhukhan     tsc_end = rdtsc();
1019ad879127SKrish Sadhukhan 
1020ad879127SKrish Sadhukhan     return runs == 0;
1021ad879127SKrish Sadhukhan }
1022ad879127SKrish Sadhukhan 
1023f7fa53dcSPaolo Bonzini static bool latency_finished_clean(struct svm_test *test)
1024f7fa53dcSPaolo Bonzini {
1025f7fa53dcSPaolo Bonzini     vmcb->control.clean = VMCB_CLEAN_ALL;
1026f7fa53dcSPaolo Bonzini     return latency_finished(test);
1027f7fa53dcSPaolo Bonzini }
1028f7fa53dcSPaolo Bonzini 
1029ad879127SKrish Sadhukhan static bool latency_check(struct svm_test *test)
1030ad879127SKrish Sadhukhan {
1031ad879127SKrish Sadhukhan     printf("    Latency VMRUN : max: %ld min: %ld avg: %ld\n", latvmrun_max,
1032ad879127SKrish Sadhukhan             latvmrun_min, vmrun_sum / LATENCY_RUNS);
1033ad879127SKrish Sadhukhan     printf("    Latency VMEXIT: max: %ld min: %ld avg: %ld\n", latvmexit_max,
1034ad879127SKrish Sadhukhan             latvmexit_min, vmexit_sum / LATENCY_RUNS);
1035ad879127SKrish Sadhukhan     return true;
1036ad879127SKrish Sadhukhan }
1037ad879127SKrish Sadhukhan 
1038ad879127SKrish Sadhukhan static void lat_svm_insn_prepare(struct svm_test *test)
1039ad879127SKrish Sadhukhan {
1040ad879127SKrish Sadhukhan     default_prepare(test);
1041ad879127SKrish Sadhukhan     runs = LATENCY_RUNS;
1042ad879127SKrish Sadhukhan     latvmload_min = latvmsave_min = latstgi_min = latclgi_min = -1ULL;
1043ad879127SKrish Sadhukhan     latvmload_max = latvmsave_max = latstgi_max = latclgi_max = 0;
1044ad879127SKrish Sadhukhan     vmload_sum = vmsave_sum = stgi_sum = clgi_sum;
1045ad879127SKrish Sadhukhan }
1046ad879127SKrish Sadhukhan 
1047ad879127SKrish Sadhukhan static bool lat_svm_insn_finished(struct svm_test *test)
1048ad879127SKrish Sadhukhan {
1049096cf7feSPaolo Bonzini     u64 vmcb_phys = virt_to_phys(vmcb);
1050ad879127SKrish Sadhukhan     u64 cycles;
1051ad879127SKrish Sadhukhan 
1052ad879127SKrish Sadhukhan     for ( ; runs != 0; runs--) {
1053ad879127SKrish Sadhukhan         tsc_start = rdtsc();
1054ad879127SKrish Sadhukhan         asm volatile("vmload %0\n\t" : : "a"(vmcb_phys) : "memory");
1055ad879127SKrish Sadhukhan         cycles = rdtsc() - tsc_start;
1056ad879127SKrish Sadhukhan         if (cycles > latvmload_max)
1057ad879127SKrish Sadhukhan             latvmload_max = cycles;
1058ad879127SKrish Sadhukhan         if (cycles < latvmload_min)
1059ad879127SKrish Sadhukhan             latvmload_min = cycles;
1060ad879127SKrish Sadhukhan         vmload_sum += cycles;
1061ad879127SKrish Sadhukhan 
1062ad879127SKrish Sadhukhan         tsc_start = rdtsc();
1063ad879127SKrish Sadhukhan         asm volatile("vmsave %0\n\t" : : "a"(vmcb_phys) : "memory");
1064ad879127SKrish Sadhukhan         cycles = rdtsc() - tsc_start;
1065ad879127SKrish Sadhukhan         if (cycles > latvmsave_max)
1066ad879127SKrish Sadhukhan             latvmsave_max = cycles;
1067ad879127SKrish Sadhukhan         if (cycles < latvmsave_min)
1068ad879127SKrish Sadhukhan             latvmsave_min = cycles;
1069ad879127SKrish Sadhukhan         vmsave_sum += cycles;
1070ad879127SKrish Sadhukhan 
1071ad879127SKrish Sadhukhan         tsc_start = rdtsc();
1072ad879127SKrish Sadhukhan         asm volatile("stgi\n\t");
1073ad879127SKrish Sadhukhan         cycles = rdtsc() - tsc_start;
1074ad879127SKrish Sadhukhan         if (cycles > latstgi_max)
1075ad879127SKrish Sadhukhan             latstgi_max = cycles;
1076ad879127SKrish Sadhukhan         if (cycles < latstgi_min)
1077ad879127SKrish Sadhukhan             latstgi_min = cycles;
1078ad879127SKrish Sadhukhan         stgi_sum += cycles;
1079ad879127SKrish Sadhukhan 
1080ad879127SKrish Sadhukhan         tsc_start = rdtsc();
1081ad879127SKrish Sadhukhan         asm volatile("clgi\n\t");
1082ad879127SKrish Sadhukhan         cycles = rdtsc() - tsc_start;
1083ad879127SKrish Sadhukhan         if (cycles > latclgi_max)
1084ad879127SKrish Sadhukhan             latclgi_max = cycles;
1085ad879127SKrish Sadhukhan         if (cycles < latclgi_min)
1086ad879127SKrish Sadhukhan             latclgi_min = cycles;
1087ad879127SKrish Sadhukhan         clgi_sum += cycles;
1088ad879127SKrish Sadhukhan     }
1089ad879127SKrish Sadhukhan 
1090ad879127SKrish Sadhukhan     tsc_end = rdtsc();
1091ad879127SKrish Sadhukhan 
1092ad879127SKrish Sadhukhan     return true;
1093ad879127SKrish Sadhukhan }
1094ad879127SKrish Sadhukhan 
1095ad879127SKrish Sadhukhan static bool lat_svm_insn_check(struct svm_test *test)
1096ad879127SKrish Sadhukhan {
1097ad879127SKrish Sadhukhan     printf("    Latency VMLOAD: max: %ld min: %ld avg: %ld\n", latvmload_max,
1098ad879127SKrish Sadhukhan             latvmload_min, vmload_sum / LATENCY_RUNS);
1099ad879127SKrish Sadhukhan     printf("    Latency VMSAVE: max: %ld min: %ld avg: %ld\n", latvmsave_max,
1100ad879127SKrish Sadhukhan             latvmsave_min, vmsave_sum / LATENCY_RUNS);
1101ad879127SKrish Sadhukhan     printf("    Latency STGI:   max: %ld min: %ld avg: %ld\n", latstgi_max,
1102ad879127SKrish Sadhukhan             latstgi_min, stgi_sum / LATENCY_RUNS);
1103ad879127SKrish Sadhukhan     printf("    Latency CLGI:   max: %ld min: %ld avg: %ld\n", latclgi_max,
1104ad879127SKrish Sadhukhan             latclgi_min, clgi_sum / LATENCY_RUNS);
1105ad879127SKrish Sadhukhan     return true;
1106ad879127SKrish Sadhukhan }
1107ad879127SKrish Sadhukhan 
1108ad879127SKrish Sadhukhan bool pending_event_ipi_fired;
1109ad879127SKrish Sadhukhan bool pending_event_guest_run;
1110ad879127SKrish Sadhukhan 
1111ad879127SKrish Sadhukhan static void pending_event_ipi_isr(isr_regs_t *regs)
1112ad879127SKrish Sadhukhan {
1113ad879127SKrish Sadhukhan     pending_event_ipi_fired = true;
1114ad879127SKrish Sadhukhan     eoi();
1115ad879127SKrish Sadhukhan }
1116ad879127SKrish Sadhukhan 
1117ad879127SKrish Sadhukhan static void pending_event_prepare(struct svm_test *test)
1118ad879127SKrish Sadhukhan {
1119ad879127SKrish Sadhukhan     int ipi_vector = 0xf1;
1120ad879127SKrish Sadhukhan 
1121ad879127SKrish Sadhukhan     default_prepare(test);
1122ad879127SKrish Sadhukhan 
1123ad879127SKrish Sadhukhan     pending_event_ipi_fired = false;
1124ad879127SKrish Sadhukhan 
1125ad879127SKrish Sadhukhan     handle_irq(ipi_vector, pending_event_ipi_isr);
1126ad879127SKrish Sadhukhan 
1127ad879127SKrish Sadhukhan     pending_event_guest_run = false;
1128ad879127SKrish Sadhukhan 
1129096cf7feSPaolo Bonzini     vmcb->control.intercept |= (1ULL << INTERCEPT_INTR);
1130096cf7feSPaolo Bonzini     vmcb->control.int_ctl |= V_INTR_MASKING_MASK;
1131ad879127SKrish Sadhukhan 
1132ad879127SKrish Sadhukhan     apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL |
1133ad879127SKrish Sadhukhan                   APIC_DM_FIXED | ipi_vector, 0);
1134ad879127SKrish Sadhukhan 
1135ad879127SKrish Sadhukhan     set_test_stage(test, 0);
1136ad879127SKrish Sadhukhan }
1137ad879127SKrish Sadhukhan 
1138ad879127SKrish Sadhukhan static void pending_event_test(struct svm_test *test)
1139ad879127SKrish Sadhukhan {
1140ad879127SKrish Sadhukhan     pending_event_guest_run = true;
1141ad879127SKrish Sadhukhan }
1142ad879127SKrish Sadhukhan 
1143ad879127SKrish Sadhukhan static bool pending_event_finished(struct svm_test *test)
1144ad879127SKrish Sadhukhan {
1145ad879127SKrish Sadhukhan     switch (get_test_stage(test)) {
1146ad879127SKrish Sadhukhan     case 0:
1147096cf7feSPaolo Bonzini         if (vmcb->control.exit_code != SVM_EXIT_INTR) {
1148ad879127SKrish Sadhukhan             report(false, "VMEXIT not due to pending interrupt. Exit reason 0x%x",
1149096cf7feSPaolo Bonzini                    vmcb->control.exit_code);
1150ad879127SKrish Sadhukhan             return true;
1151ad879127SKrish Sadhukhan         }
1152ad879127SKrish Sadhukhan 
1153096cf7feSPaolo Bonzini         vmcb->control.intercept &= ~(1ULL << INTERCEPT_INTR);
1154096cf7feSPaolo Bonzini         vmcb->control.int_ctl &= ~V_INTR_MASKING_MASK;
1155ad879127SKrish Sadhukhan 
1156ad879127SKrish Sadhukhan         if (pending_event_guest_run) {
1157ad879127SKrish Sadhukhan             report(false, "Guest ran before host received IPI\n");
1158ad879127SKrish Sadhukhan             return true;
1159ad879127SKrish Sadhukhan         }
1160ad879127SKrish Sadhukhan 
1161ad879127SKrish Sadhukhan         irq_enable();
1162ad879127SKrish Sadhukhan         asm volatile ("nop");
1163ad879127SKrish Sadhukhan         irq_disable();
1164ad879127SKrish Sadhukhan 
1165ad879127SKrish Sadhukhan         if (!pending_event_ipi_fired) {
1166ad879127SKrish Sadhukhan             report(false, "Pending interrupt not dispatched after IRQ enabled\n");
1167ad879127SKrish Sadhukhan             return true;
1168ad879127SKrish Sadhukhan         }
1169ad879127SKrish Sadhukhan         break;
1170ad879127SKrish Sadhukhan 
1171ad879127SKrish Sadhukhan     case 1:
1172ad879127SKrish Sadhukhan         if (!pending_event_guest_run) {
1173ad879127SKrish Sadhukhan             report(false, "Guest did not resume when no interrupt\n");
1174ad879127SKrish Sadhukhan             return true;
1175ad879127SKrish Sadhukhan         }
1176ad879127SKrish Sadhukhan         break;
1177ad879127SKrish Sadhukhan     }
1178ad879127SKrish Sadhukhan 
1179ad879127SKrish Sadhukhan     inc_test_stage(test);
1180ad879127SKrish Sadhukhan 
1181ad879127SKrish Sadhukhan     return get_test_stage(test) == 2;
1182ad879127SKrish Sadhukhan }
1183ad879127SKrish Sadhukhan 
1184ad879127SKrish Sadhukhan static bool pending_event_check(struct svm_test *test)
1185ad879127SKrish Sadhukhan {
1186ad879127SKrish Sadhukhan     return get_test_stage(test) == 2;
1187ad879127SKrish Sadhukhan }
1188ad879127SKrish Sadhukhan 
118985dc2aceSPaolo Bonzini static void pending_event_cli_prepare(struct svm_test *test)
1190ad879127SKrish Sadhukhan {
1191ad879127SKrish Sadhukhan     default_prepare(test);
1192ad879127SKrish Sadhukhan 
1193ad879127SKrish Sadhukhan     pending_event_ipi_fired = false;
1194ad879127SKrish Sadhukhan 
1195ad879127SKrish Sadhukhan     handle_irq(0xf1, pending_event_ipi_isr);
1196ad879127SKrish Sadhukhan 
1197ad879127SKrish Sadhukhan     apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL |
1198ad879127SKrish Sadhukhan               APIC_DM_FIXED | 0xf1, 0);
1199ad879127SKrish Sadhukhan 
1200ad879127SKrish Sadhukhan     set_test_stage(test, 0);
1201ad879127SKrish Sadhukhan }
1202ad879127SKrish Sadhukhan 
120385dc2aceSPaolo Bonzini static void pending_event_cli_prepare_gif_clear(struct svm_test *test)
1204ad879127SKrish Sadhukhan {
1205ad879127SKrish Sadhukhan     asm("cli");
1206ad879127SKrish Sadhukhan }
1207ad879127SKrish Sadhukhan 
120885dc2aceSPaolo Bonzini static void pending_event_cli_test(struct svm_test *test)
1209ad879127SKrish Sadhukhan {
1210ad879127SKrish Sadhukhan     if (pending_event_ipi_fired == true) {
1211ad879127SKrish Sadhukhan         set_test_stage(test, -1);
1212ad879127SKrish Sadhukhan         report(false, "Interrupt preceeded guest");
1213ad879127SKrish Sadhukhan         vmmcall();
1214ad879127SKrish Sadhukhan     }
1215ad879127SKrish Sadhukhan 
121685dc2aceSPaolo Bonzini     /* VINTR_MASKING is zero.  This should cause the IPI to fire.  */
1217ad879127SKrish Sadhukhan     irq_enable();
1218ad879127SKrish Sadhukhan     asm volatile ("nop");
1219ad879127SKrish Sadhukhan     irq_disable();
1220ad879127SKrish Sadhukhan 
1221ad879127SKrish Sadhukhan     if (pending_event_ipi_fired != true) {
1222ad879127SKrish Sadhukhan         set_test_stage(test, -1);
1223ad879127SKrish Sadhukhan         report(false, "Interrupt not triggered by guest");
1224ad879127SKrish Sadhukhan     }
1225ad879127SKrish Sadhukhan 
1226ad879127SKrish Sadhukhan     vmmcall();
1227ad879127SKrish Sadhukhan 
122885dc2aceSPaolo Bonzini     /*
122985dc2aceSPaolo Bonzini      * Now VINTR_MASKING=1, but no interrupt is pending so
123085dc2aceSPaolo Bonzini      * the VINTR interception should be clear in VMCB02.  Check
123185dc2aceSPaolo Bonzini      * that L0 did not leave a stale VINTR in the VMCB.
123285dc2aceSPaolo Bonzini      */
1233ad879127SKrish Sadhukhan     irq_enable();
1234ad879127SKrish Sadhukhan     asm volatile ("nop");
1235ad879127SKrish Sadhukhan     irq_disable();
1236ad879127SKrish Sadhukhan }
1237ad879127SKrish Sadhukhan 
123885dc2aceSPaolo Bonzini static bool pending_event_cli_finished(struct svm_test *test)
1239ad879127SKrish Sadhukhan {
1240096cf7feSPaolo Bonzini     if ( vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
1241ad879127SKrish Sadhukhan         report(false, "VM_EXIT return to host is not EXIT_VMMCALL exit reason 0x%x",
1242096cf7feSPaolo Bonzini                vmcb->control.exit_code);
1243ad879127SKrish Sadhukhan         return true;
1244ad879127SKrish Sadhukhan     }
1245ad879127SKrish Sadhukhan 
1246ad879127SKrish Sadhukhan     switch (get_test_stage(test)) {
1247ad879127SKrish Sadhukhan     case 0:
1248096cf7feSPaolo Bonzini         vmcb->save.rip += 3;
1249ad879127SKrish Sadhukhan 
1250ad879127SKrish Sadhukhan         pending_event_ipi_fired = false;
1251ad879127SKrish Sadhukhan 
1252096cf7feSPaolo Bonzini         vmcb->control.int_ctl |= V_INTR_MASKING_MASK;
1253ad879127SKrish Sadhukhan 
125485dc2aceSPaolo Bonzini 	/* Now entering again with VINTR_MASKING=1.  */
1255ad879127SKrish Sadhukhan         apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL |
1256ad879127SKrish Sadhukhan               APIC_DM_FIXED | 0xf1, 0);
1257ad879127SKrish Sadhukhan 
1258ad879127SKrish Sadhukhan         break;
1259ad879127SKrish Sadhukhan 
1260ad879127SKrish Sadhukhan     case 1:
1261ad879127SKrish Sadhukhan         if (pending_event_ipi_fired == true) {
1262ad879127SKrish Sadhukhan             report(false, "Interrupt triggered by guest");
1263ad879127SKrish Sadhukhan             return true;
1264ad879127SKrish Sadhukhan         }
1265ad879127SKrish Sadhukhan 
1266ad879127SKrish Sadhukhan         irq_enable();
1267ad879127SKrish Sadhukhan         asm volatile ("nop");
1268ad879127SKrish Sadhukhan         irq_disable();
1269ad879127SKrish Sadhukhan 
1270ad879127SKrish Sadhukhan         if (pending_event_ipi_fired != true) {
1271ad879127SKrish Sadhukhan             report(false, "Interrupt not triggered by host");
1272ad879127SKrish Sadhukhan             return true;
1273ad879127SKrish Sadhukhan         }
1274ad879127SKrish Sadhukhan 
1275ad879127SKrish Sadhukhan         break;
1276ad879127SKrish Sadhukhan 
1277ad879127SKrish Sadhukhan     default:
1278ad879127SKrish Sadhukhan         return true;
1279ad879127SKrish Sadhukhan     }
1280ad879127SKrish Sadhukhan 
1281ad879127SKrish Sadhukhan     inc_test_stage(test);
1282ad879127SKrish Sadhukhan 
1283ad879127SKrish Sadhukhan     return get_test_stage(test) == 2;
1284ad879127SKrish Sadhukhan }
1285ad879127SKrish Sadhukhan 
128685dc2aceSPaolo Bonzini static bool pending_event_cli_check(struct svm_test *test)
1287ad879127SKrish Sadhukhan {
1288ad879127SKrish Sadhukhan     return get_test_stage(test) == 2;
1289ad879127SKrish Sadhukhan }
1290ad879127SKrish Sadhukhan 
129185dc2aceSPaolo Bonzini #define TIMER_VECTOR    222
129285dc2aceSPaolo Bonzini 
129385dc2aceSPaolo Bonzini static volatile bool timer_fired;
129485dc2aceSPaolo Bonzini 
129585dc2aceSPaolo Bonzini static void timer_isr(isr_regs_t *regs)
129685dc2aceSPaolo Bonzini {
129785dc2aceSPaolo Bonzini     timer_fired = true;
129885dc2aceSPaolo Bonzini     apic_write(APIC_EOI, 0);
129985dc2aceSPaolo Bonzini }
130085dc2aceSPaolo Bonzini 
130185dc2aceSPaolo Bonzini static void interrupt_prepare(struct svm_test *test)
130285dc2aceSPaolo Bonzini {
130385dc2aceSPaolo Bonzini     default_prepare(test);
130485dc2aceSPaolo Bonzini     handle_irq(TIMER_VECTOR, timer_isr);
130585dc2aceSPaolo Bonzini     timer_fired = false;
130685dc2aceSPaolo Bonzini     set_test_stage(test, 0);
130785dc2aceSPaolo Bonzini }
130885dc2aceSPaolo Bonzini 
130985dc2aceSPaolo Bonzini static void interrupt_test(struct svm_test *test)
131085dc2aceSPaolo Bonzini {
131185dc2aceSPaolo Bonzini     long long start, loops;
131285dc2aceSPaolo Bonzini 
131385dc2aceSPaolo Bonzini     apic_write(APIC_LVTT, TIMER_VECTOR);
131485dc2aceSPaolo Bonzini     irq_enable();
131585dc2aceSPaolo Bonzini     apic_write(APIC_TMICT, 1); //Timer Initial Count Register 0x380 one-shot
131685dc2aceSPaolo Bonzini     for (loops = 0; loops < 10000000 && !timer_fired; loops++)
131785dc2aceSPaolo Bonzini         asm volatile ("nop");
131885dc2aceSPaolo Bonzini 
131985dc2aceSPaolo Bonzini     report(timer_fired, "direct interrupt while running guest");
132085dc2aceSPaolo Bonzini 
132185dc2aceSPaolo Bonzini     if (!timer_fired) {
132285dc2aceSPaolo Bonzini         set_test_stage(test, -1);
132385dc2aceSPaolo Bonzini         vmmcall();
132485dc2aceSPaolo Bonzini     }
132585dc2aceSPaolo Bonzini 
132685dc2aceSPaolo Bonzini     apic_write(APIC_TMICT, 0);
132785dc2aceSPaolo Bonzini     irq_disable();
132885dc2aceSPaolo Bonzini     vmmcall();
132985dc2aceSPaolo Bonzini 
133085dc2aceSPaolo Bonzini     timer_fired = false;
133185dc2aceSPaolo Bonzini     apic_write(APIC_TMICT, 1);
133285dc2aceSPaolo Bonzini     for (loops = 0; loops < 10000000 && !timer_fired; loops++)
133385dc2aceSPaolo Bonzini         asm volatile ("nop");
133485dc2aceSPaolo Bonzini 
133585dc2aceSPaolo Bonzini     report(timer_fired, "intercepted interrupt while running guest");
133685dc2aceSPaolo Bonzini 
133785dc2aceSPaolo Bonzini     if (!timer_fired) {
133885dc2aceSPaolo Bonzini         set_test_stage(test, -1);
133985dc2aceSPaolo Bonzini         vmmcall();
134085dc2aceSPaolo Bonzini     }
134185dc2aceSPaolo Bonzini 
134285dc2aceSPaolo Bonzini     irq_enable();
134385dc2aceSPaolo Bonzini     apic_write(APIC_TMICT, 0);
134485dc2aceSPaolo Bonzini     irq_disable();
134585dc2aceSPaolo Bonzini 
134685dc2aceSPaolo Bonzini     timer_fired = false;
134785dc2aceSPaolo Bonzini     start = rdtsc();
134885dc2aceSPaolo Bonzini     apic_write(APIC_TMICT, 1000000);
134985dc2aceSPaolo Bonzini     asm volatile ("sti; hlt");
135085dc2aceSPaolo Bonzini 
135185dc2aceSPaolo Bonzini     report(rdtsc() - start > 10000 && timer_fired,
135285dc2aceSPaolo Bonzini           "direct interrupt + hlt");
135385dc2aceSPaolo Bonzini 
135485dc2aceSPaolo Bonzini     if (!timer_fired) {
135585dc2aceSPaolo Bonzini         set_test_stage(test, -1);
135685dc2aceSPaolo Bonzini         vmmcall();
135785dc2aceSPaolo Bonzini     }
135885dc2aceSPaolo Bonzini 
135985dc2aceSPaolo Bonzini     apic_write(APIC_TMICT, 0);
136085dc2aceSPaolo Bonzini     irq_disable();
136185dc2aceSPaolo Bonzini     vmmcall();
136285dc2aceSPaolo Bonzini 
136385dc2aceSPaolo Bonzini     timer_fired = false;
136485dc2aceSPaolo Bonzini     start = rdtsc();
136585dc2aceSPaolo Bonzini     apic_write(APIC_TMICT, 1000000);
136685dc2aceSPaolo Bonzini     asm volatile ("hlt");
136785dc2aceSPaolo Bonzini 
136885dc2aceSPaolo Bonzini     report(rdtsc() - start > 10000 && timer_fired,
136985dc2aceSPaolo Bonzini            "intercepted interrupt + hlt");
137085dc2aceSPaolo Bonzini 
137185dc2aceSPaolo Bonzini     if (!timer_fired) {
137285dc2aceSPaolo Bonzini         set_test_stage(test, -1);
137385dc2aceSPaolo Bonzini         vmmcall();
137485dc2aceSPaolo Bonzini     }
137585dc2aceSPaolo Bonzini 
137685dc2aceSPaolo Bonzini     apic_write(APIC_TMICT, 0);
137785dc2aceSPaolo Bonzini     irq_disable();
137885dc2aceSPaolo Bonzini }
137985dc2aceSPaolo Bonzini 
138085dc2aceSPaolo Bonzini static bool interrupt_finished(struct svm_test *test)
138185dc2aceSPaolo Bonzini {
138285dc2aceSPaolo Bonzini     switch (get_test_stage(test)) {
138385dc2aceSPaolo Bonzini     case 0:
138485dc2aceSPaolo Bonzini     case 2:
1385096cf7feSPaolo Bonzini         if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
138685dc2aceSPaolo Bonzini             report(false, "VMEXIT not due to vmmcall. Exit reason 0x%x",
1387096cf7feSPaolo Bonzini                    vmcb->control.exit_code);
138885dc2aceSPaolo Bonzini             return true;
138985dc2aceSPaolo Bonzini         }
1390096cf7feSPaolo Bonzini         vmcb->save.rip += 3;
139185dc2aceSPaolo Bonzini 
1392096cf7feSPaolo Bonzini         vmcb->control.intercept |= (1ULL << INTERCEPT_INTR);
1393096cf7feSPaolo Bonzini         vmcb->control.int_ctl |= V_INTR_MASKING_MASK;
139485dc2aceSPaolo Bonzini         break;
139585dc2aceSPaolo Bonzini 
139685dc2aceSPaolo Bonzini     case 1:
139785dc2aceSPaolo Bonzini     case 3:
1398096cf7feSPaolo Bonzini         if (vmcb->control.exit_code != SVM_EXIT_INTR) {
139985dc2aceSPaolo Bonzini             report(false, "VMEXIT not due to intr intercept. Exit reason 0x%x",
1400096cf7feSPaolo Bonzini                    vmcb->control.exit_code);
140185dc2aceSPaolo Bonzini             return true;
140285dc2aceSPaolo Bonzini         }
140385dc2aceSPaolo Bonzini 
140485dc2aceSPaolo Bonzini         irq_enable();
140585dc2aceSPaolo Bonzini         asm volatile ("nop");
140685dc2aceSPaolo Bonzini         irq_disable();
140785dc2aceSPaolo Bonzini 
1408096cf7feSPaolo Bonzini         vmcb->control.intercept &= ~(1ULL << INTERCEPT_INTR);
1409096cf7feSPaolo Bonzini         vmcb->control.int_ctl &= ~V_INTR_MASKING_MASK;
141085dc2aceSPaolo Bonzini         break;
141185dc2aceSPaolo Bonzini 
141285dc2aceSPaolo Bonzini     case 4:
141385dc2aceSPaolo Bonzini         break;
141485dc2aceSPaolo Bonzini 
141585dc2aceSPaolo Bonzini     default:
141685dc2aceSPaolo Bonzini         return true;
141785dc2aceSPaolo Bonzini     }
141885dc2aceSPaolo Bonzini 
141985dc2aceSPaolo Bonzini     inc_test_stage(test);
142085dc2aceSPaolo Bonzini 
142185dc2aceSPaolo Bonzini     return get_test_stage(test) == 5;
142285dc2aceSPaolo Bonzini }
142385dc2aceSPaolo Bonzini 
142485dc2aceSPaolo Bonzini static bool interrupt_check(struct svm_test *test)
142585dc2aceSPaolo Bonzini {
142685dc2aceSPaolo Bonzini     return get_test_stage(test) == 5;
142785dc2aceSPaolo Bonzini }
142885dc2aceSPaolo Bonzini 
1429d4db486bSCathy Avery static volatile bool nmi_fired;
1430d4db486bSCathy Avery 
1431d4db486bSCathy Avery static void nmi_handler(isr_regs_t *regs)
1432d4db486bSCathy Avery {
1433d4db486bSCathy Avery     nmi_fired = true;
1434d4db486bSCathy Avery     apic_write(APIC_EOI, 0);
1435d4db486bSCathy Avery }
1436d4db486bSCathy Avery 
1437d4db486bSCathy Avery static void nmi_prepare(struct svm_test *test)
1438d4db486bSCathy Avery {
1439d4db486bSCathy Avery     default_prepare(test);
1440d4db486bSCathy Avery     nmi_fired = false;
1441d4db486bSCathy Avery     handle_irq(NMI_VECTOR, nmi_handler);
1442d4db486bSCathy Avery     set_test_stage(test, 0);
1443d4db486bSCathy Avery }
1444d4db486bSCathy Avery 
1445d4db486bSCathy Avery static void nmi_test(struct svm_test *test)
1446d4db486bSCathy Avery {
1447d4db486bSCathy Avery     apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_NMI | APIC_INT_ASSERT, 0);
1448d4db486bSCathy Avery 
1449d4db486bSCathy Avery     report(nmi_fired, "direct NMI while running guest");
1450d4db486bSCathy Avery 
1451d4db486bSCathy Avery     if (!nmi_fired)
1452d4db486bSCathy Avery         set_test_stage(test, -1);
1453d4db486bSCathy Avery 
1454d4db486bSCathy Avery     vmmcall();
1455d4db486bSCathy Avery 
1456d4db486bSCathy Avery     nmi_fired = false;
1457d4db486bSCathy Avery 
1458d4db486bSCathy Avery     apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_NMI | APIC_INT_ASSERT, 0);
1459d4db486bSCathy Avery 
1460d4db486bSCathy Avery     if (!nmi_fired) {
1461d4db486bSCathy Avery         report(nmi_fired, "intercepted pending NMI not dispatched");
1462d4db486bSCathy Avery         set_test_stage(test, -1);
1463d4db486bSCathy Avery     }
1464d4db486bSCathy Avery 
1465d4db486bSCathy Avery }
1466d4db486bSCathy Avery 
1467d4db486bSCathy Avery static bool nmi_finished(struct svm_test *test)
1468d4db486bSCathy Avery {
1469d4db486bSCathy Avery     switch (get_test_stage(test)) {
1470d4db486bSCathy Avery     case 0:
1471d4db486bSCathy Avery         if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
1472d4db486bSCathy Avery             report(false, "VMEXIT not due to vmmcall. Exit reason 0x%x",
1473d4db486bSCathy Avery                    vmcb->control.exit_code);
1474d4db486bSCathy Avery             return true;
1475d4db486bSCathy Avery         }
1476d4db486bSCathy Avery         vmcb->save.rip += 3;
1477d4db486bSCathy Avery 
1478d4db486bSCathy Avery         vmcb->control.intercept |= (1ULL << INTERCEPT_NMI);
1479d4db486bSCathy Avery         break;
1480d4db486bSCathy Avery 
1481d4db486bSCathy Avery     case 1:
1482d4db486bSCathy Avery         if (vmcb->control.exit_code != SVM_EXIT_NMI) {
1483d4db486bSCathy Avery             report(false, "VMEXIT not due to NMI intercept. Exit reason 0x%x",
1484d4db486bSCathy Avery                    vmcb->control.exit_code);
1485d4db486bSCathy Avery             return true;
1486d4db486bSCathy Avery         }
1487d4db486bSCathy Avery 
1488d4db486bSCathy Avery         report(true, "NMI intercept while running guest");
1489d4db486bSCathy Avery         break;
1490d4db486bSCathy Avery 
1491d4db486bSCathy Avery     case 2:
1492d4db486bSCathy Avery         break;
1493d4db486bSCathy Avery 
1494d4db486bSCathy Avery     default:
1495d4db486bSCathy Avery         return true;
1496d4db486bSCathy Avery     }
1497d4db486bSCathy Avery 
1498d4db486bSCathy Avery     inc_test_stage(test);
1499d4db486bSCathy Avery 
1500d4db486bSCathy Avery     return get_test_stage(test) == 3;
1501d4db486bSCathy Avery }
1502d4db486bSCathy Avery 
1503d4db486bSCathy Avery static bool nmi_check(struct svm_test *test)
1504d4db486bSCathy Avery {
1505d4db486bSCathy Avery     return get_test_stage(test) == 3;
1506d4db486bSCathy Avery }
1507d4db486bSCathy Avery 
15089da1f4d8SCathy Avery #define NMI_DELAY 100000000ULL
15099da1f4d8SCathy Avery 
15109da1f4d8SCathy Avery static void nmi_message_thread(void *_test)
15119da1f4d8SCathy Avery {
15129da1f4d8SCathy Avery     struct svm_test *test = _test;
15139da1f4d8SCathy Avery 
15149da1f4d8SCathy Avery     while (get_test_stage(test) != 1)
15159da1f4d8SCathy Avery         pause();
15169da1f4d8SCathy Avery 
15179da1f4d8SCathy Avery     delay(NMI_DELAY);
15189da1f4d8SCathy Avery 
15199da1f4d8SCathy Avery     apic_icr_write(APIC_DEST_PHYSICAL | APIC_DM_NMI | APIC_INT_ASSERT, id_map[0]);
15209da1f4d8SCathy Avery 
15219da1f4d8SCathy Avery     while (get_test_stage(test) != 2)
15229da1f4d8SCathy Avery         pause();
15239da1f4d8SCathy Avery 
15249da1f4d8SCathy Avery     delay(NMI_DELAY);
15259da1f4d8SCathy Avery 
15269da1f4d8SCathy Avery     apic_icr_write(APIC_DEST_PHYSICAL | APIC_DM_NMI | APIC_INT_ASSERT, id_map[0]);
15279da1f4d8SCathy Avery }
15289da1f4d8SCathy Avery 
15299da1f4d8SCathy Avery static void nmi_hlt_test(struct svm_test *test)
15309da1f4d8SCathy Avery {
15319da1f4d8SCathy Avery     long long start;
15329da1f4d8SCathy Avery 
15339da1f4d8SCathy Avery     on_cpu_async(1, nmi_message_thread, test);
15349da1f4d8SCathy Avery 
15359da1f4d8SCathy Avery     start = rdtsc();
15369da1f4d8SCathy Avery 
15379da1f4d8SCathy Avery     set_test_stage(test, 1);
15389da1f4d8SCathy Avery 
15399da1f4d8SCathy Avery     asm volatile ("hlt");
15409da1f4d8SCathy Avery 
15419da1f4d8SCathy Avery     report((rdtsc() - start > NMI_DELAY) && nmi_fired,
15429da1f4d8SCathy Avery           "direct NMI + hlt");
15439da1f4d8SCathy Avery 
15449da1f4d8SCathy Avery     if (!nmi_fired)
15459da1f4d8SCathy Avery         set_test_stage(test, -1);
15469da1f4d8SCathy Avery 
15479da1f4d8SCathy Avery     nmi_fired = false;
15489da1f4d8SCathy Avery 
15499da1f4d8SCathy Avery     vmmcall();
15509da1f4d8SCathy Avery 
15519da1f4d8SCathy Avery     start = rdtsc();
15529da1f4d8SCathy Avery 
15539da1f4d8SCathy Avery     set_test_stage(test, 2);
15549da1f4d8SCathy Avery 
15559da1f4d8SCathy Avery     asm volatile ("hlt");
15569da1f4d8SCathy Avery 
15579da1f4d8SCathy Avery     report((rdtsc() - start > NMI_DELAY) && nmi_fired,
15589da1f4d8SCathy Avery            "intercepted NMI + hlt");
15599da1f4d8SCathy Avery 
15609da1f4d8SCathy Avery     if (!nmi_fired) {
15619da1f4d8SCathy Avery         report(nmi_fired, "intercepted pending NMI not dispatched");
15629da1f4d8SCathy Avery         set_test_stage(test, -1);
15637e7d9357SCathy Avery         vmmcall();
15649da1f4d8SCathy Avery     }
15659da1f4d8SCathy Avery 
15669da1f4d8SCathy Avery     set_test_stage(test, 3);
15679da1f4d8SCathy Avery }
15689da1f4d8SCathy Avery 
15699da1f4d8SCathy Avery static bool nmi_hlt_finished(struct svm_test *test)
15709da1f4d8SCathy Avery {
15719da1f4d8SCathy Avery     switch (get_test_stage(test)) {
15729da1f4d8SCathy Avery     case 1:
15739da1f4d8SCathy Avery         if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
15749da1f4d8SCathy Avery             report(false, "VMEXIT not due to vmmcall. Exit reason 0x%x",
15759da1f4d8SCathy Avery                    vmcb->control.exit_code);
15769da1f4d8SCathy Avery             return true;
15779da1f4d8SCathy Avery         }
15789da1f4d8SCathy Avery         vmcb->save.rip += 3;
15799da1f4d8SCathy Avery 
15809da1f4d8SCathy Avery         vmcb->control.intercept |= (1ULL << INTERCEPT_NMI);
15819da1f4d8SCathy Avery         break;
15829da1f4d8SCathy Avery 
15839da1f4d8SCathy Avery     case 2:
15849da1f4d8SCathy Avery         if (vmcb->control.exit_code != SVM_EXIT_NMI) {
15859da1f4d8SCathy Avery             report(false, "VMEXIT not due to NMI intercept. Exit reason 0x%x",
15869da1f4d8SCathy Avery                    vmcb->control.exit_code);
15879da1f4d8SCathy Avery             return true;
15889da1f4d8SCathy Avery         }
15899da1f4d8SCathy Avery 
15909da1f4d8SCathy Avery         report(true, "NMI intercept while running guest");
15919da1f4d8SCathy Avery         break;
15929da1f4d8SCathy Avery 
15939da1f4d8SCathy Avery     case 3:
15949da1f4d8SCathy Avery         break;
15959da1f4d8SCathy Avery 
15969da1f4d8SCathy Avery     default:
15979da1f4d8SCathy Avery         return true;
15989da1f4d8SCathy Avery     }
15999da1f4d8SCathy Avery 
16009da1f4d8SCathy Avery     return get_test_stage(test) == 3;
16019da1f4d8SCathy Avery }
16029da1f4d8SCathy Avery 
16039da1f4d8SCathy Avery static bool nmi_hlt_check(struct svm_test *test)
16049da1f4d8SCathy Avery {
16059da1f4d8SCathy Avery     return get_test_stage(test) == 3;
16069da1f4d8SCathy Avery }
16079da1f4d8SCathy Avery 
16084b4fb247SPaolo Bonzini static volatile int count_exc = 0;
16094b4fb247SPaolo Bonzini 
16104b4fb247SPaolo Bonzini static void my_isr(struct ex_regs *r)
16114b4fb247SPaolo Bonzini {
16124b4fb247SPaolo Bonzini         count_exc++;
16134b4fb247SPaolo Bonzini }
16144b4fb247SPaolo Bonzini 
16154b4fb247SPaolo Bonzini static void exc_inject_prepare(struct svm_test *test)
16164b4fb247SPaolo Bonzini {
16178634a266SPaolo Bonzini     default_prepare(test);
16184b4fb247SPaolo Bonzini     handle_exception(DE_VECTOR, my_isr);
16194b4fb247SPaolo Bonzini     handle_exception(NMI_VECTOR, my_isr);
16204b4fb247SPaolo Bonzini }
16214b4fb247SPaolo Bonzini 
16224b4fb247SPaolo Bonzini 
16234b4fb247SPaolo Bonzini static void exc_inject_test(struct svm_test *test)
16244b4fb247SPaolo Bonzini {
16254b4fb247SPaolo Bonzini     asm volatile ("vmmcall\n\tvmmcall\n\t");
16264b4fb247SPaolo Bonzini }
16274b4fb247SPaolo Bonzini 
16284b4fb247SPaolo Bonzini static bool exc_inject_finished(struct svm_test *test)
16294b4fb247SPaolo Bonzini {
16304b4fb247SPaolo Bonzini     switch (get_test_stage(test)) {
16314b4fb247SPaolo Bonzini     case 0:
16324b4fb247SPaolo Bonzini         if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
16334b4fb247SPaolo Bonzini             report(false, "VMEXIT not due to vmmcall. Exit reason 0x%x",
16344b4fb247SPaolo Bonzini                    vmcb->control.exit_code);
16354b4fb247SPaolo Bonzini             return true;
16364b4fb247SPaolo Bonzini         }
16372c1ca866SNadav Amit         vmcb->save.rip += 3;
16384b4fb247SPaolo Bonzini         vmcb->control.event_inj = NMI_VECTOR | SVM_EVTINJ_TYPE_EXEPT | SVM_EVTINJ_VALID;
16394b4fb247SPaolo Bonzini         break;
16404b4fb247SPaolo Bonzini 
16414b4fb247SPaolo Bonzini     case 1:
16424b4fb247SPaolo Bonzini         if (vmcb->control.exit_code != SVM_EXIT_ERR) {
16434b4fb247SPaolo Bonzini             report(false, "VMEXIT not due to error. Exit reason 0x%x",
16444b4fb247SPaolo Bonzini                    vmcb->control.exit_code);
16454b4fb247SPaolo Bonzini             return true;
16464b4fb247SPaolo Bonzini         }
16474b4fb247SPaolo Bonzini         report(count_exc == 0, "exception with vector 2 not injected");
16484b4fb247SPaolo Bonzini         vmcb->control.event_inj = DE_VECTOR | SVM_EVTINJ_TYPE_EXEPT | SVM_EVTINJ_VALID;
16494b4fb247SPaolo Bonzini         break;
16504b4fb247SPaolo Bonzini 
16514b4fb247SPaolo Bonzini     case 2:
16524b4fb247SPaolo Bonzini         if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
16534b4fb247SPaolo Bonzini             report(false, "VMEXIT not due to vmmcall. Exit reason 0x%x",
16544b4fb247SPaolo Bonzini                    vmcb->control.exit_code);
16554b4fb247SPaolo Bonzini             return true;
16564b4fb247SPaolo Bonzini         }
16572c1ca866SNadav Amit         vmcb->save.rip += 3;
16584b4fb247SPaolo Bonzini         report(count_exc == 1, "divide overflow exception injected");
16594b4fb247SPaolo Bonzini         report(!(vmcb->control.event_inj & SVM_EVTINJ_VALID), "eventinj.VALID cleared");
16604b4fb247SPaolo Bonzini         break;
16614b4fb247SPaolo Bonzini 
16624b4fb247SPaolo Bonzini     default:
16634b4fb247SPaolo Bonzini         return true;
16644b4fb247SPaolo Bonzini     }
16654b4fb247SPaolo Bonzini 
16664b4fb247SPaolo Bonzini     inc_test_stage(test);
16674b4fb247SPaolo Bonzini 
16684b4fb247SPaolo Bonzini     return get_test_stage(test) == 3;
16694b4fb247SPaolo Bonzini }
16704b4fb247SPaolo Bonzini 
16714b4fb247SPaolo Bonzini static bool exc_inject_check(struct svm_test *test)
16724b4fb247SPaolo Bonzini {
16734b4fb247SPaolo Bonzini     return count_exc == 1 && get_test_stage(test) == 3;
16744b4fb247SPaolo Bonzini }
16754b4fb247SPaolo Bonzini 
16769c838954SCathy Avery static volatile bool virq_fired;
16779c838954SCathy Avery 
16789c838954SCathy Avery static void virq_isr(isr_regs_t *regs)
16799c838954SCathy Avery {
16809c838954SCathy Avery     virq_fired = true;
16819c838954SCathy Avery }
16829c838954SCathy Avery 
16839c838954SCathy Avery static void virq_inject_prepare(struct svm_test *test)
16849c838954SCathy Avery {
16859c838954SCathy Avery     handle_irq(0xf1, virq_isr);
16869c838954SCathy Avery     default_prepare(test);
16879c838954SCathy Avery     vmcb->control.int_ctl = V_INTR_MASKING_MASK | V_IRQ_MASK |
16889c838954SCathy Avery                             (0x0f << V_INTR_PRIO_SHIFT); // Set to the highest priority
16899c838954SCathy Avery     vmcb->control.int_vector = 0xf1;
16909c838954SCathy Avery     virq_fired = false;
16919c838954SCathy Avery     set_test_stage(test, 0);
16929c838954SCathy Avery }
16939c838954SCathy Avery 
16949c838954SCathy Avery static void virq_inject_test(struct svm_test *test)
16959c838954SCathy Avery {
16969c838954SCathy Avery     if (virq_fired) {
16979c838954SCathy Avery         report(false, "virtual interrupt fired before L2 sti");
16989c838954SCathy Avery         set_test_stage(test, -1);
16999c838954SCathy Avery         vmmcall();
17009c838954SCathy Avery     }
17019c838954SCathy Avery 
17029c838954SCathy Avery     irq_enable();
17039c838954SCathy Avery     asm volatile ("nop");
17049c838954SCathy Avery     irq_disable();
17059c838954SCathy Avery 
17069c838954SCathy Avery     if (!virq_fired) {
17079c838954SCathy Avery         report(false, "virtual interrupt not fired after L2 sti");
17089c838954SCathy Avery         set_test_stage(test, -1);
17099c838954SCathy Avery     }
17109c838954SCathy Avery 
17119c838954SCathy Avery     vmmcall();
17129c838954SCathy Avery 
17139c838954SCathy Avery     if (virq_fired) {
17149c838954SCathy Avery         report(false, "virtual interrupt fired before L2 sti after VINTR intercept");
17159c838954SCathy Avery         set_test_stage(test, -1);
17169c838954SCathy Avery         vmmcall();
17179c838954SCathy Avery     }
17189c838954SCathy Avery 
17199c838954SCathy Avery     irq_enable();
17209c838954SCathy Avery     asm volatile ("nop");
17219c838954SCathy Avery     irq_disable();
17229c838954SCathy Avery 
17239c838954SCathy Avery     if (!virq_fired) {
17249c838954SCathy Avery         report(false, "virtual interrupt not fired after return from VINTR intercept");
17259c838954SCathy Avery         set_test_stage(test, -1);
17269c838954SCathy Avery     }
17279c838954SCathy Avery 
17289c838954SCathy Avery     vmmcall();
17299c838954SCathy Avery 
17309c838954SCathy Avery     irq_enable();
17319c838954SCathy Avery     asm volatile ("nop");
17329c838954SCathy Avery     irq_disable();
17339c838954SCathy Avery 
17349c838954SCathy Avery     if (virq_fired) {
17359c838954SCathy Avery         report(false, "virtual interrupt fired when V_IRQ_PRIO less than V_TPR");
17369c838954SCathy Avery         set_test_stage(test, -1);
17379c838954SCathy Avery     }
17389c838954SCathy Avery 
17399c838954SCathy Avery     vmmcall();
17409c838954SCathy Avery     vmmcall();
17419c838954SCathy Avery }
17429c838954SCathy Avery 
17439c838954SCathy Avery static bool virq_inject_finished(struct svm_test *test)
17449c838954SCathy Avery {
17459c838954SCathy Avery     vmcb->save.rip += 3;
17469c838954SCathy Avery 
17479c838954SCathy Avery     switch (get_test_stage(test)) {
17489c838954SCathy Avery     case 0:
17499c838954SCathy Avery         if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
17509c838954SCathy Avery             report(false, "VMEXIT not due to vmmcall. Exit reason 0x%x",
17519c838954SCathy Avery                    vmcb->control.exit_code);
17529c838954SCathy Avery             return true;
17539c838954SCathy Avery         }
17549c838954SCathy Avery         if (vmcb->control.int_ctl & V_IRQ_MASK) {
17559c838954SCathy Avery             report(false, "V_IRQ not cleared on VMEXIT after firing");
17569c838954SCathy Avery             return true;
17579c838954SCathy Avery         }
17589c838954SCathy Avery         virq_fired = false;
17599c838954SCathy Avery         vmcb->control.intercept |= (1ULL << INTERCEPT_VINTR);
17609c838954SCathy Avery         vmcb->control.int_ctl = V_INTR_MASKING_MASK | V_IRQ_MASK |
17619c838954SCathy Avery                             (0x0f << V_INTR_PRIO_SHIFT);
17629c838954SCathy Avery         break;
17639c838954SCathy Avery 
17649c838954SCathy Avery     case 1:
17659c838954SCathy Avery         if (vmcb->control.exit_code != SVM_EXIT_VINTR) {
17669c838954SCathy Avery             report(false, "VMEXIT not due to vintr. Exit reason 0x%x",
17679c838954SCathy Avery                    vmcb->control.exit_code);
17689c838954SCathy Avery             return true;
17699c838954SCathy Avery         }
17709c838954SCathy Avery         if (virq_fired) {
17719c838954SCathy Avery             report(false, "V_IRQ fired before SVM_EXIT_VINTR");
17729c838954SCathy Avery             return true;
17739c838954SCathy Avery         }
17749c838954SCathy Avery         vmcb->control.intercept &= ~(1ULL << INTERCEPT_VINTR);
17759c838954SCathy Avery         break;
17769c838954SCathy Avery 
17779c838954SCathy Avery     case 2:
17789c838954SCathy Avery         if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
17799c838954SCathy Avery             report(false, "VMEXIT not due to vmmcall. Exit reason 0x%x",
17809c838954SCathy Avery                    vmcb->control.exit_code);
17819c838954SCathy Avery             return true;
17829c838954SCathy Avery         }
17839c838954SCathy Avery         virq_fired = false;
17849c838954SCathy Avery         // Set irq to lower priority
17859c838954SCathy Avery         vmcb->control.int_ctl = V_INTR_MASKING_MASK | V_IRQ_MASK |
17869c838954SCathy Avery                             (0x08 << V_INTR_PRIO_SHIFT);
17879c838954SCathy Avery         // Raise guest TPR
17889c838954SCathy Avery         vmcb->control.int_ctl |= 0x0a & V_TPR_MASK;
17899c838954SCathy Avery         break;
17909c838954SCathy Avery 
17919c838954SCathy Avery     case 3:
17929c838954SCathy Avery         if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
17939c838954SCathy Avery             report(false, "VMEXIT not due to vmmcall. Exit reason 0x%x",
17949c838954SCathy Avery                    vmcb->control.exit_code);
17959c838954SCathy Avery             return true;
17969c838954SCathy Avery         }
17979c838954SCathy Avery         vmcb->control.intercept |= (1ULL << INTERCEPT_VINTR);
17989c838954SCathy Avery         break;
17999c838954SCathy Avery 
18009c838954SCathy Avery     case 4:
18019c838954SCathy Avery         // INTERCEPT_VINTR should be ignored because V_INTR_PRIO < V_TPR
18029c838954SCathy Avery         if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
18039c838954SCathy Avery             report(false, "VMEXIT not due to vmmcall. Exit reason 0x%x",
18049c838954SCathy Avery                    vmcb->control.exit_code);
18059c838954SCathy Avery             return true;
18069c838954SCathy Avery         }
18079c838954SCathy Avery         break;
18089c838954SCathy Avery 
18099c838954SCathy Avery     default:
18109c838954SCathy Avery         return true;
18119c838954SCathy Avery     }
18129c838954SCathy Avery 
18139c838954SCathy Avery     inc_test_stage(test);
18149c838954SCathy Avery 
18159c838954SCathy Avery     return get_test_stage(test) == 5;
18169c838954SCathy Avery }
18179c838954SCathy Avery 
18189c838954SCathy Avery static bool virq_inject_check(struct svm_test *test)
18199c838954SCathy Avery {
18209c838954SCathy Avery     return get_test_stage(test) == 5;
18219c838954SCathy Avery }
18229c838954SCathy Avery 
1823da338a31SMaxim Levitsky /*
1824da338a31SMaxim Levitsky  * Detect nested guest RIP corruption as explained in kernel commit
1825da338a31SMaxim Levitsky  * b6162e82aef19fee9c32cb3fe9ac30d9116a8c73
1826da338a31SMaxim Levitsky  *
1827da338a31SMaxim Levitsky  * In the assembly loop below 'ins' is executed while IO instructions
1828da338a31SMaxim Levitsky  * are not intercepted; the instruction is emulated by L0.
1829da338a31SMaxim Levitsky  *
1830da338a31SMaxim Levitsky  * At the same time we are getting interrupts from the local APIC timer,
1831da338a31SMaxim Levitsky  * and we do intercept them in L1
1832da338a31SMaxim Levitsky  *
1833da338a31SMaxim Levitsky  * If the interrupt happens on the insb instruction, L0 will VMexit, emulate
1834da338a31SMaxim Levitsky  * the insb instruction and then it will inject the interrupt to L1 through
1835da338a31SMaxim Levitsky  * a nested VMexit.  Due to a bug, it would leave pre-emulation values of RIP,
1836da338a31SMaxim Levitsky  * RAX and RSP in the VMCB.
1837da338a31SMaxim Levitsky  *
1838da338a31SMaxim Levitsky  * In our intercept handler we detect the bug by checking that RIP is that of
1839da338a31SMaxim Levitsky  * the insb instruction, but its memory operand has already been written.
1840da338a31SMaxim Levitsky  * This means that insb was already executed.
1841da338a31SMaxim Levitsky  */
1842da338a31SMaxim Levitsky 
1843da338a31SMaxim Levitsky static volatile int isr_cnt = 0;
1844da338a31SMaxim Levitsky static volatile uint8_t io_port_var = 0xAA;
1845da338a31SMaxim Levitsky extern const char insb_instruction_label[];
1846da338a31SMaxim Levitsky 
1847da338a31SMaxim Levitsky static void reg_corruption_isr(isr_regs_t *regs)
1848da338a31SMaxim Levitsky {
1849da338a31SMaxim Levitsky     isr_cnt++;
1850da338a31SMaxim Levitsky     apic_write(APIC_EOI, 0);
1851da338a31SMaxim Levitsky }
1852da338a31SMaxim Levitsky 
1853da338a31SMaxim Levitsky static void reg_corruption_prepare(struct svm_test *test)
1854da338a31SMaxim Levitsky {
1855da338a31SMaxim Levitsky     default_prepare(test);
1856da338a31SMaxim Levitsky     set_test_stage(test, 0);
1857da338a31SMaxim Levitsky 
1858da338a31SMaxim Levitsky     vmcb->control.int_ctl = V_INTR_MASKING_MASK;
1859da338a31SMaxim Levitsky     vmcb->control.intercept |= (1ULL << INTERCEPT_INTR);
1860da338a31SMaxim Levitsky 
1861da338a31SMaxim Levitsky     handle_irq(TIMER_VECTOR, reg_corruption_isr);
1862da338a31SMaxim Levitsky 
1863da338a31SMaxim Levitsky     /* set local APIC to inject external interrupts */
1864da338a31SMaxim Levitsky     apic_write(APIC_TMICT, 0);
1865da338a31SMaxim Levitsky     apic_write(APIC_TDCR, 0);
1866da338a31SMaxim Levitsky     apic_write(APIC_LVTT, TIMER_VECTOR | APIC_LVT_TIMER_PERIODIC);
1867da338a31SMaxim Levitsky     apic_write(APIC_TMICT, 1000);
1868da338a31SMaxim Levitsky }
1869da338a31SMaxim Levitsky 
1870da338a31SMaxim Levitsky static void reg_corruption_test(struct svm_test *test)
1871da338a31SMaxim Levitsky {
1872da338a31SMaxim Levitsky     /* this is endless loop, which is interrupted by the timer interrupt */
1873da338a31SMaxim Levitsky     asm volatile (
1874da338a31SMaxim Levitsky             "1:\n\t"
1875da338a31SMaxim Levitsky             "movw $0x4d0, %%dx\n\t" // IO port
1876da338a31SMaxim Levitsky             "lea %[io_port_var], %%rdi\n\t"
1877da338a31SMaxim Levitsky             "movb $0xAA, %[io_port_var]\n\t"
1878da338a31SMaxim Levitsky             "insb_instruction_label:\n\t"
1879da338a31SMaxim Levitsky             "insb\n\t"
1880da338a31SMaxim Levitsky             "jmp 1b\n\t"
1881da338a31SMaxim Levitsky 
1882da338a31SMaxim Levitsky             : [io_port_var] "=m" (io_port_var)
1883da338a31SMaxim Levitsky             : /* no inputs*/
1884da338a31SMaxim Levitsky             : "rdx", "rdi"
1885da338a31SMaxim Levitsky     );
1886da338a31SMaxim Levitsky }
1887da338a31SMaxim Levitsky 
1888da338a31SMaxim Levitsky static bool reg_corruption_finished(struct svm_test *test)
1889da338a31SMaxim Levitsky {
1890da338a31SMaxim Levitsky     if (isr_cnt == 10000) {
1891da338a31SMaxim Levitsky         report(true,
1892da338a31SMaxim Levitsky                "No RIP corruption detected after %d timer interrupts",
1893da338a31SMaxim Levitsky                isr_cnt);
1894da338a31SMaxim Levitsky         set_test_stage(test, 1);
1895da338a31SMaxim Levitsky         return true;
1896da338a31SMaxim Levitsky     }
1897da338a31SMaxim Levitsky 
1898da338a31SMaxim Levitsky     if (vmcb->control.exit_code == SVM_EXIT_INTR) {
1899da338a31SMaxim Levitsky 
1900da338a31SMaxim Levitsky         void* guest_rip = (void*)vmcb->save.rip;
1901da338a31SMaxim Levitsky 
1902da338a31SMaxim Levitsky         irq_enable();
1903da338a31SMaxim Levitsky         asm volatile ("nop");
1904da338a31SMaxim Levitsky         irq_disable();
1905da338a31SMaxim Levitsky 
1906da338a31SMaxim Levitsky         if (guest_rip == insb_instruction_label && io_port_var != 0xAA) {
1907da338a31SMaxim Levitsky             report(false,
1908da338a31SMaxim Levitsky                    "RIP corruption detected after %d timer interrupts",
1909da338a31SMaxim Levitsky                    isr_cnt);
1910da338a31SMaxim Levitsky             return true;
1911da338a31SMaxim Levitsky         }
1912da338a31SMaxim Levitsky 
1913da338a31SMaxim Levitsky     }
1914da338a31SMaxim Levitsky     return false;
1915da338a31SMaxim Levitsky }
1916da338a31SMaxim Levitsky 
1917da338a31SMaxim Levitsky static bool reg_corruption_check(struct svm_test *test)
1918da338a31SMaxim Levitsky {
1919da338a31SMaxim Levitsky     return get_test_stage(test) == 1;
1920da338a31SMaxim Levitsky }
1921da338a31SMaxim Levitsky 
19224770e9c8SCathy Avery static void get_tss_entry(void *data)
19234770e9c8SCathy Avery {
19244770e9c8SCathy Avery     struct descriptor_table_ptr gdt;
19254770e9c8SCathy Avery     struct segment_desc64 *gdt_table;
19264770e9c8SCathy Avery     struct segment_desc64 *tss_entry;
19274770e9c8SCathy Avery     u16 tr = 0;
19284770e9c8SCathy Avery 
19294770e9c8SCathy Avery     sgdt(&gdt);
19304770e9c8SCathy Avery     tr = str();
19314770e9c8SCathy Avery     gdt_table = (struct segment_desc64 *) gdt.base;
19324770e9c8SCathy Avery     tss_entry = &gdt_table[tr / sizeof(struct segment_desc64)];
19334770e9c8SCathy Avery     *((struct segment_desc64 **)data) = tss_entry;
19344770e9c8SCathy Avery }
19354770e9c8SCathy Avery 
19364770e9c8SCathy Avery static int orig_cpu_count;
19374770e9c8SCathy Avery 
19384770e9c8SCathy Avery static void init_startup_prepare(struct svm_test *test)
19394770e9c8SCathy Avery {
19404770e9c8SCathy Avery     struct segment_desc64 *tss_entry;
19414770e9c8SCathy Avery     int i;
19424770e9c8SCathy Avery 
19434770e9c8SCathy Avery     vmcb_ident(vmcb);
19444770e9c8SCathy Avery 
19454770e9c8SCathy Avery     on_cpu(1, get_tss_entry, &tss_entry);
19464770e9c8SCathy Avery 
19474770e9c8SCathy Avery     orig_cpu_count = cpu_online_count;
19484770e9c8SCathy Avery 
19494770e9c8SCathy Avery     apic_icr_write(APIC_DEST_PHYSICAL | APIC_DM_INIT | APIC_INT_ASSERT,
19504770e9c8SCathy Avery                    id_map[1]);
19514770e9c8SCathy Avery 
19524770e9c8SCathy Avery     delay(100000000ULL);
19534770e9c8SCathy Avery 
19544770e9c8SCathy Avery     --cpu_online_count;
19554770e9c8SCathy Avery 
19564770e9c8SCathy Avery     *(uint64_t *)tss_entry &= ~DESC_BUSY;
19574770e9c8SCathy Avery 
19584770e9c8SCathy Avery     apic_icr_write(APIC_DEST_PHYSICAL | APIC_DM_STARTUP, id_map[1]);
19594770e9c8SCathy Avery 
19604770e9c8SCathy Avery     for (i = 0; i < 5 && cpu_online_count < orig_cpu_count; i++)
19614770e9c8SCathy Avery        delay(100000000ULL);
19624770e9c8SCathy Avery }
19634770e9c8SCathy Avery 
19644770e9c8SCathy Avery static bool init_startup_finished(struct svm_test *test)
19654770e9c8SCathy Avery {
19664770e9c8SCathy Avery     return true;
19674770e9c8SCathy Avery }
19684770e9c8SCathy Avery 
19694770e9c8SCathy Avery static bool init_startup_check(struct svm_test *test)
19704770e9c8SCathy Avery {
19714770e9c8SCathy Avery     return cpu_online_count == orig_cpu_count;
19724770e9c8SCathy Avery }
19734770e9c8SCathy Avery 
1974d5da6dfeSCathy Avery static volatile bool init_intercept;
1975d5da6dfeSCathy Avery 
1976d5da6dfeSCathy Avery static void init_intercept_prepare(struct svm_test *test)
1977d5da6dfeSCathy Avery {
1978d5da6dfeSCathy Avery     init_intercept = false;
1979d5da6dfeSCathy Avery     vmcb_ident(vmcb);
1980d5da6dfeSCathy Avery     vmcb->control.intercept |= (1ULL << INTERCEPT_INIT);
1981d5da6dfeSCathy Avery }
1982d5da6dfeSCathy Avery 
1983d5da6dfeSCathy Avery static void init_intercept_test(struct svm_test *test)
1984d5da6dfeSCathy Avery {
1985d5da6dfeSCathy Avery     apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_INIT | APIC_INT_ASSERT, 0);
1986d5da6dfeSCathy Avery }
1987d5da6dfeSCathy Avery 
1988d5da6dfeSCathy Avery static bool init_intercept_finished(struct svm_test *test)
1989d5da6dfeSCathy Avery {
1990d5da6dfeSCathy Avery     vmcb->save.rip += 3;
1991d5da6dfeSCathy Avery 
1992d5da6dfeSCathy Avery     if (vmcb->control.exit_code != SVM_EXIT_INIT) {
1993d5da6dfeSCathy Avery         report(false, "VMEXIT not due to init intercept. Exit reason 0x%x",
1994d5da6dfeSCathy Avery                vmcb->control.exit_code);
1995d5da6dfeSCathy Avery 
1996d5da6dfeSCathy Avery         return true;
1997d5da6dfeSCathy Avery         }
1998d5da6dfeSCathy Avery 
1999d5da6dfeSCathy Avery     init_intercept = true;
2000d5da6dfeSCathy Avery 
2001d5da6dfeSCathy Avery     report(true, "INIT to vcpu intercepted");
2002d5da6dfeSCathy Avery 
2003d5da6dfeSCathy Avery     return true;
2004d5da6dfeSCathy Avery }
2005d5da6dfeSCathy Avery 
2006d5da6dfeSCathy Avery static bool init_intercept_check(struct svm_test *test)
2007d5da6dfeSCathy Avery {
2008d5da6dfeSCathy Avery     return init_intercept;
2009d5da6dfeSCathy Avery }
2010d5da6dfeSCathy Avery 
20117839b0ecSKrish Sadhukhan /*
20127839b0ecSKrish Sadhukhan  * Setting host EFLAGS.TF causes a #DB trap after the VMRUN completes on the
20137839b0ecSKrish Sadhukhan  * host side (i.e., after the #VMEXIT from the guest).
20147839b0ecSKrish Sadhukhan  *
20157839b0ecSKrish Sadhukhan  * [AMD APM]
20167839b0ecSKrish Sadhukhan  */
20177839b0ecSKrish Sadhukhan static volatile u8 host_rflags_guest_main_flag = 0;
20187839b0ecSKrish Sadhukhan static volatile u8 host_rflags_db_handler_flag = 0;
20197839b0ecSKrish Sadhukhan static volatile bool host_rflags_ss_on_vmrun = false;
20207839b0ecSKrish Sadhukhan static volatile bool host_rflags_vmrun_reached = false;
20217839b0ecSKrish Sadhukhan static volatile bool host_rflags_set_tf = false;
20227839b0ecSKrish Sadhukhan static u64 post_vmrun_rip;
20237839b0ecSKrish Sadhukhan 
20247839b0ecSKrish Sadhukhan extern u64 *vmrun_rip;
20257839b0ecSKrish Sadhukhan 
20267839b0ecSKrish Sadhukhan static void host_rflags_db_handler(struct ex_regs *r)
20277839b0ecSKrish Sadhukhan {
20287839b0ecSKrish Sadhukhan 	if (host_rflags_ss_on_vmrun) {
20297839b0ecSKrish Sadhukhan 		if (host_rflags_vmrun_reached) {
20307839b0ecSKrish Sadhukhan 			r->rflags &= ~X86_EFLAGS_TF;
20317839b0ecSKrish Sadhukhan 			post_vmrun_rip = r->rip;
20327839b0ecSKrish Sadhukhan 		} else {
20337839b0ecSKrish Sadhukhan 			if (r->rip == (u64)&vmrun_rip)
20347839b0ecSKrish Sadhukhan 				host_rflags_vmrun_reached = true;
20357839b0ecSKrish Sadhukhan 		}
20367839b0ecSKrish Sadhukhan 	} else {
20377839b0ecSKrish Sadhukhan 		r->rflags &= ~X86_EFLAGS_TF;
20387839b0ecSKrish Sadhukhan 	}
20397839b0ecSKrish Sadhukhan }
20407839b0ecSKrish Sadhukhan 
20417839b0ecSKrish Sadhukhan static void host_rflags_prepare(struct svm_test *test)
20427839b0ecSKrish Sadhukhan {
20437839b0ecSKrish Sadhukhan 	default_prepare(test);
20447839b0ecSKrish Sadhukhan 	handle_exception(DB_VECTOR, host_rflags_db_handler);
20457839b0ecSKrish Sadhukhan 	set_test_stage(test, 0);
20467839b0ecSKrish Sadhukhan }
20477839b0ecSKrish Sadhukhan 
20487839b0ecSKrish Sadhukhan static void host_rflags_prepare_gif_clear(struct svm_test *test)
20497839b0ecSKrish Sadhukhan {
20507839b0ecSKrish Sadhukhan 	if (host_rflags_set_tf)
20517839b0ecSKrish Sadhukhan 		write_rflags(read_rflags() | X86_EFLAGS_TF);
20527839b0ecSKrish Sadhukhan }
20537839b0ecSKrish Sadhukhan 
20547839b0ecSKrish Sadhukhan static void host_rflags_test(struct svm_test *test)
20557839b0ecSKrish Sadhukhan {
20567839b0ecSKrish Sadhukhan 	while (1) {
20577839b0ecSKrish Sadhukhan 		if (get_test_stage(test) > 0 && host_rflags_set_tf &&
20587839b0ecSKrish Sadhukhan 		    (!host_rflags_ss_on_vmrun) &&
20597839b0ecSKrish Sadhukhan 		    (!host_rflags_db_handler_flag))
20607839b0ecSKrish Sadhukhan 			host_rflags_guest_main_flag = 1;
20617839b0ecSKrish Sadhukhan 		if (get_test_stage(test) == 3)
20627839b0ecSKrish Sadhukhan 			break;
20637839b0ecSKrish Sadhukhan 		vmmcall();
20647839b0ecSKrish Sadhukhan 	}
20657839b0ecSKrish Sadhukhan }
20667839b0ecSKrish Sadhukhan 
20677839b0ecSKrish Sadhukhan static bool host_rflags_finished(struct svm_test *test)
20687839b0ecSKrish Sadhukhan {
20697839b0ecSKrish Sadhukhan 	switch (get_test_stage(test)) {
20707839b0ecSKrish Sadhukhan 	case 0:
20717839b0ecSKrish Sadhukhan 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
20727839b0ecSKrish Sadhukhan 			report(false, "Unexpected VMEXIT. Exit reason 0x%x",
20737839b0ecSKrish Sadhukhan 			    vmcb->control.exit_code);
20747839b0ecSKrish Sadhukhan 			return true;
20757839b0ecSKrish Sadhukhan 		}
20767839b0ecSKrish Sadhukhan 		vmcb->save.rip += 3;
20777839b0ecSKrish Sadhukhan 		/*
20787839b0ecSKrish Sadhukhan 		 * Setting host EFLAGS.TF not immediately before VMRUN, causes
20797839b0ecSKrish Sadhukhan 		 * #DB trap before first guest instruction is executed
20807839b0ecSKrish Sadhukhan 		 */
20817839b0ecSKrish Sadhukhan 		host_rflags_set_tf = true;
20827839b0ecSKrish Sadhukhan 		break;
20837839b0ecSKrish Sadhukhan 	case 1:
20847839b0ecSKrish Sadhukhan 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL ||
20857839b0ecSKrish Sadhukhan 		    (!host_rflags_guest_main_flag)) {
20867839b0ecSKrish Sadhukhan 			report(false, "Unexpected VMEXIT or #DB handler"
20877839b0ecSKrish Sadhukhan 			    " invoked before guest main. Exit reason 0x%x",
20887839b0ecSKrish Sadhukhan 			    vmcb->control.exit_code);
20897839b0ecSKrish Sadhukhan 			return true;
20907839b0ecSKrish Sadhukhan 		}
20917839b0ecSKrish Sadhukhan 		vmcb->save.rip += 3;
20927839b0ecSKrish Sadhukhan 		/*
20937839b0ecSKrish Sadhukhan 		 * Setting host EFLAGS.TF immediately before VMRUN, causes #DB
20947839b0ecSKrish Sadhukhan 		 * trap after VMRUN completes on the host side (i.e., after
20957839b0ecSKrish Sadhukhan 		 * VMEXIT from guest).
20967839b0ecSKrish Sadhukhan 		 */
20977839b0ecSKrish Sadhukhan 		host_rflags_ss_on_vmrun = true;
20987839b0ecSKrish Sadhukhan 		break;
20997839b0ecSKrish Sadhukhan 	case 2:
21007839b0ecSKrish Sadhukhan 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL ||
21017839b0ecSKrish Sadhukhan 		    (post_vmrun_rip - (u64)&vmrun_rip) != 3) {
21027839b0ecSKrish Sadhukhan 			report(false, "Unexpected VMEXIT or RIP mismatch."
21037839b0ecSKrish Sadhukhan 			    " Exit reason 0x%x, VMRUN RIP: %lx, post-VMRUN"
21047839b0ecSKrish Sadhukhan 			    " RIP: %lx", vmcb->control.exit_code,
21057839b0ecSKrish Sadhukhan 			    (u64)&vmrun_rip, post_vmrun_rip);
21067839b0ecSKrish Sadhukhan 			return true;
21077839b0ecSKrish Sadhukhan 		}
21087839b0ecSKrish Sadhukhan 		host_rflags_set_tf = false;
21097839b0ecSKrish Sadhukhan 		vmcb->save.rip += 3;
21107839b0ecSKrish Sadhukhan 		break;
21117839b0ecSKrish Sadhukhan 	default:
21127839b0ecSKrish Sadhukhan 		return true;
21137839b0ecSKrish Sadhukhan 	}
21147839b0ecSKrish Sadhukhan 	inc_test_stage(test);
21157839b0ecSKrish Sadhukhan 	return get_test_stage(test) == 4;
21167839b0ecSKrish Sadhukhan }
21177839b0ecSKrish Sadhukhan 
21187839b0ecSKrish Sadhukhan static bool host_rflags_check(struct svm_test *test)
21197839b0ecSKrish Sadhukhan {
21207839b0ecSKrish Sadhukhan 	return get_test_stage(test) == 3;
21217839b0ecSKrish Sadhukhan }
21227839b0ecSKrish Sadhukhan 
21238660d1b5SKrish Sadhukhan #define TEST(name) { #name, .v2 = name }
21248660d1b5SKrish Sadhukhan 
2125ba29942cSKrish Sadhukhan /*
2126ba29942cSKrish Sadhukhan  * v2 tests
2127ba29942cSKrish Sadhukhan  */
2128ba29942cSKrish Sadhukhan 
2129f32183f5SJim Mattson /*
2130f32183f5SJim Mattson  * Ensure that kvm recalculates the L1 guest's CPUID.01H:ECX.OSXSAVE
2131f32183f5SJim Mattson  * after VM-exit from an L2 guest that sets CR4.OSXSAVE to a different
2132f32183f5SJim Mattson  * value than in L1.
2133f32183f5SJim Mattson  */
2134f32183f5SJim Mattson 
2135f32183f5SJim Mattson static void svm_cr4_osxsave_test_guest(struct svm_test *test)
2136f32183f5SJim Mattson {
2137f32183f5SJim Mattson 	write_cr4(read_cr4() & ~X86_CR4_OSXSAVE);
2138f32183f5SJim Mattson }
2139f32183f5SJim Mattson 
2140f32183f5SJim Mattson static void svm_cr4_osxsave_test(void)
2141f32183f5SJim Mattson {
2142f32183f5SJim Mattson 	if (!this_cpu_has(X86_FEATURE_XSAVE)) {
2143f32183f5SJim Mattson 		report_skip("XSAVE not detected");
2144f32183f5SJim Mattson 		return;
2145f32183f5SJim Mattson 	}
2146f32183f5SJim Mattson 
2147f32183f5SJim Mattson 	if (!(read_cr4() & X86_CR4_OSXSAVE)) {
2148f32183f5SJim Mattson 		unsigned long cr4 = read_cr4() | X86_CR4_OSXSAVE;
2149f32183f5SJim Mattson 
2150f32183f5SJim Mattson 		write_cr4(cr4);
2151f32183f5SJim Mattson 		vmcb->save.cr4 = cr4;
2152f32183f5SJim Mattson 	}
2153f32183f5SJim Mattson 
2154f32183f5SJim Mattson 	report(cpuid_osxsave(), "CPUID.01H:ECX.XSAVE set before VMRUN");
2155f32183f5SJim Mattson 
2156f32183f5SJim Mattson 	test_set_guest(svm_cr4_osxsave_test_guest);
2157f32183f5SJim Mattson 	report(svm_vmrun() == SVM_EXIT_VMMCALL,
2158f32183f5SJim Mattson 	       "svm_cr4_osxsave_test_guest finished with VMMCALL");
2159f32183f5SJim Mattson 
2160f32183f5SJim Mattson 	report(cpuid_osxsave(), "CPUID.01H:ECX.XSAVE set after VMRUN");
2161f32183f5SJim Mattson }
2162f32183f5SJim Mattson 
2163ba29942cSKrish Sadhukhan static void basic_guest_main(struct svm_test *test)
2164ba29942cSKrish Sadhukhan {
2165ba29942cSKrish Sadhukhan }
2166ba29942cSKrish Sadhukhan 
2167eae10e8fSKrish Sadhukhan 
2168eae10e8fSKrish Sadhukhan #define SVM_TEST_REG_RESERVED_BITS(start, end, inc, str_name, reg, val,	\
2169eae10e8fSKrish Sadhukhan 				   resv_mask)				\
2170eae10e8fSKrish Sadhukhan {									\
2171eae10e8fSKrish Sadhukhan         u64 tmp, mask;							\
2172eae10e8fSKrish Sadhukhan         int i;								\
2173eae10e8fSKrish Sadhukhan 									\
2174eae10e8fSKrish Sadhukhan         for (i = start; i <= end; i = i + inc) {			\
2175eae10e8fSKrish Sadhukhan                 mask = 1ull << i;					\
2176eae10e8fSKrish Sadhukhan                 if (!(mask & resv_mask))				\
2177eae10e8fSKrish Sadhukhan                         continue;					\
2178eae10e8fSKrish Sadhukhan                 tmp = val | mask;					\
2179eae10e8fSKrish Sadhukhan 		reg = tmp;						\
2180eae10e8fSKrish Sadhukhan 		report(svm_vmrun() == SVM_EXIT_ERR, "Test %s %d:%d: %lx",\
2181eae10e8fSKrish Sadhukhan 		    str_name, end, start, tmp);				\
2182eae10e8fSKrish Sadhukhan         }								\
2183eae10e8fSKrish Sadhukhan }
2184eae10e8fSKrish Sadhukhan 
21856d0ecbf6SKrish Sadhukhan #define SVM_TEST_CR_RESERVED_BITS(start, end, inc, cr, val, resv_mask,	\
2186cb6524f3SPaolo Bonzini 				  exit_code, test_name)			\
2187a79c9495SKrish Sadhukhan {									\
2188a79c9495SKrish Sadhukhan 	u64 tmp, mask;							\
2189a79c9495SKrish Sadhukhan 	int i;								\
2190a79c9495SKrish Sadhukhan 									\
2191a79c9495SKrish Sadhukhan 	for (i = start; i <= end; i = i + inc) {			\
2192a79c9495SKrish Sadhukhan 		mask = 1ull << i;					\
2193a79c9495SKrish Sadhukhan 		if (!(mask & resv_mask))				\
2194a79c9495SKrish Sadhukhan 			continue;					\
2195a79c9495SKrish Sadhukhan 		tmp = val | mask;					\
2196a79c9495SKrish Sadhukhan 		switch (cr) {						\
2197a79c9495SKrish Sadhukhan 		case 0:							\
2198a79c9495SKrish Sadhukhan 			vmcb->save.cr0 = tmp;				\
2199a79c9495SKrish Sadhukhan 			break;						\
2200a79c9495SKrish Sadhukhan 		case 3:							\
2201a79c9495SKrish Sadhukhan 			vmcb->save.cr3 = tmp;				\
2202a79c9495SKrish Sadhukhan 			break;						\
2203a79c9495SKrish Sadhukhan 		case 4:							\
2204a79c9495SKrish Sadhukhan 			vmcb->save.cr4 = tmp;				\
2205a79c9495SKrish Sadhukhan 		}							\
2206cb6524f3SPaolo Bonzini 		report(svm_vmrun() == exit_code, "Test CR%d " test_name "%d:%d: %lx",\
2207a79c9495SKrish Sadhukhan 		    cr, end, start, tmp);				\
2208a79c9495SKrish Sadhukhan 	}								\
2209a79c9495SKrish Sadhukhan }
2210e8d7a8f6SKrish Sadhukhan 
2211a79c9495SKrish Sadhukhan static void test_efer(void)
2212a79c9495SKrish Sadhukhan {
2213e8d7a8f6SKrish Sadhukhan 	/*
2214e8d7a8f6SKrish Sadhukhan 	 * Un-setting EFER.SVME is illegal
2215e8d7a8f6SKrish Sadhukhan 	 */
2216ba29942cSKrish Sadhukhan 	u64 efer_saved = vmcb->save.efer;
2217ba29942cSKrish Sadhukhan 	u64 efer = efer_saved;
2218ba29942cSKrish Sadhukhan 
2219ba29942cSKrish Sadhukhan 	report (svm_vmrun() == SVM_EXIT_VMMCALL, "EFER.SVME: %lx", efer);
2220ba29942cSKrish Sadhukhan 	efer &= ~EFER_SVME;
2221ba29942cSKrish Sadhukhan 	vmcb->save.efer = efer;
2222ba29942cSKrish Sadhukhan 	report (svm_vmrun() == SVM_EXIT_ERR, "EFER.SVME: %lx", efer);
2223ba29942cSKrish Sadhukhan 	vmcb->save.efer = efer_saved;
2224e8d7a8f6SKrish Sadhukhan 
2225e8d7a8f6SKrish Sadhukhan 	/*
2226a79c9495SKrish Sadhukhan 	 * EFER MBZ bits: 63:16, 9
2227a79c9495SKrish Sadhukhan 	 */
2228a79c9495SKrish Sadhukhan 	efer_saved = vmcb->save.efer;
2229a79c9495SKrish Sadhukhan 
2230a79c9495SKrish Sadhukhan 	SVM_TEST_REG_RESERVED_BITS(8, 9, 1, "EFER", vmcb->save.efer,
2231a79c9495SKrish Sadhukhan 	    efer_saved, SVM_EFER_RESERVED_MASK);
2232a79c9495SKrish Sadhukhan 	SVM_TEST_REG_RESERVED_BITS(16, 63, 4, "EFER", vmcb->save.efer,
2233a79c9495SKrish Sadhukhan 	    efer_saved, SVM_EFER_RESERVED_MASK);
2234a79c9495SKrish Sadhukhan 
22351d7bde08SKrish Sadhukhan 	/*
22361d7bde08SKrish Sadhukhan 	 * EFER.LME and CR0.PG are both set and CR4.PAE is zero.
22371d7bde08SKrish Sadhukhan 	 */
22381d7bde08SKrish Sadhukhan 	u64 cr0_saved = vmcb->save.cr0;
22391d7bde08SKrish Sadhukhan 	u64 cr0;
22401d7bde08SKrish Sadhukhan 	u64 cr4_saved = vmcb->save.cr4;
22411d7bde08SKrish Sadhukhan 	u64 cr4;
22421d7bde08SKrish Sadhukhan 
22431d7bde08SKrish Sadhukhan 	efer = efer_saved | EFER_LME;
22441d7bde08SKrish Sadhukhan 	vmcb->save.efer = efer;
22451d7bde08SKrish Sadhukhan 	cr0 = cr0_saved | X86_CR0_PG | X86_CR0_PE;
22461d7bde08SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
22471d7bde08SKrish Sadhukhan 	cr4 = cr4_saved & ~X86_CR4_PAE;
22481d7bde08SKrish Sadhukhan 	vmcb->save.cr4 = cr4;
22491d7bde08SKrish Sadhukhan 	report(svm_vmrun() == SVM_EXIT_ERR, "EFER.LME=1 (%lx), "
22501d7bde08SKrish Sadhukhan 	    "CR0.PG=1 (%lx) and CR4.PAE=0 (%lx)", efer, cr0, cr4);
22511d7bde08SKrish Sadhukhan 
22521d7bde08SKrish Sadhukhan 	/*
22531d7bde08SKrish Sadhukhan 	 * EFER.LME and CR0.PG are both set and CR0.PE is zero.
22541d7bde08SKrish Sadhukhan 	 */
22551d7bde08SKrish Sadhukhan 	vmcb->save.cr4 = cr4_saved | X86_CR4_PAE;
22561d7bde08SKrish Sadhukhan 	cr0 &= ~X86_CR0_PE;
22571d7bde08SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
22581d7bde08SKrish Sadhukhan 	report(svm_vmrun() == SVM_EXIT_ERR, "EFER.LME=1 (%lx), "
22591d7bde08SKrish Sadhukhan 	    "CR0.PG=1 and CR0.PE=0 (%lx)", efer, cr0);
22601d7bde08SKrish Sadhukhan 
22611d7bde08SKrish Sadhukhan 	/*
22621d7bde08SKrish Sadhukhan 	 * EFER.LME, CR0.PG, CR4.PAE, CS.L, and CS.D are all non-zero.
22631d7bde08SKrish Sadhukhan 	 */
22641d7bde08SKrish Sadhukhan 	u32 cs_attrib_saved = vmcb->save.cs.attrib;
22651d7bde08SKrish Sadhukhan 	u32 cs_attrib;
22661d7bde08SKrish Sadhukhan 
22671d7bde08SKrish Sadhukhan 	cr0 |= X86_CR0_PE;
22681d7bde08SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
22691d7bde08SKrish Sadhukhan 	cs_attrib = cs_attrib_saved | SVM_SELECTOR_L_MASK |
22701d7bde08SKrish Sadhukhan 	    SVM_SELECTOR_DB_MASK;
22711d7bde08SKrish Sadhukhan 	vmcb->save.cs.attrib = cs_attrib;
22721d7bde08SKrish Sadhukhan 	report(svm_vmrun() == SVM_EXIT_ERR, "EFER.LME=1 (%lx), "
22731d7bde08SKrish Sadhukhan 	    "CR0.PG=1 (%lx), CR4.PAE=1 (%lx), CS.L=1 and CS.D=1 (%x)",
22741d7bde08SKrish Sadhukhan 	    efer, cr0, cr4, cs_attrib);
22751d7bde08SKrish Sadhukhan 
22761d7bde08SKrish Sadhukhan 	vmcb->save.cr0 = cr0_saved;
22771d7bde08SKrish Sadhukhan 	vmcb->save.cr4 = cr4_saved;
2278a79c9495SKrish Sadhukhan 	vmcb->save.efer = efer_saved;
22791d7bde08SKrish Sadhukhan 	vmcb->save.cs.attrib = cs_attrib_saved;
2280a79c9495SKrish Sadhukhan }
2281a79c9495SKrish Sadhukhan 
2282a79c9495SKrish Sadhukhan static void test_cr0(void)
2283a79c9495SKrish Sadhukhan {
2284a79c9495SKrish Sadhukhan 	/*
2285e8d7a8f6SKrish Sadhukhan 	 * Un-setting CR0.CD and setting CR0.NW is illegal combination
2286e8d7a8f6SKrish Sadhukhan 	 */
2287e8d7a8f6SKrish Sadhukhan 	u64 cr0_saved = vmcb->save.cr0;
2288e8d7a8f6SKrish Sadhukhan 	u64 cr0 = cr0_saved;
2289e8d7a8f6SKrish Sadhukhan 
2290e8d7a8f6SKrish Sadhukhan 	cr0 |= X86_CR0_CD;
2291e8d7a8f6SKrish Sadhukhan 	cr0 &= ~X86_CR0_NW;
2292e8d7a8f6SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
2293a79c9495SKrish Sadhukhan 	report (svm_vmrun() == SVM_EXIT_VMMCALL, "Test CR0 CD=1,NW=0: %lx",
2294a79c9495SKrish Sadhukhan 	    cr0);
2295e8d7a8f6SKrish Sadhukhan 	cr0 |= X86_CR0_NW;
2296e8d7a8f6SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
2297a79c9495SKrish Sadhukhan 	report (svm_vmrun() == SVM_EXIT_VMMCALL, "Test CR0 CD=1,NW=1: %lx",
2298a79c9495SKrish Sadhukhan 	    cr0);
2299e8d7a8f6SKrish Sadhukhan 	cr0 &= ~X86_CR0_NW;
2300e8d7a8f6SKrish Sadhukhan 	cr0 &= ~X86_CR0_CD;
2301e8d7a8f6SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
2302a79c9495SKrish Sadhukhan 	report (svm_vmrun() == SVM_EXIT_VMMCALL, "Test CR0 CD=0,NW=0: %lx",
2303a79c9495SKrish Sadhukhan 	    cr0);
2304e8d7a8f6SKrish Sadhukhan 	cr0 |= X86_CR0_NW;
2305e8d7a8f6SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
2306a79c9495SKrish Sadhukhan 	report (svm_vmrun() == SVM_EXIT_ERR, "Test CR0 CD=0,NW=1: %lx",
2307a79c9495SKrish Sadhukhan 	    cr0);
2308e8d7a8f6SKrish Sadhukhan 	vmcb->save.cr0 = cr0_saved;
23095c052c90SKrish Sadhukhan 
23105c052c90SKrish Sadhukhan 	/*
23115c052c90SKrish Sadhukhan 	 * CR0[63:32] are not zero
23125c052c90SKrish Sadhukhan 	 */
23135c052c90SKrish Sadhukhan 	cr0 = cr0_saved;
2314eae10e8fSKrish Sadhukhan 
2315eae10e8fSKrish Sadhukhan 	SVM_TEST_REG_RESERVED_BITS(32, 63, 4, "CR0", vmcb->save.cr0, cr0_saved,
2316eae10e8fSKrish Sadhukhan 	    SVM_CR0_RESERVED_MASK);
23175c052c90SKrish Sadhukhan 	vmcb->save.cr0 = cr0_saved;
2318a79c9495SKrish Sadhukhan }
2319eae10e8fSKrish Sadhukhan 
2320a79c9495SKrish Sadhukhan static void test_cr3(void)
2321a79c9495SKrish Sadhukhan {
2322a79c9495SKrish Sadhukhan 	/*
2323a79c9495SKrish Sadhukhan 	 * CR3 MBZ bits based on different modes:
232429a01803SNadav Amit 	 *   [63:52] - long mode
2325a79c9495SKrish Sadhukhan 	 */
2326a79c9495SKrish Sadhukhan 	u64 cr3_saved = vmcb->save.cr3;
2327a79c9495SKrish Sadhukhan 
2328a79c9495SKrish Sadhukhan 	SVM_TEST_CR_RESERVED_BITS(0, 63, 1, 3, cr3_saved,
2329cb6524f3SPaolo Bonzini 	    SVM_CR3_LONG_MBZ_MASK, SVM_EXIT_ERR, "");
23306d0ecbf6SKrish Sadhukhan 
23316d0ecbf6SKrish Sadhukhan 	vmcb->save.cr3 = cr3_saved & ~SVM_CR3_LONG_MBZ_MASK;
23326d0ecbf6SKrish Sadhukhan 	report(svm_vmrun() == SVM_EXIT_VMMCALL, "Test CR3 63:0: %lx",
23336d0ecbf6SKrish Sadhukhan 	    vmcb->save.cr3);
23346d0ecbf6SKrish Sadhukhan 
23356d0ecbf6SKrish Sadhukhan 	/*
23366d0ecbf6SKrish Sadhukhan 	 * CR3 non-MBZ reserved bits based on different modes:
2337cb6524f3SPaolo Bonzini 	 *   [11:5] [2:0] - long mode (PCIDE=0)
23386d0ecbf6SKrish Sadhukhan 	 *          [2:0] - PAE legacy mode
23396d0ecbf6SKrish Sadhukhan 	 */
23406d0ecbf6SKrish Sadhukhan 	u64 cr4_saved = vmcb->save.cr4;
23416d0ecbf6SKrish Sadhukhan 	u64 *pdpe = npt_get_pml4e();
23426d0ecbf6SKrish Sadhukhan 
23436d0ecbf6SKrish Sadhukhan 	/*
23446d0ecbf6SKrish Sadhukhan 	 * Long mode
23456d0ecbf6SKrish Sadhukhan 	 */
23466d0ecbf6SKrish Sadhukhan 	if (this_cpu_has(X86_FEATURE_PCID)) {
23476d0ecbf6SKrish Sadhukhan 		vmcb->save.cr4 = cr4_saved | X86_CR4_PCIDE;
23486d0ecbf6SKrish Sadhukhan 		SVM_TEST_CR_RESERVED_BITS(0, 11, 1, 3, cr3_saved,
2349cb6524f3SPaolo Bonzini 		    SVM_CR3_LONG_RESERVED_MASK, SVM_EXIT_VMMCALL, "(PCIDE=1) ");
23506d0ecbf6SKrish Sadhukhan 
23516d0ecbf6SKrish Sadhukhan 		vmcb->save.cr3 = cr3_saved & ~SVM_CR3_LONG_RESERVED_MASK;
23526d0ecbf6SKrish Sadhukhan 		report(svm_vmrun() == SVM_EXIT_VMMCALL, "Test CR3 63:0: %lx",
23536d0ecbf6SKrish Sadhukhan 		    vmcb->save.cr3);
2354cb6524f3SPaolo Bonzini 	}
23556d0ecbf6SKrish Sadhukhan 
23566d0ecbf6SKrish Sadhukhan 	vmcb->save.cr4 = cr4_saved & ~X86_CR4_PCIDE;
23576d0ecbf6SKrish Sadhukhan 
23586d0ecbf6SKrish Sadhukhan 	/* Clear P (Present) bit in NPT in order to trigger #NPF */
23596d0ecbf6SKrish Sadhukhan 	pdpe[0] &= ~1ULL;
23606d0ecbf6SKrish Sadhukhan 
23616d0ecbf6SKrish Sadhukhan 	SVM_TEST_CR_RESERVED_BITS(0, 11, 1, 3, cr3_saved,
2362cb6524f3SPaolo Bonzini 	    SVM_CR3_LONG_RESERVED_MASK, SVM_EXIT_NPF, "(PCIDE=0) ");
23636d0ecbf6SKrish Sadhukhan 
23646d0ecbf6SKrish Sadhukhan 	pdpe[0] |= 1ULL;
2365cb6524f3SPaolo Bonzini 	vmcb->save.cr3 = cr3_saved;
23666d0ecbf6SKrish Sadhukhan 
23676d0ecbf6SKrish Sadhukhan 	/*
23686d0ecbf6SKrish Sadhukhan 	 * PAE legacy
23696d0ecbf6SKrish Sadhukhan 	 */
23706d0ecbf6SKrish Sadhukhan 	pdpe[0] &= ~1ULL;
23716d0ecbf6SKrish Sadhukhan 	vmcb->save.cr4 = cr4_saved | X86_CR4_PAE;
23726d0ecbf6SKrish Sadhukhan 	SVM_TEST_CR_RESERVED_BITS(0, 2, 1, 3, cr3_saved,
2373cb6524f3SPaolo Bonzini 	    SVM_CR3_PAE_LEGACY_RESERVED_MASK, SVM_EXIT_NPF, "(PAE) ");
23746d0ecbf6SKrish Sadhukhan 
23756d0ecbf6SKrish Sadhukhan 	pdpe[0] |= 1ULL;
2376a79c9495SKrish Sadhukhan 	vmcb->save.cr3 = cr3_saved;
23776d0ecbf6SKrish Sadhukhan 	vmcb->save.cr4 = cr4_saved;
2378a79c9495SKrish Sadhukhan }
2379a79c9495SKrish Sadhukhan 
2380a79c9495SKrish Sadhukhan static void test_cr4(void)
2381a79c9495SKrish Sadhukhan {
2382a79c9495SKrish Sadhukhan 	/*
2383a79c9495SKrish Sadhukhan 	 * CR4 MBZ bits based on different modes:
2384a79c9495SKrish Sadhukhan 	 *   [15:12], 17, 19, [31:22] - legacy mode
2385a79c9495SKrish Sadhukhan 	 *   [15:12], 17, 19, [63:22] - long mode
2386a79c9495SKrish Sadhukhan 	 */
2387a79c9495SKrish Sadhukhan 	u64 cr4_saved = vmcb->save.cr4;
2388a79c9495SKrish Sadhukhan 	u64 efer_saved = vmcb->save.efer;
2389a79c9495SKrish Sadhukhan 	u64 efer = efer_saved;
2390a79c9495SKrish Sadhukhan 
2391a79c9495SKrish Sadhukhan 	efer &= ~EFER_LME;
2392a79c9495SKrish Sadhukhan 	vmcb->save.efer = efer;
2393a79c9495SKrish Sadhukhan 	SVM_TEST_CR_RESERVED_BITS(12, 31, 1, 4, cr4_saved,
2394cb6524f3SPaolo Bonzini 	    SVM_CR4_LEGACY_RESERVED_MASK, SVM_EXIT_ERR, "");
2395a79c9495SKrish Sadhukhan 
2396a79c9495SKrish Sadhukhan 	efer |= EFER_LME;
2397a79c9495SKrish Sadhukhan 	vmcb->save.efer = efer;
2398a79c9495SKrish Sadhukhan 	SVM_TEST_CR_RESERVED_BITS(12, 31, 1, 4, cr4_saved,
2399cb6524f3SPaolo Bonzini 	    SVM_CR4_RESERVED_MASK, SVM_EXIT_ERR, "");
2400a79c9495SKrish Sadhukhan 	SVM_TEST_CR_RESERVED_BITS(32, 63, 4, 4, cr4_saved,
2401cb6524f3SPaolo Bonzini 	    SVM_CR4_RESERVED_MASK, SVM_EXIT_ERR, "");
2402a79c9495SKrish Sadhukhan 
2403a79c9495SKrish Sadhukhan 	vmcb->save.cr4 = cr4_saved;
2404a79c9495SKrish Sadhukhan 	vmcb->save.efer = efer_saved;
2405a79c9495SKrish Sadhukhan }
2406a79c9495SKrish Sadhukhan 
2407a79c9495SKrish Sadhukhan static void test_dr(void)
2408a79c9495SKrish Sadhukhan {
2409eae10e8fSKrish Sadhukhan 	/*
2410eae10e8fSKrish Sadhukhan 	 * DR6[63:32] and DR7[63:32] are MBZ
2411eae10e8fSKrish Sadhukhan 	 */
2412eae10e8fSKrish Sadhukhan 	u64 dr_saved = vmcb->save.dr6;
2413eae10e8fSKrish Sadhukhan 
2414eae10e8fSKrish Sadhukhan 	SVM_TEST_REG_RESERVED_BITS(32, 63, 4, "DR6", vmcb->save.dr6, dr_saved,
2415eae10e8fSKrish Sadhukhan 	    SVM_DR6_RESERVED_MASK);
2416eae10e8fSKrish Sadhukhan 	vmcb->save.dr6 = dr_saved;
2417eae10e8fSKrish Sadhukhan 
2418eae10e8fSKrish Sadhukhan 	dr_saved = vmcb->save.dr7;
2419eae10e8fSKrish Sadhukhan 	SVM_TEST_REG_RESERVED_BITS(32, 63, 4, "DR7", vmcb->save.dr7, dr_saved,
2420eae10e8fSKrish Sadhukhan 	    SVM_DR7_RESERVED_MASK);
2421eae10e8fSKrish Sadhukhan 
2422eae10e8fSKrish Sadhukhan 	vmcb->save.dr7 = dr_saved;
2423a79c9495SKrish Sadhukhan }
2424eae10e8fSKrish Sadhukhan 
2425*abe82380SKrish Sadhukhan /* TODO: verify if high 32-bits are sign- or zero-extended on bare metal */
2426*abe82380SKrish Sadhukhan #define	TEST_BITMAP_ADDR(save_intercept, type, addr, exit_code,		\
2427*abe82380SKrish Sadhukhan 			 msg) {						\
2428*abe82380SKrish Sadhukhan 	vmcb->control.intercept = saved_intercept | 1ULL << type;	\
2429*abe82380SKrish Sadhukhan 	if (type == INTERCEPT_MSR_PROT)					\
2430*abe82380SKrish Sadhukhan 		vmcb->control.msrpm_base_pa = addr;			\
2431*abe82380SKrish Sadhukhan 	else								\
2432*abe82380SKrish Sadhukhan 		vmcb->control.iopm_base_pa = addr;			\
2433*abe82380SKrish Sadhukhan 	report(svm_vmrun() == exit_code,				\
2434*abe82380SKrish Sadhukhan 	    "Test %s address: %lx", msg, addr);                         \
2435*abe82380SKrish Sadhukhan }
2436*abe82380SKrish Sadhukhan 
2437*abe82380SKrish Sadhukhan /*
2438*abe82380SKrish Sadhukhan  * If the MSR or IOIO intercept table extends to a physical address that
2439*abe82380SKrish Sadhukhan  * is greater than or equal to the maximum supported physical address, the
2440*abe82380SKrish Sadhukhan  * guest state is illegal.
2441*abe82380SKrish Sadhukhan  *
2442*abe82380SKrish Sadhukhan  * The VMRUN instruction ignores the lower 12 bits of the address specified
2443*abe82380SKrish Sadhukhan  * in the VMCB.
2444*abe82380SKrish Sadhukhan  *
2445*abe82380SKrish Sadhukhan  * MSRPM spans 2 contiguous 4KB pages while IOPM spans 2 contiguous 4KB
2446*abe82380SKrish Sadhukhan  * pages + 1 byte.
2447*abe82380SKrish Sadhukhan  *
2448*abe82380SKrish Sadhukhan  * [APM vol 2]
2449*abe82380SKrish Sadhukhan  *
2450*abe82380SKrish Sadhukhan  * Note: Unallocated MSRPM addresses conforming to consistency checks, generate
2451*abe82380SKrish Sadhukhan  * #NPF.
2452*abe82380SKrish Sadhukhan  */
2453*abe82380SKrish Sadhukhan static void test_msrpm_iopm_bitmap_addrs(void)
2454*abe82380SKrish Sadhukhan {
2455*abe82380SKrish Sadhukhan 	u64 saved_intercept = vmcb->control.intercept;
2456*abe82380SKrish Sadhukhan 	u64 addr_beyond_limit = 1ull << cpuid_maxphyaddr();
2457*abe82380SKrish Sadhukhan 	u64 addr = virt_to_phys(msr_bitmap) & (~((1ull << 12) - 1));
2458*abe82380SKrish Sadhukhan 
2459*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_MSR_PROT,
2460*abe82380SKrish Sadhukhan 			addr_beyond_limit - 3 * PAGE_SIZE, SVM_EXIT_ERR,
2461*abe82380SKrish Sadhukhan 			"MSRPM");
2462*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_MSR_PROT,
2463*abe82380SKrish Sadhukhan 			addr_beyond_limit - 2 * PAGE_SIZE, SVM_EXIT_ERR,
2464*abe82380SKrish Sadhukhan 			"MSRPM");
2465*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_MSR_PROT,
2466*abe82380SKrish Sadhukhan 			addr_beyond_limit - 2 * PAGE_SIZE + 1, SVM_EXIT_ERR,
2467*abe82380SKrish Sadhukhan 			"MSRPM");
2468*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_MSR_PROT,
2469*abe82380SKrish Sadhukhan 			addr_beyond_limit - PAGE_SIZE, SVM_EXIT_ERR,
2470*abe82380SKrish Sadhukhan 			"MSRPM");
2471*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_MSR_PROT, addr,
2472*abe82380SKrish Sadhukhan 			SVM_EXIT_VMMCALL, "MSRPM");
2473*abe82380SKrish Sadhukhan 	addr |= (1ull << 12) - 1;
2474*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_MSR_PROT, addr,
2475*abe82380SKrish Sadhukhan 			SVM_EXIT_VMMCALL, "MSRPM");
2476*abe82380SKrish Sadhukhan 
2477*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT,
2478*abe82380SKrish Sadhukhan 			addr_beyond_limit - 4 * PAGE_SIZE, SVM_EXIT_VMMCALL,
2479*abe82380SKrish Sadhukhan 			"IOPM");
2480*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT,
2481*abe82380SKrish Sadhukhan 			addr_beyond_limit - 3 * PAGE_SIZE, SVM_EXIT_VMMCALL,
2482*abe82380SKrish Sadhukhan 			"IOPM");
2483*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT,
2484*abe82380SKrish Sadhukhan 			addr_beyond_limit - 2 * PAGE_SIZE - 2, SVM_EXIT_VMMCALL,
2485*abe82380SKrish Sadhukhan 			"IOPM");
2486*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT,
2487*abe82380SKrish Sadhukhan 			addr_beyond_limit - 2 * PAGE_SIZE, SVM_EXIT_ERR,
2488*abe82380SKrish Sadhukhan 			"IOPM");
2489*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT,
2490*abe82380SKrish Sadhukhan 			addr_beyond_limit - PAGE_SIZE, SVM_EXIT_ERR,
2491*abe82380SKrish Sadhukhan 			"IOPM");
2492*abe82380SKrish Sadhukhan 	addr = virt_to_phys(io_bitmap) & (~((1ull << 11) - 1));
2493*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT, addr,
2494*abe82380SKrish Sadhukhan 			SVM_EXIT_VMMCALL, "IOPM");
2495*abe82380SKrish Sadhukhan 	addr |= (1ull << 12) - 1;
2496*abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT, addr,
2497*abe82380SKrish Sadhukhan 			SVM_EXIT_VMMCALL, "IOPM");
2498*abe82380SKrish Sadhukhan 
2499*abe82380SKrish Sadhukhan 	vmcb->control.intercept = saved_intercept;
2500*abe82380SKrish Sadhukhan }
2501*abe82380SKrish Sadhukhan 
2502a79c9495SKrish Sadhukhan static void svm_guest_state_test(void)
2503a79c9495SKrish Sadhukhan {
2504a79c9495SKrish Sadhukhan 	test_set_guest(basic_guest_main);
2505a79c9495SKrish Sadhukhan 	test_efer();
2506a79c9495SKrish Sadhukhan 	test_cr0();
2507a79c9495SKrish Sadhukhan 	test_cr3();
2508a79c9495SKrish Sadhukhan 	test_cr4();
2509a79c9495SKrish Sadhukhan 	test_dr();
2510*abe82380SKrish Sadhukhan 	test_msrpm_iopm_bitmap_addrs();
2511ba29942cSKrish Sadhukhan }
2512ba29942cSKrish Sadhukhan 
25137a57ef5dSMaxim Levitsky 
25147a57ef5dSMaxim Levitsky static bool volatile svm_errata_reproduced = false;
25157a57ef5dSMaxim Levitsky static unsigned long volatile physical = 0;
25167a57ef5dSMaxim Levitsky 
25177a57ef5dSMaxim Levitsky 
25187a57ef5dSMaxim Levitsky /*
25197a57ef5dSMaxim Levitsky  *
25207a57ef5dSMaxim Levitsky  * Test the following errata:
25217a57ef5dSMaxim Levitsky  * If the VMRUN/VMSAVE/VMLOAD are attempted by the nested guest,
25227a57ef5dSMaxim Levitsky  * the CPU would first check the EAX against host reserved memory
25237a57ef5dSMaxim Levitsky  * regions (so far only SMM_ADDR/SMM_MASK are known to cause it),
25247a57ef5dSMaxim Levitsky  * and only then signal #VMexit
25257a57ef5dSMaxim Levitsky  *
25267a57ef5dSMaxim Levitsky  * Try to reproduce this by trying vmsave on each possible 4K aligned memory
25277a57ef5dSMaxim Levitsky  * address in the low 4G where the SMM area has to reside.
25287a57ef5dSMaxim Levitsky  */
25297a57ef5dSMaxim Levitsky 
25307a57ef5dSMaxim Levitsky static void gp_isr(struct ex_regs *r)
25317a57ef5dSMaxim Levitsky {
25327a57ef5dSMaxim Levitsky     svm_errata_reproduced = true;
25337a57ef5dSMaxim Levitsky     /* skip over the vmsave instruction*/
25347a57ef5dSMaxim Levitsky     r->rip += 3;
25357a57ef5dSMaxim Levitsky }
25367a57ef5dSMaxim Levitsky 
25377a57ef5dSMaxim Levitsky static void svm_vmrun_errata_test(void)
25387a57ef5dSMaxim Levitsky {
25397a57ef5dSMaxim Levitsky     unsigned long *last_page = NULL;
25407a57ef5dSMaxim Levitsky 
25417a57ef5dSMaxim Levitsky     handle_exception(GP_VECTOR, gp_isr);
25427a57ef5dSMaxim Levitsky 
25437a57ef5dSMaxim Levitsky     while (!svm_errata_reproduced) {
25447a57ef5dSMaxim Levitsky 
25457a57ef5dSMaxim Levitsky         unsigned long *page = alloc_pages(1);
25467a57ef5dSMaxim Levitsky 
25477a57ef5dSMaxim Levitsky         if (!page) {
25487a57ef5dSMaxim Levitsky             report(true, "All guest memory tested, no bug found");;
25497a57ef5dSMaxim Levitsky             break;
25507a57ef5dSMaxim Levitsky         }
25517a57ef5dSMaxim Levitsky 
25527a57ef5dSMaxim Levitsky         physical = virt_to_phys(page);
25537a57ef5dSMaxim Levitsky 
25547a57ef5dSMaxim Levitsky         asm volatile (
25557a57ef5dSMaxim Levitsky             "mov %[_physical], %%rax\n\t"
25567a57ef5dSMaxim Levitsky             "vmsave %%rax\n\t"
25577a57ef5dSMaxim Levitsky 
25587a57ef5dSMaxim Levitsky             : [_physical] "=m" (physical)
25597a57ef5dSMaxim Levitsky             : /* no inputs*/
25607a57ef5dSMaxim Levitsky             : "rax" /*clobbers*/
25617a57ef5dSMaxim Levitsky         );
25627a57ef5dSMaxim Levitsky 
25637a57ef5dSMaxim Levitsky         if (svm_errata_reproduced) {
25647a57ef5dSMaxim Levitsky             report(false, "Got #GP exception - svm errata reproduced at 0x%lx",
25657a57ef5dSMaxim Levitsky                    physical);
25667a57ef5dSMaxim Levitsky             break;
25677a57ef5dSMaxim Levitsky         }
25687a57ef5dSMaxim Levitsky 
25697a57ef5dSMaxim Levitsky         *page = (unsigned long)last_page;
25707a57ef5dSMaxim Levitsky         last_page = page;
25717a57ef5dSMaxim Levitsky     }
25727a57ef5dSMaxim Levitsky 
25737a57ef5dSMaxim Levitsky     while (last_page) {
25747a57ef5dSMaxim Levitsky         unsigned long *page = last_page;
25757a57ef5dSMaxim Levitsky         last_page = (unsigned long *)*last_page;
25767a57ef5dSMaxim Levitsky         free_pages_by_order(page, 1);
25777a57ef5dSMaxim Levitsky     }
25787a57ef5dSMaxim Levitsky }
25797a57ef5dSMaxim Levitsky 
25800b6f6cedSKrish Sadhukhan static void vmload_vmsave_guest_main(struct svm_test *test)
25810b6f6cedSKrish Sadhukhan {
25820b6f6cedSKrish Sadhukhan 	u64 vmcb_phys = virt_to_phys(vmcb);
25830b6f6cedSKrish Sadhukhan 
25840b6f6cedSKrish Sadhukhan 	asm volatile ("vmload %0" : : "a"(vmcb_phys));
25850b6f6cedSKrish Sadhukhan 	asm volatile ("vmsave %0" : : "a"(vmcb_phys));
25860b6f6cedSKrish Sadhukhan }
25870b6f6cedSKrish Sadhukhan 
25880b6f6cedSKrish Sadhukhan static void svm_vmload_vmsave(void)
25890b6f6cedSKrish Sadhukhan {
25900b6f6cedSKrish Sadhukhan 	u32 intercept_saved = vmcb->control.intercept;
25910b6f6cedSKrish Sadhukhan 
25920b6f6cedSKrish Sadhukhan 	test_set_guest(vmload_vmsave_guest_main);
25930b6f6cedSKrish Sadhukhan 
25940b6f6cedSKrish Sadhukhan 	/*
25950b6f6cedSKrish Sadhukhan 	 * Disabling intercept for VMLOAD and VMSAVE doesn't cause
25960b6f6cedSKrish Sadhukhan 	 * respective #VMEXIT to host
25970b6f6cedSKrish Sadhukhan 	 */
25980b6f6cedSKrish Sadhukhan 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMLOAD);
25990b6f6cedSKrish Sadhukhan 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMSAVE);
26000b6f6cedSKrish Sadhukhan 	svm_vmrun();
26010b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMMCALL, "Test "
26020b6f6cedSKrish Sadhukhan 	    "VMLOAD/VMSAVE intercept: Expected VMMCALL #VMEXIT");
26030b6f6cedSKrish Sadhukhan 
26040b6f6cedSKrish Sadhukhan 	/*
26050b6f6cedSKrish Sadhukhan 	 * Enabling intercept for VMLOAD and VMSAVE causes respective
26060b6f6cedSKrish Sadhukhan 	 * #VMEXIT to host
26070b6f6cedSKrish Sadhukhan 	 */
26080b6f6cedSKrish Sadhukhan 	vmcb->control.intercept |= (1ULL << INTERCEPT_VMLOAD);
26090b6f6cedSKrish Sadhukhan 	svm_vmrun();
26100b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMLOAD, "Test "
26110b6f6cedSKrish Sadhukhan 	    "VMLOAD/VMSAVE intercept: Expected VMLOAD #VMEXIT");
26120b6f6cedSKrish Sadhukhan 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMLOAD);
26130b6f6cedSKrish Sadhukhan 	vmcb->control.intercept |= (1ULL << INTERCEPT_VMSAVE);
26140b6f6cedSKrish Sadhukhan 	svm_vmrun();
26150b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMSAVE, "Test "
26160b6f6cedSKrish Sadhukhan 	    "VMLOAD/VMSAVE intercept: Expected VMSAVE #VMEXIT");
26170b6f6cedSKrish Sadhukhan 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMSAVE);
26180b6f6cedSKrish Sadhukhan 	svm_vmrun();
26190b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMMCALL, "Test "
26200b6f6cedSKrish Sadhukhan 	    "VMLOAD/VMSAVE intercept: Expected VMMCALL #VMEXIT");
26210b6f6cedSKrish Sadhukhan 
26220b6f6cedSKrish Sadhukhan 	vmcb->control.intercept |= (1ULL << INTERCEPT_VMLOAD);
26230b6f6cedSKrish Sadhukhan 	svm_vmrun();
26240b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMLOAD, "Test "
26250b6f6cedSKrish Sadhukhan 	    "VMLOAD/VMSAVE intercept: Expected VMLOAD #VMEXIT");
26260b6f6cedSKrish Sadhukhan 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMLOAD);
26270b6f6cedSKrish Sadhukhan 	svm_vmrun();
26280b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMMCALL, "Test "
26290b6f6cedSKrish Sadhukhan 	    "VMLOAD/VMSAVE intercept: Expected VMMCALL #VMEXIT");
26300b6f6cedSKrish Sadhukhan 
26310b6f6cedSKrish Sadhukhan 	vmcb->control.intercept |= (1ULL << INTERCEPT_VMSAVE);
26320b6f6cedSKrish Sadhukhan 	svm_vmrun();
26330b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMSAVE, "Test "
26340b6f6cedSKrish Sadhukhan 	    "VMLOAD/VMSAVE intercept: Expected VMSAVE #VMEXIT");
26350b6f6cedSKrish Sadhukhan 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMSAVE);
26360b6f6cedSKrish Sadhukhan 	svm_vmrun();
26370b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMMCALL, "Test "
26380b6f6cedSKrish Sadhukhan 	    "VMLOAD/VMSAVE intercept: Expected VMMCALL #VMEXIT");
26390b6f6cedSKrish Sadhukhan 
26400b6f6cedSKrish Sadhukhan 	vmcb->control.intercept = intercept_saved;
26410b6f6cedSKrish Sadhukhan }
26420b6f6cedSKrish Sadhukhan 
2643ad879127SKrish Sadhukhan struct svm_test svm_tests[] = {
2644ad879127SKrish Sadhukhan     { "null", default_supported, default_prepare,
2645ad879127SKrish Sadhukhan       default_prepare_gif_clear, null_test,
2646ad879127SKrish Sadhukhan       default_finished, null_check },
2647ad879127SKrish Sadhukhan     { "vmrun", default_supported, default_prepare,
2648ad879127SKrish Sadhukhan       default_prepare_gif_clear, test_vmrun,
2649ad879127SKrish Sadhukhan        default_finished, check_vmrun },
2650ad879127SKrish Sadhukhan     { "ioio", default_supported, prepare_ioio,
2651ad879127SKrish Sadhukhan        default_prepare_gif_clear, test_ioio,
2652ad879127SKrish Sadhukhan        ioio_finished, check_ioio },
2653ad879127SKrish Sadhukhan     { "vmrun intercept check", default_supported, prepare_no_vmrun_int,
2654ad879127SKrish Sadhukhan       default_prepare_gif_clear, null_test, default_finished,
2655ad879127SKrish Sadhukhan       check_no_vmrun_int },
2656401299a5SPaolo Bonzini     { "rsm", default_supported,
2657401299a5SPaolo Bonzini       prepare_rsm_intercept, default_prepare_gif_clear,
2658401299a5SPaolo Bonzini       test_rsm_intercept, finished_rsm_intercept, check_rsm_intercept },
2659ad879127SKrish Sadhukhan     { "cr3 read intercept", default_supported,
2660ad879127SKrish Sadhukhan       prepare_cr3_intercept, default_prepare_gif_clear,
2661ad879127SKrish Sadhukhan       test_cr3_intercept, default_finished, check_cr3_intercept },
2662ad879127SKrish Sadhukhan     { "cr3 read nointercept", default_supported, default_prepare,
2663ad879127SKrish Sadhukhan       default_prepare_gif_clear, test_cr3_intercept, default_finished,
2664ad879127SKrish Sadhukhan       check_cr3_nointercept },
2665ad879127SKrish Sadhukhan     { "cr3 read intercept emulate", smp_supported,
2666ad879127SKrish Sadhukhan       prepare_cr3_intercept_bypass, default_prepare_gif_clear,
2667ad879127SKrish Sadhukhan       test_cr3_intercept_bypass, default_finished, check_cr3_intercept },
2668ad879127SKrish Sadhukhan     { "dr intercept check", default_supported, prepare_dr_intercept,
2669ad879127SKrish Sadhukhan       default_prepare_gif_clear, test_dr_intercept, dr_intercept_finished,
2670ad879127SKrish Sadhukhan       check_dr_intercept },
2671ad879127SKrish Sadhukhan     { "next_rip", next_rip_supported, prepare_next_rip,
2672ad879127SKrish Sadhukhan       default_prepare_gif_clear, test_next_rip,
2673ad879127SKrish Sadhukhan       default_finished, check_next_rip },
2674ad879127SKrish Sadhukhan     { "msr intercept check", default_supported, prepare_msr_intercept,
2675ad879127SKrish Sadhukhan       default_prepare_gif_clear, test_msr_intercept,
2676ad879127SKrish Sadhukhan       msr_intercept_finished, check_msr_intercept },
2677ad879127SKrish Sadhukhan     { "mode_switch", default_supported, prepare_mode_switch,
2678ad879127SKrish Sadhukhan       default_prepare_gif_clear, test_mode_switch,
2679ad879127SKrish Sadhukhan        mode_switch_finished, check_mode_switch },
2680ad879127SKrish Sadhukhan     { "asid_zero", default_supported, prepare_asid_zero,
2681ad879127SKrish Sadhukhan       default_prepare_gif_clear, test_asid_zero,
2682ad879127SKrish Sadhukhan        default_finished, check_asid_zero },
2683ad879127SKrish Sadhukhan     { "sel_cr0_bug", default_supported, sel_cr0_bug_prepare,
2684ad879127SKrish Sadhukhan       default_prepare_gif_clear, sel_cr0_bug_test,
2685ad879127SKrish Sadhukhan        sel_cr0_bug_finished, sel_cr0_bug_check },
2686ad879127SKrish Sadhukhan     { "npt_nx", npt_supported, npt_nx_prepare,
2687ad879127SKrish Sadhukhan       default_prepare_gif_clear, null_test,
2688ad879127SKrish Sadhukhan       default_finished, npt_nx_check },
26896faca2a5SKrish Sadhukhan     { "npt_np", npt_supported, npt_np_prepare,
26906faca2a5SKrish Sadhukhan       default_prepare_gif_clear, npt_np_test,
26916faca2a5SKrish Sadhukhan       default_finished, npt_np_check },
2692ad879127SKrish Sadhukhan     { "npt_us", npt_supported, npt_us_prepare,
2693ad879127SKrish Sadhukhan       default_prepare_gif_clear, npt_us_test,
2694ad879127SKrish Sadhukhan       default_finished, npt_us_check },
2695ad879127SKrish Sadhukhan     { "npt_rsvd", npt_supported, npt_rsvd_prepare,
2696ad879127SKrish Sadhukhan       default_prepare_gif_clear, null_test,
2697ad879127SKrish Sadhukhan       default_finished, npt_rsvd_check },
2698ad879127SKrish Sadhukhan     { "npt_rw", npt_supported, npt_rw_prepare,
2699ad879127SKrish Sadhukhan       default_prepare_gif_clear, npt_rw_test,
2700ad879127SKrish Sadhukhan       default_finished, npt_rw_check },
2701ad879127SKrish Sadhukhan     { "npt_rsvd_pfwalk", npt_supported, npt_rsvd_pfwalk_prepare,
2702ad879127SKrish Sadhukhan       default_prepare_gif_clear, null_test,
2703ad879127SKrish Sadhukhan       default_finished, npt_rsvd_pfwalk_check },
2704ad879127SKrish Sadhukhan     { "npt_rw_pfwalk", npt_supported, npt_rw_pfwalk_prepare,
2705ad879127SKrish Sadhukhan       default_prepare_gif_clear, null_test,
2706ad879127SKrish Sadhukhan       default_finished, npt_rw_pfwalk_check },
2707ad879127SKrish Sadhukhan     { "npt_l1mmio", npt_supported, npt_l1mmio_prepare,
2708ad879127SKrish Sadhukhan       default_prepare_gif_clear, npt_l1mmio_test,
2709ad879127SKrish Sadhukhan       default_finished, npt_l1mmio_check },
2710ad879127SKrish Sadhukhan     { "npt_rw_l1mmio", npt_supported, npt_rw_l1mmio_prepare,
2711ad879127SKrish Sadhukhan       default_prepare_gif_clear, npt_rw_l1mmio_test,
2712ad879127SKrish Sadhukhan       default_finished, npt_rw_l1mmio_check },
271310a65fc4SNadav Amit     { "tsc_adjust", tsc_adjust_supported, tsc_adjust_prepare,
2714ad879127SKrish Sadhukhan       default_prepare_gif_clear, tsc_adjust_test,
2715ad879127SKrish Sadhukhan       default_finished, tsc_adjust_check },
2716ad879127SKrish Sadhukhan     { "latency_run_exit", default_supported, latency_prepare,
2717ad879127SKrish Sadhukhan       default_prepare_gif_clear, latency_test,
2718ad879127SKrish Sadhukhan       latency_finished, latency_check },
2719f7fa53dcSPaolo Bonzini     { "latency_run_exit_clean", default_supported, latency_prepare,
2720f7fa53dcSPaolo Bonzini       default_prepare_gif_clear, latency_test,
2721f7fa53dcSPaolo Bonzini       latency_finished_clean, latency_check },
2722ad879127SKrish Sadhukhan     { "latency_svm_insn", default_supported, lat_svm_insn_prepare,
2723ad879127SKrish Sadhukhan       default_prepare_gif_clear, null_test,
2724ad879127SKrish Sadhukhan       lat_svm_insn_finished, lat_svm_insn_check },
27254b4fb247SPaolo Bonzini     { "exc_inject", default_supported, exc_inject_prepare,
27264b4fb247SPaolo Bonzini       default_prepare_gif_clear, exc_inject_test,
27274b4fb247SPaolo Bonzini       exc_inject_finished, exc_inject_check },
2728ad879127SKrish Sadhukhan     { "pending_event", default_supported, pending_event_prepare,
2729ad879127SKrish Sadhukhan       default_prepare_gif_clear,
2730ad879127SKrish Sadhukhan       pending_event_test, pending_event_finished, pending_event_check },
273185dc2aceSPaolo Bonzini     { "pending_event_cli", default_supported, pending_event_cli_prepare,
273285dc2aceSPaolo Bonzini       pending_event_cli_prepare_gif_clear,
273385dc2aceSPaolo Bonzini       pending_event_cli_test, pending_event_cli_finished,
273485dc2aceSPaolo Bonzini       pending_event_cli_check },
273585dc2aceSPaolo Bonzini     { "interrupt", default_supported, interrupt_prepare,
273685dc2aceSPaolo Bonzini       default_prepare_gif_clear, interrupt_test,
273785dc2aceSPaolo Bonzini       interrupt_finished, interrupt_check },
2738d4db486bSCathy Avery     { "nmi", default_supported, nmi_prepare,
2739d4db486bSCathy Avery       default_prepare_gif_clear, nmi_test,
2740d4db486bSCathy Avery       nmi_finished, nmi_check },
27419da1f4d8SCathy Avery     { "nmi_hlt", smp_supported, nmi_prepare,
27429da1f4d8SCathy Avery       default_prepare_gif_clear, nmi_hlt_test,
27439da1f4d8SCathy Avery       nmi_hlt_finished, nmi_hlt_check },
27449c838954SCathy Avery     { "virq_inject", default_supported, virq_inject_prepare,
27459c838954SCathy Avery       default_prepare_gif_clear, virq_inject_test,
27469c838954SCathy Avery       virq_inject_finished, virq_inject_check },
2747da338a31SMaxim Levitsky     { "reg_corruption", default_supported, reg_corruption_prepare,
2748da338a31SMaxim Levitsky       default_prepare_gif_clear, reg_corruption_test,
2749da338a31SMaxim Levitsky       reg_corruption_finished, reg_corruption_check },
27504770e9c8SCathy Avery     { "svm_init_startup_test", smp_supported, init_startup_prepare,
27514770e9c8SCathy Avery       default_prepare_gif_clear, null_test,
27524770e9c8SCathy Avery       init_startup_finished, init_startup_check },
2753d5da6dfeSCathy Avery     { "svm_init_intercept_test", smp_supported, init_intercept_prepare,
2754d5da6dfeSCathy Avery       default_prepare_gif_clear, init_intercept_test,
2755d5da6dfeSCathy Avery       init_intercept_finished, init_intercept_check, .on_vcpu = 2 },
27567839b0ecSKrish Sadhukhan     { "host_rflags", default_supported, host_rflags_prepare,
27577839b0ecSKrish Sadhukhan       host_rflags_prepare_gif_clear, host_rflags_test,
27587839b0ecSKrish Sadhukhan       host_rflags_finished, host_rflags_check },
2759f32183f5SJim Mattson     TEST(svm_cr4_osxsave_test),
2760ba29942cSKrish Sadhukhan     TEST(svm_guest_state_test),
27617a57ef5dSMaxim Levitsky     TEST(svm_vmrun_errata_test),
27620b6f6cedSKrish Sadhukhan     TEST(svm_vmload_vmsave),
2763ad879127SKrish Sadhukhan     { NULL, NULL, NULL, NULL, NULL, NULL, NULL }
2764ad879127SKrish Sadhukhan };
2765