xref: /kvm-unit-tests/x86/svm_tests.c (revision 4b3c61143e03992c052fe2fe4aeae249abd4cd56)
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 "alloc_page.h"
9ad879127SKrish Sadhukhan #include "isr.h"
10ad879127SKrish Sadhukhan #include "apic.h"
119da1f4d8SCathy Avery #include "delay.h"
12ddb85855SSean Christopherson #include "util.h"
138177dc62SManali Shukla #include "x86/usermode.h"
14c64f24fdSMaxim Levitsky #include "vmalloc.h"
15ad879127SKrish Sadhukhan 
16ad879127SKrish Sadhukhan #define SVM_EXIT_MAX_DR_INTERCEPT 0x3f
17ad879127SKrish Sadhukhan 
18ad879127SKrish Sadhukhan #define LATENCY_RUNS 1000000
19ad879127SKrish Sadhukhan 
20ad879127SKrish Sadhukhan u64 tsc_start;
21ad879127SKrish Sadhukhan u64 tsc_end;
22ad879127SKrish Sadhukhan 
23ad879127SKrish Sadhukhan u64 vmrun_sum, vmexit_sum;
24ad879127SKrish Sadhukhan u64 vmsave_sum, vmload_sum;
25ad879127SKrish Sadhukhan u64 stgi_sum, clgi_sum;
26ad879127SKrish Sadhukhan u64 latvmrun_max;
27ad879127SKrish Sadhukhan u64 latvmrun_min;
28ad879127SKrish Sadhukhan u64 latvmexit_max;
29ad879127SKrish Sadhukhan u64 latvmexit_min;
30ad879127SKrish Sadhukhan u64 latvmload_max;
31ad879127SKrish Sadhukhan u64 latvmload_min;
32ad879127SKrish Sadhukhan u64 latvmsave_max;
33ad879127SKrish Sadhukhan u64 latvmsave_min;
34ad879127SKrish Sadhukhan u64 latstgi_max;
35ad879127SKrish Sadhukhan u64 latstgi_min;
36ad879127SKrish Sadhukhan u64 latclgi_max;
37ad879127SKrish Sadhukhan u64 latclgi_min;
38ad879127SKrish Sadhukhan u64 runs;
39ad879127SKrish Sadhukhan 
40ad879127SKrish Sadhukhan static void null_test(struct svm_test *test)
41ad879127SKrish Sadhukhan {
42ad879127SKrish Sadhukhan }
43ad879127SKrish Sadhukhan 
44ad879127SKrish Sadhukhan static bool null_check(struct svm_test *test)
45ad879127SKrish Sadhukhan {
46096cf7feSPaolo Bonzini 	return vmcb->control.exit_code == SVM_EXIT_VMMCALL;
47ad879127SKrish Sadhukhan }
48ad879127SKrish Sadhukhan 
49ad879127SKrish Sadhukhan static void prepare_no_vmrun_int(struct svm_test *test)
50ad879127SKrish Sadhukhan {
51096cf7feSPaolo Bonzini 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMRUN);
52ad879127SKrish Sadhukhan }
53ad879127SKrish Sadhukhan 
54ad879127SKrish Sadhukhan static bool check_no_vmrun_int(struct svm_test *test)
55ad879127SKrish Sadhukhan {
56096cf7feSPaolo Bonzini 	return vmcb->control.exit_code == SVM_EXIT_ERR;
57ad879127SKrish Sadhukhan }
58ad879127SKrish Sadhukhan 
59ad879127SKrish Sadhukhan static void test_vmrun(struct svm_test *test)
60ad879127SKrish Sadhukhan {
61096cf7feSPaolo Bonzini 	asm volatile ("vmrun %0" : : "a"(virt_to_phys(vmcb)));
62ad879127SKrish Sadhukhan }
63ad879127SKrish Sadhukhan 
64ad879127SKrish Sadhukhan static bool check_vmrun(struct svm_test *test)
65ad879127SKrish Sadhukhan {
66096cf7feSPaolo Bonzini 	return vmcb->control.exit_code == SVM_EXIT_VMRUN;
67ad879127SKrish Sadhukhan }
68ad879127SKrish Sadhukhan 
69401299a5SPaolo Bonzini static void prepare_rsm_intercept(struct svm_test *test)
70401299a5SPaolo Bonzini {
71401299a5SPaolo Bonzini 	default_prepare(test);
72401299a5SPaolo Bonzini 	vmcb->control.intercept |= 1 << INTERCEPT_RSM;
73401299a5SPaolo Bonzini 	vmcb->control.intercept_exceptions |= (1ULL << UD_VECTOR);
74401299a5SPaolo Bonzini }
75401299a5SPaolo Bonzini 
76401299a5SPaolo Bonzini static void test_rsm_intercept(struct svm_test *test)
77401299a5SPaolo Bonzini {
78401299a5SPaolo Bonzini 	asm volatile ("rsm" : : : "memory");
79401299a5SPaolo Bonzini }
80401299a5SPaolo Bonzini 
81401299a5SPaolo Bonzini static bool check_rsm_intercept(struct svm_test *test)
82401299a5SPaolo Bonzini {
83401299a5SPaolo Bonzini 	return get_test_stage(test) == 2;
84401299a5SPaolo Bonzini }
85401299a5SPaolo Bonzini 
86401299a5SPaolo Bonzini static bool finished_rsm_intercept(struct svm_test *test)
87401299a5SPaolo Bonzini {
88401299a5SPaolo Bonzini 	switch (get_test_stage(test)) {
89401299a5SPaolo Bonzini 	case 0:
90401299a5SPaolo Bonzini 		if (vmcb->control.exit_code != SVM_EXIT_RSM) {
91198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to rsm. Exit reason 0x%x",
92401299a5SPaolo Bonzini 				    vmcb->control.exit_code);
93401299a5SPaolo Bonzini 			return true;
94401299a5SPaolo Bonzini 		}
95401299a5SPaolo Bonzini 		vmcb->control.intercept &= ~(1 << INTERCEPT_RSM);
96401299a5SPaolo Bonzini 		inc_test_stage(test);
97401299a5SPaolo Bonzini 		break;
98401299a5SPaolo Bonzini 
99401299a5SPaolo Bonzini 	case 1:
100401299a5SPaolo Bonzini 		if (vmcb->control.exit_code != SVM_EXIT_EXCP_BASE + UD_VECTOR) {
101198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to #UD. Exit reason 0x%x",
102401299a5SPaolo Bonzini 				    vmcb->control.exit_code);
103401299a5SPaolo Bonzini 			return true;
104401299a5SPaolo Bonzini 		}
105401299a5SPaolo Bonzini 		vmcb->save.rip += 2;
106401299a5SPaolo Bonzini 		inc_test_stage(test);
107401299a5SPaolo Bonzini 		break;
108401299a5SPaolo Bonzini 
109401299a5SPaolo Bonzini 	default:
110401299a5SPaolo Bonzini 		return true;
111401299a5SPaolo Bonzini 	}
112401299a5SPaolo Bonzini 	return get_test_stage(test) == 2;
113401299a5SPaolo Bonzini }
114401299a5SPaolo Bonzini 
115ad879127SKrish Sadhukhan static void prepare_cr3_intercept(struct svm_test *test)
116ad879127SKrish Sadhukhan {
117ad879127SKrish Sadhukhan 	default_prepare(test);
118096cf7feSPaolo Bonzini 	vmcb->control.intercept_cr_read |= 1 << 3;
119ad879127SKrish Sadhukhan }
120ad879127SKrish Sadhukhan 
121ad879127SKrish Sadhukhan static void test_cr3_intercept(struct svm_test *test)
122ad879127SKrish Sadhukhan {
123ad879127SKrish Sadhukhan 	asm volatile ("mov %%cr3, %0" : "=r"(test->scratch) : : "memory");
124ad879127SKrish Sadhukhan }
125ad879127SKrish Sadhukhan 
126ad879127SKrish Sadhukhan static bool check_cr3_intercept(struct svm_test *test)
127ad879127SKrish Sadhukhan {
128096cf7feSPaolo Bonzini 	return vmcb->control.exit_code == SVM_EXIT_READ_CR3;
129ad879127SKrish Sadhukhan }
130ad879127SKrish Sadhukhan 
131ad879127SKrish Sadhukhan static bool check_cr3_nointercept(struct svm_test *test)
132ad879127SKrish Sadhukhan {
133ad879127SKrish Sadhukhan 	return null_check(test) && test->scratch == read_cr3();
134ad879127SKrish Sadhukhan }
135ad879127SKrish Sadhukhan 
136ad879127SKrish Sadhukhan static void corrupt_cr3_intercept_bypass(void *_test)
137ad879127SKrish Sadhukhan {
138ad879127SKrish Sadhukhan 	struct svm_test *test = _test;
139ad879127SKrish Sadhukhan 	extern volatile u32 mmio_insn;
140ad879127SKrish Sadhukhan 
141ad879127SKrish Sadhukhan 	while (!__sync_bool_compare_and_swap(&test->scratch, 1, 2))
142ad879127SKrish Sadhukhan 		pause();
143ad879127SKrish Sadhukhan 	pause();
144ad879127SKrish Sadhukhan 	pause();
145ad879127SKrish Sadhukhan 	pause();
146ad879127SKrish Sadhukhan 	mmio_insn = 0x90d8200f;  // mov %cr3, %rax; nop
147ad879127SKrish Sadhukhan }
148ad879127SKrish Sadhukhan 
149ad879127SKrish Sadhukhan static void prepare_cr3_intercept_bypass(struct svm_test *test)
150ad879127SKrish Sadhukhan {
151ad879127SKrish Sadhukhan 	default_prepare(test);
152096cf7feSPaolo Bonzini 	vmcb->control.intercept_cr_read |= 1 << 3;
153ad879127SKrish Sadhukhan 	on_cpu_async(1, corrupt_cr3_intercept_bypass, test);
154ad879127SKrish Sadhukhan }
155ad879127SKrish Sadhukhan 
156ad879127SKrish Sadhukhan static void test_cr3_intercept_bypass(struct svm_test *test)
157ad879127SKrish Sadhukhan {
158ad879127SKrish Sadhukhan 	ulong a = 0xa0000;
159ad879127SKrish Sadhukhan 
160ad879127SKrish Sadhukhan 	test->scratch = 1;
161ad879127SKrish Sadhukhan 	while (test->scratch != 2)
162ad879127SKrish Sadhukhan 		barrier();
163ad879127SKrish Sadhukhan 
164ad879127SKrish Sadhukhan 	asm volatile ("mmio_insn: mov %0, (%0); nop"
165ad879127SKrish Sadhukhan 		      : "+a"(a) : : "memory");
166ad879127SKrish Sadhukhan 	test->scratch = a;
167ad879127SKrish Sadhukhan }
168ad879127SKrish Sadhukhan 
169ad879127SKrish Sadhukhan static void prepare_dr_intercept(struct svm_test *test)
170ad879127SKrish Sadhukhan {
171ad879127SKrish Sadhukhan 	default_prepare(test);
172096cf7feSPaolo Bonzini 	vmcb->control.intercept_dr_read = 0xff;
173096cf7feSPaolo Bonzini 	vmcb->control.intercept_dr_write = 0xff;
174ad879127SKrish Sadhukhan }
175ad879127SKrish Sadhukhan 
176ad879127SKrish Sadhukhan static void test_dr_intercept(struct svm_test *test)
177ad879127SKrish Sadhukhan {
178ad879127SKrish Sadhukhan 	unsigned int i, failcnt = 0;
179ad879127SKrish Sadhukhan 
180ad879127SKrish Sadhukhan 	/* Loop testing debug register reads */
181ad879127SKrish Sadhukhan 	for (i = 0; i < 8; i++) {
182ad879127SKrish Sadhukhan 
183ad879127SKrish Sadhukhan 		switch (i) {
184ad879127SKrish Sadhukhan 		case 0:
185ad879127SKrish Sadhukhan 			asm volatile ("mov %%dr0, %0" : "=r"(test->scratch) : : "memory");
186ad879127SKrish Sadhukhan 			break;
187ad879127SKrish Sadhukhan 		case 1:
188ad879127SKrish Sadhukhan 			asm volatile ("mov %%dr1, %0" : "=r"(test->scratch) : : "memory");
189ad879127SKrish Sadhukhan 			break;
190ad879127SKrish Sadhukhan 		case 2:
191ad879127SKrish Sadhukhan 			asm volatile ("mov %%dr2, %0" : "=r"(test->scratch) : : "memory");
192ad879127SKrish Sadhukhan 			break;
193ad879127SKrish Sadhukhan 		case 3:
194ad879127SKrish Sadhukhan 			asm volatile ("mov %%dr3, %0" : "=r"(test->scratch) : : "memory");
195ad879127SKrish Sadhukhan 			break;
196ad879127SKrish Sadhukhan 		case 4:
197ad879127SKrish Sadhukhan 			asm volatile ("mov %%dr4, %0" : "=r"(test->scratch) : : "memory");
198ad879127SKrish Sadhukhan 			break;
199ad879127SKrish Sadhukhan 		case 5:
200ad879127SKrish Sadhukhan 			asm volatile ("mov %%dr5, %0" : "=r"(test->scratch) : : "memory");
201ad879127SKrish Sadhukhan 			break;
202ad879127SKrish Sadhukhan 		case 6:
203ad879127SKrish Sadhukhan 			asm volatile ("mov %%dr6, %0" : "=r"(test->scratch) : : "memory");
204ad879127SKrish Sadhukhan 			break;
205ad879127SKrish Sadhukhan 		case 7:
206ad879127SKrish Sadhukhan 			asm volatile ("mov %%dr7, %0" : "=r"(test->scratch) : : "memory");
207ad879127SKrish Sadhukhan 			break;
208ad879127SKrish Sadhukhan 		}
209ad879127SKrish Sadhukhan 
210ad879127SKrish Sadhukhan 		if (test->scratch != i) {
211198dfd0eSJanis Schoetterl-Glausch 			report_fail("dr%u read intercept", i);
212ad879127SKrish Sadhukhan 			failcnt++;
213ad879127SKrish Sadhukhan 		}
214ad879127SKrish Sadhukhan 	}
215ad879127SKrish Sadhukhan 
216ad879127SKrish Sadhukhan 	/* Loop testing debug register writes */
217ad879127SKrish Sadhukhan 	for (i = 0; i < 8; i++) {
218ad879127SKrish Sadhukhan 
219ad879127SKrish Sadhukhan 		switch (i) {
220ad879127SKrish Sadhukhan 		case 0:
221ad879127SKrish Sadhukhan 			asm volatile ("mov %0, %%dr0" : : "r"(test->scratch) : "memory");
222ad879127SKrish Sadhukhan 			break;
223ad879127SKrish Sadhukhan 		case 1:
224ad879127SKrish Sadhukhan 			asm volatile ("mov %0, %%dr1" : : "r"(test->scratch) : "memory");
225ad879127SKrish Sadhukhan 			break;
226ad879127SKrish Sadhukhan 		case 2:
227ad879127SKrish Sadhukhan 			asm volatile ("mov %0, %%dr2" : : "r"(test->scratch) : "memory");
228ad879127SKrish Sadhukhan 			break;
229ad879127SKrish Sadhukhan 		case 3:
230ad879127SKrish Sadhukhan 			asm volatile ("mov %0, %%dr3" : : "r"(test->scratch) : "memory");
231ad879127SKrish Sadhukhan 			break;
232ad879127SKrish Sadhukhan 		case 4:
233ad879127SKrish Sadhukhan 			asm volatile ("mov %0, %%dr4" : : "r"(test->scratch) : "memory");
234ad879127SKrish Sadhukhan 			break;
235ad879127SKrish Sadhukhan 		case 5:
236ad879127SKrish Sadhukhan 			asm volatile ("mov %0, %%dr5" : : "r"(test->scratch) : "memory");
237ad879127SKrish Sadhukhan 			break;
238ad879127SKrish Sadhukhan 		case 6:
239ad879127SKrish Sadhukhan 			asm volatile ("mov %0, %%dr6" : : "r"(test->scratch) : "memory");
240ad879127SKrish Sadhukhan 			break;
241ad879127SKrish Sadhukhan 		case 7:
242ad879127SKrish Sadhukhan 			asm volatile ("mov %0, %%dr7" : : "r"(test->scratch) : "memory");
243ad879127SKrish Sadhukhan 			break;
244ad879127SKrish Sadhukhan 		}
245ad879127SKrish Sadhukhan 
246ad879127SKrish Sadhukhan 		if (test->scratch != i) {
247198dfd0eSJanis Schoetterl-Glausch 			report_fail("dr%u write intercept", i);
248ad879127SKrish Sadhukhan 			failcnt++;
249ad879127SKrish Sadhukhan 		}
250ad879127SKrish Sadhukhan 	}
251ad879127SKrish Sadhukhan 
252ad879127SKrish Sadhukhan 	test->scratch = failcnt;
253ad879127SKrish Sadhukhan }
254ad879127SKrish Sadhukhan 
255ad879127SKrish Sadhukhan static bool dr_intercept_finished(struct svm_test *test)
256ad879127SKrish Sadhukhan {
257096cf7feSPaolo Bonzini 	ulong n = (vmcb->control.exit_code - SVM_EXIT_READ_DR0);
258ad879127SKrish Sadhukhan 
259ad879127SKrish Sadhukhan 	/* Only expect DR intercepts */
260ad879127SKrish Sadhukhan 	if (n > (SVM_EXIT_MAX_DR_INTERCEPT - SVM_EXIT_READ_DR0))
261ad879127SKrish Sadhukhan 		return true;
262ad879127SKrish Sadhukhan 
263ad879127SKrish Sadhukhan 	/*
264ad879127SKrish Sadhukhan 	 * Compute debug register number.
265ad879127SKrish Sadhukhan 	 * Per Appendix C "SVM Intercept Exit Codes" of AMD64 Architecture
266ad879127SKrish Sadhukhan 	 * Programmer's Manual Volume 2 - System Programming:
267ad879127SKrish Sadhukhan 	 * http://support.amd.com/TechDocs/24593.pdf
268ad879127SKrish Sadhukhan 	 * there are 16 VMEXIT codes each for DR read and write.
269ad879127SKrish Sadhukhan 	 */
270ad879127SKrish Sadhukhan 	test->scratch = (n % 16);
271ad879127SKrish Sadhukhan 
272ad879127SKrish Sadhukhan 	/* Jump over MOV instruction */
273096cf7feSPaolo Bonzini 	vmcb->save.rip += 3;
274ad879127SKrish Sadhukhan 
275ad879127SKrish Sadhukhan 	return false;
276ad879127SKrish Sadhukhan }
277ad879127SKrish Sadhukhan 
278ad879127SKrish Sadhukhan static bool check_dr_intercept(struct svm_test *test)
279ad879127SKrish Sadhukhan {
280ad879127SKrish Sadhukhan 	return !test->scratch;
281ad879127SKrish Sadhukhan }
282ad879127SKrish Sadhukhan 
283ad879127SKrish Sadhukhan static bool next_rip_supported(void)
284ad879127SKrish Sadhukhan {
285ad879127SKrish Sadhukhan 	return this_cpu_has(X86_FEATURE_NRIPS);
286ad879127SKrish Sadhukhan }
287ad879127SKrish Sadhukhan 
288ad879127SKrish Sadhukhan static void prepare_next_rip(struct svm_test *test)
289ad879127SKrish Sadhukhan {
290096cf7feSPaolo Bonzini 	vmcb->control.intercept |= (1ULL << INTERCEPT_RDTSC);
291ad879127SKrish Sadhukhan }
292ad879127SKrish Sadhukhan 
293ad879127SKrish Sadhukhan 
294ad879127SKrish Sadhukhan static void test_next_rip(struct svm_test *test)
295ad879127SKrish Sadhukhan {
296ad879127SKrish Sadhukhan 	asm volatile ("rdtsc\n\t"
297ad879127SKrish Sadhukhan 		      ".globl exp_next_rip\n\t"
298ad879127SKrish Sadhukhan 		      "exp_next_rip:\n\t" ::: "eax", "edx");
299ad879127SKrish Sadhukhan }
300ad879127SKrish Sadhukhan 
301ad879127SKrish Sadhukhan static bool check_next_rip(struct svm_test *test)
302ad879127SKrish Sadhukhan {
303ad879127SKrish Sadhukhan 	extern char exp_next_rip;
304ad879127SKrish Sadhukhan 	unsigned long address = (unsigned long)&exp_next_rip;
305ad879127SKrish Sadhukhan 
306096cf7feSPaolo Bonzini 	return address == vmcb->control.next_rip;
307ad879127SKrish Sadhukhan }
308ad879127SKrish Sadhukhan 
309ad879127SKrish Sadhukhan extern u8 *msr_bitmap;
310ad879127SKrish Sadhukhan 
311ad879127SKrish Sadhukhan static void prepare_msr_intercept(struct svm_test *test)
312ad879127SKrish Sadhukhan {
313ad879127SKrish Sadhukhan 	default_prepare(test);
314096cf7feSPaolo Bonzini 	vmcb->control.intercept |= (1ULL << INTERCEPT_MSR_PROT);
315096cf7feSPaolo Bonzini 	vmcb->control.intercept_exceptions |= (1ULL << GP_VECTOR);
316ad879127SKrish Sadhukhan 	memset(msr_bitmap, 0xff, MSR_BITMAP_SIZE);
317ad879127SKrish Sadhukhan }
318ad879127SKrish Sadhukhan 
319ad879127SKrish Sadhukhan static void test_msr_intercept(struct svm_test *test)
320ad879127SKrish Sadhukhan {
321ad879127SKrish Sadhukhan 	unsigned long msr_value = 0xef8056791234abcd; /* Arbitrary value */
322ad879127SKrish Sadhukhan 	unsigned long msr_index;
323ad879127SKrish Sadhukhan 
324ad879127SKrish Sadhukhan 	for (msr_index = 0; msr_index <= 0xc0011fff; msr_index++) {
325ad879127SKrish Sadhukhan 		if (msr_index == 0xC0010131 /* MSR_SEV_STATUS */) {
326ad879127SKrish Sadhukhan 			/*
327ad879127SKrish Sadhukhan 			 * Per section 15.34.10 "SEV_STATUS MSR" of AMD64 Architecture
328ad879127SKrish Sadhukhan 			 * Programmer's Manual volume 2 - System Programming:
329ad879127SKrish Sadhukhan 			 * http://support.amd.com/TechDocs/24593.pdf
330ad879127SKrish Sadhukhan 			 * SEV_STATUS MSR (C001_0131) is a non-interceptable MSR.
331ad879127SKrish Sadhukhan 			 */
332ad879127SKrish Sadhukhan 			continue;
333ad879127SKrish Sadhukhan 		}
334ad879127SKrish Sadhukhan 
335ad879127SKrish Sadhukhan 		/* Skips gaps between supported MSR ranges */
336ad879127SKrish Sadhukhan 		if (msr_index == 0x2000)
337ad879127SKrish Sadhukhan 			msr_index = 0xc0000000;
338ad879127SKrish Sadhukhan 		else if (msr_index == 0xc0002000)
339ad879127SKrish Sadhukhan 			msr_index = 0xc0010000;
340ad879127SKrish Sadhukhan 
341ad879127SKrish Sadhukhan 		test->scratch = -1;
342ad879127SKrish Sadhukhan 
343ad879127SKrish Sadhukhan 		rdmsr(msr_index);
344ad879127SKrish Sadhukhan 
345ad879127SKrish Sadhukhan 		/* Check that a read intercept occurred for MSR at msr_index */
346ad879127SKrish Sadhukhan 		if (test->scratch != msr_index)
347198dfd0eSJanis Schoetterl-Glausch 			report_fail("MSR 0x%lx read intercept", msr_index);
348ad879127SKrish Sadhukhan 
349ad879127SKrish Sadhukhan 		/*
350ad879127SKrish Sadhukhan 		 * Poor man approach to generate a value that
351ad879127SKrish Sadhukhan 		 * seems arbitrary each time around the loop.
352ad879127SKrish Sadhukhan 		 */
353ad879127SKrish Sadhukhan 		msr_value += (msr_value << 1);
354ad879127SKrish Sadhukhan 
355ad879127SKrish Sadhukhan 		wrmsr(msr_index, msr_value);
356ad879127SKrish Sadhukhan 
357ad879127SKrish Sadhukhan 		/* Check that a write intercept occurred for MSR with msr_value */
358ad879127SKrish Sadhukhan 		if (test->scratch != msr_value)
359198dfd0eSJanis Schoetterl-Glausch 			report_fail("MSR 0x%lx write intercept", msr_index);
360ad879127SKrish Sadhukhan 	}
361ad879127SKrish Sadhukhan 
362ad879127SKrish Sadhukhan 	test->scratch = -2;
363ad879127SKrish Sadhukhan }
364ad879127SKrish Sadhukhan 
365ad879127SKrish Sadhukhan static bool msr_intercept_finished(struct svm_test *test)
366ad879127SKrish Sadhukhan {
367096cf7feSPaolo Bonzini 	u32 exit_code = vmcb->control.exit_code;
368ad879127SKrish Sadhukhan 	u64 exit_info_1;
369ad879127SKrish Sadhukhan 	u8 *opcode;
370ad879127SKrish Sadhukhan 
371ad879127SKrish Sadhukhan 	if (exit_code == SVM_EXIT_MSR) {
372096cf7feSPaolo Bonzini 		exit_info_1 = vmcb->control.exit_info_1;
373ad879127SKrish Sadhukhan 	} else {
374ad879127SKrish Sadhukhan 		/*
375ad879127SKrish Sadhukhan 		 * If #GP exception occurs instead, check that it was
376ad879127SKrish Sadhukhan 		 * for RDMSR/WRMSR and set exit_info_1 accordingly.
377ad879127SKrish Sadhukhan 		 */
378ad879127SKrish Sadhukhan 
379ad879127SKrish Sadhukhan 		if (exit_code != (SVM_EXIT_EXCP_BASE + GP_VECTOR))
380ad879127SKrish Sadhukhan 			return true;
381ad879127SKrish Sadhukhan 
382096cf7feSPaolo Bonzini 		opcode = (u8 *)vmcb->save.rip;
383ad879127SKrish Sadhukhan 		if (opcode[0] != 0x0f)
384ad879127SKrish Sadhukhan 			return true;
385ad879127SKrish Sadhukhan 
386ad879127SKrish Sadhukhan 		switch (opcode[1]) {
387ad879127SKrish Sadhukhan 		case 0x30: /* WRMSR */
388ad879127SKrish Sadhukhan 			exit_info_1 = 1;
389ad879127SKrish Sadhukhan 			break;
390ad879127SKrish Sadhukhan 		case 0x32: /* RDMSR */
391ad879127SKrish Sadhukhan 			exit_info_1 = 0;
392ad879127SKrish Sadhukhan 			break;
393ad879127SKrish Sadhukhan 		default:
394ad879127SKrish Sadhukhan 			return true;
395ad879127SKrish Sadhukhan 		}
396ad879127SKrish Sadhukhan 
397ad879127SKrish Sadhukhan 		/*
398d4ae0a71SThomas Huth 		 * Warn that #GP exception occurred instead.
399ad879127SKrish Sadhukhan 		 * RCX holds the MSR index.
400ad879127SKrish Sadhukhan 		 */
401ad879127SKrish Sadhukhan 		printf("%s 0x%lx #GP exception\n",
402ad879127SKrish Sadhukhan 		       exit_info_1 ? "WRMSR" : "RDMSR", get_regs().rcx);
403ad879127SKrish Sadhukhan 	}
404ad879127SKrish Sadhukhan 
405ad879127SKrish Sadhukhan 	/* Jump over RDMSR/WRMSR instruction */
406096cf7feSPaolo Bonzini 	vmcb->save.rip += 2;
407ad879127SKrish Sadhukhan 
408ad879127SKrish Sadhukhan 	/*
409ad879127SKrish Sadhukhan 	 * Test whether the intercept was for RDMSR/WRMSR.
410ad879127SKrish Sadhukhan 	 * For RDMSR, test->scratch is set to the MSR index;
411ad879127SKrish Sadhukhan 	 *      RCX holds the MSR index.
412ad879127SKrish Sadhukhan 	 * For WRMSR, test->scratch is set to the MSR value;
413ad879127SKrish Sadhukhan 	 *      RDX holds the upper 32 bits of the MSR value,
414ad879127SKrish Sadhukhan 	 *      while RAX hold its lower 32 bits.
415ad879127SKrish Sadhukhan 	 */
416ad879127SKrish Sadhukhan 	if (exit_info_1)
417ad879127SKrish Sadhukhan 		test->scratch =
418096cf7feSPaolo Bonzini 			((get_regs().rdx << 32) | (vmcb->save.rax & 0xffffffff));
419ad879127SKrish Sadhukhan 	else
420ad879127SKrish Sadhukhan 		test->scratch = get_regs().rcx;
421ad879127SKrish Sadhukhan 
422ad879127SKrish Sadhukhan 	return false;
423ad879127SKrish Sadhukhan }
424ad879127SKrish Sadhukhan 
425ad879127SKrish Sadhukhan static bool check_msr_intercept(struct svm_test *test)
426ad879127SKrish Sadhukhan {
427ad879127SKrish Sadhukhan 	memset(msr_bitmap, 0, MSR_BITMAP_SIZE);
428ad879127SKrish Sadhukhan 	return (test->scratch == -2);
429ad879127SKrish Sadhukhan }
430ad879127SKrish Sadhukhan 
431ad879127SKrish Sadhukhan static void prepare_mode_switch(struct svm_test *test)
432ad879127SKrish Sadhukhan {
433096cf7feSPaolo Bonzini 	vmcb->control.intercept_exceptions |= (1ULL << GP_VECTOR)
434ad879127SKrish Sadhukhan 		|  (1ULL << UD_VECTOR)
435ad879127SKrish Sadhukhan 		|  (1ULL << DF_VECTOR)
436ad879127SKrish Sadhukhan 		|  (1ULL << PF_VECTOR);
437ad879127SKrish Sadhukhan 	test->scratch = 0;
438ad879127SKrish Sadhukhan }
439ad879127SKrish Sadhukhan 
440ad879127SKrish Sadhukhan static void test_mode_switch(struct svm_test *test)
441ad879127SKrish Sadhukhan {
442ad879127SKrish Sadhukhan 	asm volatile("	cli\n"
443ad879127SKrish Sadhukhan 		     "	ljmp *1f\n" /* jump to 32-bit code segment */
444ad879127SKrish Sadhukhan 		     "1:\n"
445ad879127SKrish Sadhukhan 		     "	.long 2f\n"
446ad879127SKrish Sadhukhan 		     "	.long " xstr(KERNEL_CS32) "\n"
447ad879127SKrish Sadhukhan 		     ".code32\n"
448ad879127SKrish Sadhukhan 		     "2:\n"
449ad879127SKrish Sadhukhan 		     "	movl %%cr0, %%eax\n"
450ad879127SKrish Sadhukhan 		     "	btcl  $31, %%eax\n" /* clear PG */
451ad879127SKrish Sadhukhan 		     "	movl %%eax, %%cr0\n"
452ad879127SKrish Sadhukhan 		     "	movl $0xc0000080, %%ecx\n" /* EFER */
453ad879127SKrish Sadhukhan 		     "	rdmsr\n"
454ad879127SKrish Sadhukhan 		     "	btcl $8, %%eax\n" /* clear LME */
455ad879127SKrish Sadhukhan 		     "	wrmsr\n"
456ad879127SKrish Sadhukhan 		     "	movl %%cr4, %%eax\n"
457ad879127SKrish Sadhukhan 		     "	btcl $5, %%eax\n" /* clear PAE */
458ad879127SKrish Sadhukhan 		     "	movl %%eax, %%cr4\n"
459ad879127SKrish Sadhukhan 		     "	movw %[ds16], %%ax\n"
460ad879127SKrish Sadhukhan 		     "	movw %%ax, %%ds\n"
461ad879127SKrish Sadhukhan 		     "	ljmpl %[cs16], $3f\n" /* jump to 16 bit protected-mode */
462ad879127SKrish Sadhukhan 		     ".code16\n"
463ad879127SKrish Sadhukhan 		     "3:\n"
464ad879127SKrish Sadhukhan 		     "	movl %%cr0, %%eax\n"
465ad879127SKrish Sadhukhan 		     "	btcl $0, %%eax\n" /* clear PE  */
466ad879127SKrish Sadhukhan 		     "	movl %%eax, %%cr0\n"
467ad879127SKrish Sadhukhan 		     "	ljmpl $0, $4f\n"   /* jump to real-mode */
468ad879127SKrish Sadhukhan 		     "4:\n"
469ad879127SKrish Sadhukhan 		     "	vmmcall\n"
470ad879127SKrish Sadhukhan 		     "	movl %%cr0, %%eax\n"
471ad879127SKrish Sadhukhan 		     "	btsl $0, %%eax\n" /* set PE  */
472ad879127SKrish Sadhukhan 		     "	movl %%eax, %%cr0\n"
473ad879127SKrish Sadhukhan 		     "	ljmpl %[cs32], $5f\n" /* back to protected mode */
474ad879127SKrish Sadhukhan 		     ".code32\n"
475ad879127SKrish Sadhukhan 		     "5:\n"
476ad879127SKrish Sadhukhan 		     "	movl %%cr4, %%eax\n"
477ad879127SKrish Sadhukhan 		     "	btsl $5, %%eax\n" /* set PAE */
478ad879127SKrish Sadhukhan 		     "	movl %%eax, %%cr4\n"
479ad879127SKrish Sadhukhan 		     "	movl $0xc0000080, %%ecx\n" /* EFER */
480ad879127SKrish Sadhukhan 		     "	rdmsr\n"
481ad879127SKrish Sadhukhan 		     "	btsl $8, %%eax\n" /* set LME */
482ad879127SKrish Sadhukhan 		     "	wrmsr\n"
483ad879127SKrish Sadhukhan 		     "	movl %%cr0, %%eax\n"
484ad879127SKrish Sadhukhan 		     "	btsl  $31, %%eax\n" /* set PG */
485ad879127SKrish Sadhukhan 		     "	movl %%eax, %%cr0\n"
486ad879127SKrish Sadhukhan 		     "	ljmpl %[cs64], $6f\n"    /* back to long mode */
487ad879127SKrish Sadhukhan 		     ".code64\n\t"
488ad879127SKrish Sadhukhan 		     "6:\n"
489ad879127SKrish Sadhukhan 		     "	vmmcall\n"
490ad879127SKrish Sadhukhan 		     :: [cs16] "i"(KERNEL_CS16), [ds16] "i"(KERNEL_DS16),
491ad879127SKrish Sadhukhan 		      [cs32] "i"(KERNEL_CS32), [cs64] "i"(KERNEL_CS64)
492ad879127SKrish Sadhukhan 		     : "rax", "rbx", "rcx", "rdx", "memory");
493ad879127SKrish Sadhukhan }
494ad879127SKrish Sadhukhan 
495ad879127SKrish Sadhukhan static bool mode_switch_finished(struct svm_test *test)
496ad879127SKrish Sadhukhan {
497ad879127SKrish Sadhukhan 	u64 cr0, cr4, efer;
498ad879127SKrish Sadhukhan 
499096cf7feSPaolo Bonzini 	cr0  = vmcb->save.cr0;
500096cf7feSPaolo Bonzini 	cr4  = vmcb->save.cr4;
501096cf7feSPaolo Bonzini 	efer = vmcb->save.efer;
502ad879127SKrish Sadhukhan 
503ad879127SKrish Sadhukhan 	/* Only expect VMMCALL intercepts */
504096cf7feSPaolo Bonzini 	if (vmcb->control.exit_code != SVM_EXIT_VMMCALL)
505ad879127SKrish Sadhukhan 		return true;
506ad879127SKrish Sadhukhan 
507ad879127SKrish Sadhukhan 	/* Jump over VMMCALL instruction */
508096cf7feSPaolo Bonzini 	vmcb->save.rip += 3;
509ad879127SKrish Sadhukhan 
510ad879127SKrish Sadhukhan 	/* Do sanity checks */
511ad879127SKrish Sadhukhan 	switch (test->scratch) {
512ad879127SKrish Sadhukhan 	case 0:
513ad879127SKrish Sadhukhan 		/* Test should be in real mode now - check for this */
514ad879127SKrish Sadhukhan 		if ((cr0  & 0x80000001) || /* CR0.PG, CR0.PE */
515ad879127SKrish Sadhukhan 		    (cr4  & 0x00000020) || /* CR4.PAE */
516ad879127SKrish Sadhukhan 		    (efer & 0x00000500))   /* EFER.LMA, EFER.LME */
517ad879127SKrish Sadhukhan 			return true;
518ad879127SKrish Sadhukhan 		break;
519ad879127SKrish Sadhukhan 	case 2:
520ad879127SKrish Sadhukhan 		/* Test should be back in long-mode now - check for this */
521ad879127SKrish Sadhukhan 		if (((cr0  & 0x80000001) != 0x80000001) || /* CR0.PG, CR0.PE */
522ad879127SKrish Sadhukhan 		    ((cr4  & 0x00000020) != 0x00000020) || /* CR4.PAE */
523ad879127SKrish Sadhukhan 		    ((efer & 0x00000500) != 0x00000500))   /* EFER.LMA, EFER.LME */
524ad879127SKrish Sadhukhan 			return true;
525ad879127SKrish Sadhukhan 		break;
526ad879127SKrish Sadhukhan 	}
527ad879127SKrish Sadhukhan 
528ad879127SKrish Sadhukhan 	/* one step forward */
529ad879127SKrish Sadhukhan 	test->scratch += 1;
530ad879127SKrish Sadhukhan 
531ad879127SKrish Sadhukhan 	return test->scratch == 2;
532ad879127SKrish Sadhukhan }
533ad879127SKrish Sadhukhan 
534ad879127SKrish Sadhukhan static bool check_mode_switch(struct svm_test *test)
535ad879127SKrish Sadhukhan {
536ad879127SKrish Sadhukhan 	return test->scratch == 2;
537ad879127SKrish Sadhukhan }
538ad879127SKrish Sadhukhan 
539ad879127SKrish Sadhukhan extern u8 *io_bitmap;
540ad879127SKrish Sadhukhan 
541ad879127SKrish Sadhukhan static void prepare_ioio(struct svm_test *test)
542ad879127SKrish Sadhukhan {
543096cf7feSPaolo Bonzini 	vmcb->control.intercept |= (1ULL << INTERCEPT_IOIO_PROT);
544ad879127SKrish Sadhukhan 	test->scratch = 0;
545ad879127SKrish Sadhukhan 	memset(io_bitmap, 0, 8192);
546ad879127SKrish Sadhukhan 	io_bitmap[8192] = 0xFF;
547ad879127SKrish Sadhukhan }
548ad879127SKrish Sadhukhan 
549ad879127SKrish Sadhukhan static void test_ioio(struct svm_test *test)
550ad879127SKrish Sadhukhan {
551ad879127SKrish Sadhukhan 	// stage 0, test IO pass
552ad879127SKrish Sadhukhan 	inb(0x5000);
553ad879127SKrish Sadhukhan 	outb(0x0, 0x5000);
554ad879127SKrish Sadhukhan 	if (get_test_stage(test) != 0)
555ad879127SKrish Sadhukhan 		goto fail;
556ad879127SKrish Sadhukhan 
557ad879127SKrish Sadhukhan 	// test IO width, in/out
558ad879127SKrish Sadhukhan 	io_bitmap[0] = 0xFF;
559ad879127SKrish Sadhukhan 	inc_test_stage(test);
560ad879127SKrish Sadhukhan 	inb(0x0);
561ad879127SKrish Sadhukhan 	if (get_test_stage(test) != 2)
562ad879127SKrish Sadhukhan 		goto fail;
563ad879127SKrish Sadhukhan 
564ad879127SKrish Sadhukhan 	outw(0x0, 0x0);
565ad879127SKrish Sadhukhan 	if (get_test_stage(test) != 3)
566ad879127SKrish Sadhukhan 		goto fail;
567ad879127SKrish Sadhukhan 
568ad879127SKrish Sadhukhan 	inl(0x0);
569ad879127SKrish Sadhukhan 	if (get_test_stage(test) != 4)
570ad879127SKrish Sadhukhan 		goto fail;
571ad879127SKrish Sadhukhan 
572ad879127SKrish Sadhukhan 	// test low/high IO port
573ad879127SKrish Sadhukhan 	io_bitmap[0x5000 / 8] = (1 << (0x5000 % 8));
574ad879127SKrish Sadhukhan 	inb(0x5000);
575ad879127SKrish Sadhukhan 	if (get_test_stage(test) != 5)
576ad879127SKrish Sadhukhan 		goto fail;
577ad879127SKrish Sadhukhan 
578ad879127SKrish Sadhukhan 	io_bitmap[0x9000 / 8] = (1 << (0x9000 % 8));
579ad879127SKrish Sadhukhan 	inw(0x9000);
580ad879127SKrish Sadhukhan 	if (get_test_stage(test) != 6)
581ad879127SKrish Sadhukhan 		goto fail;
582ad879127SKrish Sadhukhan 
583ad879127SKrish Sadhukhan 	// test partial pass
584ad879127SKrish Sadhukhan 	io_bitmap[0x5000 / 8] = (1 << (0x5000 % 8));
585ad879127SKrish Sadhukhan 	inl(0x4FFF);
586ad879127SKrish Sadhukhan 	if (get_test_stage(test) != 7)
587ad879127SKrish Sadhukhan 		goto fail;
588ad879127SKrish Sadhukhan 
589ad879127SKrish Sadhukhan 	// test across pages
590ad879127SKrish Sadhukhan 	inc_test_stage(test);
591ad879127SKrish Sadhukhan 	inl(0x7FFF);
592ad879127SKrish Sadhukhan 	if (get_test_stage(test) != 8)
593ad879127SKrish Sadhukhan 		goto fail;
594ad879127SKrish Sadhukhan 
595ad879127SKrish Sadhukhan 	inc_test_stage(test);
596ad879127SKrish Sadhukhan 	io_bitmap[0x8000 / 8] = 1 << (0x8000 % 8);
597ad879127SKrish Sadhukhan 	inl(0x7FFF);
598ad879127SKrish Sadhukhan 	if (get_test_stage(test) != 10)
599ad879127SKrish Sadhukhan 		goto fail;
600ad879127SKrish Sadhukhan 
601ad879127SKrish Sadhukhan 	io_bitmap[0] = 0;
602ad879127SKrish Sadhukhan 	inl(0xFFFF);
603ad879127SKrish Sadhukhan 	if (get_test_stage(test) != 11)
604ad879127SKrish Sadhukhan 		goto fail;
605ad879127SKrish Sadhukhan 
606ad879127SKrish Sadhukhan 	io_bitmap[0] = 0xFF;
607ad879127SKrish Sadhukhan 	io_bitmap[8192] = 0;
608ad879127SKrish Sadhukhan 	inl(0xFFFF);
609ad879127SKrish Sadhukhan 	inc_test_stage(test);
610ad879127SKrish Sadhukhan 	if (get_test_stage(test) != 12)
611ad879127SKrish Sadhukhan 		goto fail;
612ad879127SKrish Sadhukhan 
613ad879127SKrish Sadhukhan 	return;
614ad879127SKrish Sadhukhan 
615ad879127SKrish Sadhukhan fail:
616198dfd0eSJanis Schoetterl-Glausch 	report_fail("stage %d", get_test_stage(test));
617ad879127SKrish Sadhukhan 	test->scratch = -1;
618ad879127SKrish Sadhukhan }
619ad879127SKrish Sadhukhan 
620ad879127SKrish Sadhukhan static bool ioio_finished(struct svm_test *test)
621ad879127SKrish Sadhukhan {
622ad879127SKrish Sadhukhan 	unsigned port, size;
623ad879127SKrish Sadhukhan 
624ad879127SKrish Sadhukhan 	/* Only expect IOIO intercepts */
625096cf7feSPaolo Bonzini 	if (vmcb->control.exit_code == SVM_EXIT_VMMCALL)
626ad879127SKrish Sadhukhan 		return true;
627ad879127SKrish Sadhukhan 
628096cf7feSPaolo Bonzini 	if (vmcb->control.exit_code != SVM_EXIT_IOIO)
629ad879127SKrish Sadhukhan 		return true;
630ad879127SKrish Sadhukhan 
631ad879127SKrish Sadhukhan 	/* one step forward */
632ad879127SKrish Sadhukhan 	test->scratch += 1;
633ad879127SKrish Sadhukhan 
634096cf7feSPaolo Bonzini 	port = vmcb->control.exit_info_1 >> 16;
635096cf7feSPaolo Bonzini 	size = (vmcb->control.exit_info_1 >> SVM_IOIO_SIZE_SHIFT) & 7;
636ad879127SKrish Sadhukhan 
637ad879127SKrish Sadhukhan 	while (size--) {
638ad879127SKrish Sadhukhan 		io_bitmap[port / 8] &= ~(1 << (port & 7));
639ad879127SKrish Sadhukhan 		port++;
640ad879127SKrish Sadhukhan 	}
641ad879127SKrish Sadhukhan 
642ad879127SKrish Sadhukhan 	return false;
643ad879127SKrish Sadhukhan }
644ad879127SKrish Sadhukhan 
645ad879127SKrish Sadhukhan static bool check_ioio(struct svm_test *test)
646ad879127SKrish Sadhukhan {
647ad879127SKrish Sadhukhan 	memset(io_bitmap, 0, 8193);
648ad879127SKrish Sadhukhan 	return test->scratch != -1;
649ad879127SKrish Sadhukhan }
650ad879127SKrish Sadhukhan 
651ad879127SKrish Sadhukhan static void prepare_asid_zero(struct svm_test *test)
652ad879127SKrish Sadhukhan {
653096cf7feSPaolo Bonzini 	vmcb->control.asid = 0;
654ad879127SKrish Sadhukhan }
655ad879127SKrish Sadhukhan 
656ad879127SKrish Sadhukhan static void test_asid_zero(struct svm_test *test)
657ad879127SKrish Sadhukhan {
658ad879127SKrish Sadhukhan 	asm volatile ("vmmcall\n\t");
659ad879127SKrish Sadhukhan }
660ad879127SKrish Sadhukhan 
661ad879127SKrish Sadhukhan static bool check_asid_zero(struct svm_test *test)
662ad879127SKrish Sadhukhan {
663096cf7feSPaolo Bonzini 	return vmcb->control.exit_code == SVM_EXIT_ERR;
664ad879127SKrish Sadhukhan }
665ad879127SKrish Sadhukhan 
666ad879127SKrish Sadhukhan static void sel_cr0_bug_prepare(struct svm_test *test)
667ad879127SKrish Sadhukhan {
668096cf7feSPaolo Bonzini 	vmcb->control.intercept |= (1ULL << INTERCEPT_SELECTIVE_CR0);
669ad879127SKrish Sadhukhan }
670ad879127SKrish Sadhukhan 
671ad879127SKrish Sadhukhan static bool sel_cr0_bug_finished(struct svm_test *test)
672ad879127SKrish Sadhukhan {
673ad879127SKrish Sadhukhan 	return true;
674ad879127SKrish Sadhukhan }
675ad879127SKrish Sadhukhan 
676ad879127SKrish Sadhukhan static void sel_cr0_bug_test(struct svm_test *test)
677ad879127SKrish Sadhukhan {
678ad879127SKrish Sadhukhan 	unsigned long cr0;
679ad879127SKrish Sadhukhan 
680ad879127SKrish Sadhukhan 	/* read cr0, clear CD, and write back */
681ad879127SKrish Sadhukhan 	cr0  = read_cr0();
682ad879127SKrish Sadhukhan 	cr0 |= (1UL << 30);
683ad879127SKrish Sadhukhan 	write_cr0(cr0);
684ad879127SKrish Sadhukhan 
685ad879127SKrish Sadhukhan 	/*
686ad879127SKrish Sadhukhan 	 * If we are here the test failed, not sure what to do now because we
687ad879127SKrish Sadhukhan 	 * are not in guest-mode anymore so we can't trigger an intercept.
688ad879127SKrish Sadhukhan 	 * Trigger a tripple-fault for now.
689ad879127SKrish Sadhukhan 	 */
690198dfd0eSJanis Schoetterl-Glausch 	report_fail("sel_cr0 test. Can not recover from this - exiting");
691ad879127SKrish Sadhukhan 	exit(report_summary());
692ad879127SKrish Sadhukhan }
693ad879127SKrish Sadhukhan 
694ad879127SKrish Sadhukhan static bool sel_cr0_bug_check(struct svm_test *test)
695ad879127SKrish Sadhukhan {
696096cf7feSPaolo Bonzini 	return vmcb->control.exit_code == SVM_EXIT_CR0_SEL_WRITE;
697ad879127SKrish Sadhukhan }
698ad879127SKrish Sadhukhan 
699ad879127SKrish Sadhukhan #define TSC_ADJUST_VALUE    (1ll << 32)
700f3154609SBill Wendling #define TSC_OFFSET_VALUE    (~0ull << 48)
701ad879127SKrish Sadhukhan static bool ok;
702ad879127SKrish Sadhukhan 
70310a65fc4SNadav Amit static bool tsc_adjust_supported(void)
70410a65fc4SNadav Amit {
70510a65fc4SNadav Amit 	return this_cpu_has(X86_FEATURE_TSC_ADJUST);
70610a65fc4SNadav Amit }
70710a65fc4SNadav Amit 
708ad879127SKrish Sadhukhan static void tsc_adjust_prepare(struct svm_test *test)
709ad879127SKrish Sadhukhan {
710ad879127SKrish Sadhukhan 	default_prepare(test);
711096cf7feSPaolo Bonzini 	vmcb->control.tsc_offset = TSC_OFFSET_VALUE;
712ad879127SKrish Sadhukhan 
713ad879127SKrish Sadhukhan 	wrmsr(MSR_IA32_TSC_ADJUST, -TSC_ADJUST_VALUE);
714ad879127SKrish Sadhukhan 	int64_t adjust = rdmsr(MSR_IA32_TSC_ADJUST);
715ad879127SKrish Sadhukhan 	ok = adjust == -TSC_ADJUST_VALUE;
716ad879127SKrish Sadhukhan }
717ad879127SKrish Sadhukhan 
718ad879127SKrish Sadhukhan static void tsc_adjust_test(struct svm_test *test)
719ad879127SKrish Sadhukhan {
720ad879127SKrish Sadhukhan 	int64_t adjust = rdmsr(MSR_IA32_TSC_ADJUST);
721ad879127SKrish Sadhukhan 	ok &= adjust == -TSC_ADJUST_VALUE;
722ad879127SKrish Sadhukhan 
723ad879127SKrish Sadhukhan 	uint64_t l1_tsc = rdtsc() - TSC_OFFSET_VALUE;
724ad879127SKrish Sadhukhan 	wrmsr(MSR_IA32_TSC, l1_tsc - TSC_ADJUST_VALUE);
725ad879127SKrish Sadhukhan 
726ad879127SKrish Sadhukhan 	adjust = rdmsr(MSR_IA32_TSC_ADJUST);
727ad879127SKrish Sadhukhan 	ok &= adjust <= -2 * TSC_ADJUST_VALUE;
728ad879127SKrish Sadhukhan 
729ad879127SKrish Sadhukhan 	uint64_t l1_tsc_end = rdtsc() - TSC_OFFSET_VALUE;
730ad879127SKrish Sadhukhan 	ok &= (l1_tsc_end + TSC_ADJUST_VALUE - l1_tsc) < TSC_ADJUST_VALUE;
731ad879127SKrish Sadhukhan 
732ad879127SKrish Sadhukhan 	uint64_t l1_tsc_msr = rdmsr(MSR_IA32_TSC) - TSC_OFFSET_VALUE;
733ad879127SKrish Sadhukhan 	ok &= (l1_tsc_msr + TSC_ADJUST_VALUE - l1_tsc) < TSC_ADJUST_VALUE;
734ad879127SKrish Sadhukhan }
735ad879127SKrish Sadhukhan 
736ad879127SKrish Sadhukhan static bool tsc_adjust_check(struct svm_test *test)
737ad879127SKrish Sadhukhan {
738ad879127SKrish Sadhukhan 	int64_t adjust = rdmsr(MSR_IA32_TSC_ADJUST);
739ad879127SKrish Sadhukhan 
740ad879127SKrish Sadhukhan 	wrmsr(MSR_IA32_TSC_ADJUST, 0);
741ad879127SKrish Sadhukhan 	return ok && adjust <= -2 * TSC_ADJUST_VALUE;
742ad879127SKrish Sadhukhan }
743ad879127SKrish Sadhukhan 
744a8503d50SMaxim Levitsky 
745a8503d50SMaxim Levitsky static u64 guest_tsc_delay_value;
746a8503d50SMaxim Levitsky /* number of bits to shift tsc right for stable result */
747a8503d50SMaxim Levitsky #define TSC_SHIFT 24
748a8503d50SMaxim Levitsky #define TSC_SCALE_ITERATIONS 10
749a8503d50SMaxim Levitsky 
750a8503d50SMaxim Levitsky static void svm_tsc_scale_guest(struct svm_test *test)
751a8503d50SMaxim Levitsky {
752a8503d50SMaxim Levitsky 	u64 start_tsc = rdtsc();
753a8503d50SMaxim Levitsky 
754a8503d50SMaxim Levitsky 	while (rdtsc() - start_tsc < guest_tsc_delay_value)
755a8503d50SMaxim Levitsky 		cpu_relax();
756a8503d50SMaxim Levitsky }
757a8503d50SMaxim Levitsky 
758a8503d50SMaxim Levitsky static void svm_tsc_scale_run_testcase(u64 duration,
759a8503d50SMaxim Levitsky 				       double tsc_scale, u64 tsc_offset)
760a8503d50SMaxim Levitsky {
761a8503d50SMaxim Levitsky 	u64 start_tsc, actual_duration;
762a8503d50SMaxim Levitsky 
763a8503d50SMaxim Levitsky 	guest_tsc_delay_value = (duration << TSC_SHIFT) * tsc_scale;
764a8503d50SMaxim Levitsky 
765a8503d50SMaxim Levitsky 	test_set_guest(svm_tsc_scale_guest);
766a8503d50SMaxim Levitsky 	vmcb->control.tsc_offset = tsc_offset;
767a8503d50SMaxim Levitsky 	wrmsr(MSR_AMD64_TSC_RATIO, (u64)(tsc_scale * (1ULL << 32)));
768a8503d50SMaxim Levitsky 
769a8503d50SMaxim Levitsky 	start_tsc = rdtsc();
770a8503d50SMaxim Levitsky 
771a8503d50SMaxim Levitsky 	if (svm_vmrun() != SVM_EXIT_VMMCALL)
772a8503d50SMaxim Levitsky 		report_fail("unexpected vm exit code 0x%x", vmcb->control.exit_code);
773a8503d50SMaxim Levitsky 
774a8503d50SMaxim Levitsky 	actual_duration = (rdtsc() - start_tsc) >> TSC_SHIFT;
775a8503d50SMaxim Levitsky 
776a8503d50SMaxim Levitsky 	report(duration == actual_duration, "tsc delay (expected: %lu, actual: %lu)",
777a8503d50SMaxim Levitsky 	       duration, actual_duration);
778a8503d50SMaxim Levitsky }
779a8503d50SMaxim Levitsky 
780a8503d50SMaxim Levitsky static void svm_tsc_scale_test(void)
781a8503d50SMaxim Levitsky {
782a8503d50SMaxim Levitsky 	int i;
783a8503d50SMaxim Levitsky 
784a8503d50SMaxim Levitsky 	if (!tsc_scale_supported()) {
785a8503d50SMaxim Levitsky 		report_skip("TSC scale not supported in the guest");
786a8503d50SMaxim Levitsky 		return;
787a8503d50SMaxim Levitsky 	}
788a8503d50SMaxim Levitsky 
789a8503d50SMaxim Levitsky 	report(rdmsr(MSR_AMD64_TSC_RATIO) == TSC_RATIO_DEFAULT,
790a8503d50SMaxim Levitsky 	       "initial TSC scale ratio");
791a8503d50SMaxim Levitsky 
792a8503d50SMaxim Levitsky 	for (i = 0 ; i < TSC_SCALE_ITERATIONS; i++) {
793a8503d50SMaxim Levitsky 
794a8503d50SMaxim Levitsky 		double tsc_scale = (double)(rdrand() % 100 + 1) / 10;
795a8503d50SMaxim Levitsky 		int duration = rdrand() % 50 + 1;
796a8503d50SMaxim Levitsky 		u64 tsc_offset = rdrand();
797a8503d50SMaxim Levitsky 
798a8503d50SMaxim Levitsky 		report_info("duration=%d, tsc_scale=%d, tsc_offset=%ld",
799a8503d50SMaxim Levitsky 			    duration, (int)(tsc_scale * 100), tsc_offset);
800a8503d50SMaxim Levitsky 
801a8503d50SMaxim Levitsky 		svm_tsc_scale_run_testcase(duration, tsc_scale, tsc_offset);
802a8503d50SMaxim Levitsky 	}
803a8503d50SMaxim Levitsky 
804a8503d50SMaxim Levitsky 	svm_tsc_scale_run_testcase(50, 255, rdrand());
805a8503d50SMaxim Levitsky 	svm_tsc_scale_run_testcase(50, 0.0001, rdrand());
806a8503d50SMaxim Levitsky }
807a8503d50SMaxim Levitsky 
808ad879127SKrish Sadhukhan static void latency_prepare(struct svm_test *test)
809ad879127SKrish Sadhukhan {
810ad879127SKrish Sadhukhan 	default_prepare(test);
811ad879127SKrish Sadhukhan 	runs = LATENCY_RUNS;
812ad879127SKrish Sadhukhan 	latvmrun_min = latvmexit_min = -1ULL;
813ad879127SKrish Sadhukhan 	latvmrun_max = latvmexit_max = 0;
814ad879127SKrish Sadhukhan 	vmrun_sum = vmexit_sum = 0;
815ad879127SKrish Sadhukhan 	tsc_start = rdtsc();
816ad879127SKrish Sadhukhan }
817ad879127SKrish Sadhukhan 
818ad879127SKrish Sadhukhan static void latency_test(struct svm_test *test)
819ad879127SKrish Sadhukhan {
820ad879127SKrish Sadhukhan 	u64 cycles;
821ad879127SKrish Sadhukhan 
822ad879127SKrish Sadhukhan start:
823ad879127SKrish Sadhukhan 	tsc_end = rdtsc();
824ad879127SKrish Sadhukhan 
825ad879127SKrish Sadhukhan 	cycles = tsc_end - tsc_start;
826ad879127SKrish Sadhukhan 
827ad879127SKrish Sadhukhan 	if (cycles > latvmrun_max)
828ad879127SKrish Sadhukhan 		latvmrun_max = cycles;
829ad879127SKrish Sadhukhan 
830ad879127SKrish Sadhukhan 	if (cycles < latvmrun_min)
831ad879127SKrish Sadhukhan 		latvmrun_min = cycles;
832ad879127SKrish Sadhukhan 
833ad879127SKrish Sadhukhan 	vmrun_sum += cycles;
834ad879127SKrish Sadhukhan 
835ad879127SKrish Sadhukhan 	tsc_start = rdtsc();
836ad879127SKrish Sadhukhan 
837ad879127SKrish Sadhukhan 	asm volatile ("vmmcall" : : : "memory");
838ad879127SKrish Sadhukhan 	goto start;
839ad879127SKrish Sadhukhan }
840ad879127SKrish Sadhukhan 
841ad879127SKrish Sadhukhan static bool latency_finished(struct svm_test *test)
842ad879127SKrish Sadhukhan {
843ad879127SKrish Sadhukhan 	u64 cycles;
844ad879127SKrish Sadhukhan 
845ad879127SKrish Sadhukhan 	tsc_end = rdtsc();
846ad879127SKrish Sadhukhan 
847ad879127SKrish Sadhukhan 	cycles = tsc_end - tsc_start;
848ad879127SKrish Sadhukhan 
849ad879127SKrish Sadhukhan 	if (cycles > latvmexit_max)
850ad879127SKrish Sadhukhan 		latvmexit_max = cycles;
851ad879127SKrish Sadhukhan 
852ad879127SKrish Sadhukhan 	if (cycles < latvmexit_min)
853ad879127SKrish Sadhukhan 		latvmexit_min = cycles;
854ad879127SKrish Sadhukhan 
855ad879127SKrish Sadhukhan 	vmexit_sum += cycles;
856ad879127SKrish Sadhukhan 
857096cf7feSPaolo Bonzini 	vmcb->save.rip += 3;
858ad879127SKrish Sadhukhan 
859ad879127SKrish Sadhukhan 	runs -= 1;
860ad879127SKrish Sadhukhan 
861ad879127SKrish Sadhukhan 	tsc_end = rdtsc();
862ad879127SKrish Sadhukhan 
863ad879127SKrish Sadhukhan 	return runs == 0;
864ad879127SKrish Sadhukhan }
865ad879127SKrish Sadhukhan 
866f7fa53dcSPaolo Bonzini static bool latency_finished_clean(struct svm_test *test)
867f7fa53dcSPaolo Bonzini {
868f7fa53dcSPaolo Bonzini 	vmcb->control.clean = VMCB_CLEAN_ALL;
869f7fa53dcSPaolo Bonzini 	return latency_finished(test);
870f7fa53dcSPaolo Bonzini }
871f7fa53dcSPaolo Bonzini 
872ad879127SKrish Sadhukhan static bool latency_check(struct svm_test *test)
873ad879127SKrish Sadhukhan {
874ad879127SKrish Sadhukhan 	printf("    Latency VMRUN : max: %ld min: %ld avg: %ld\n", latvmrun_max,
875ad879127SKrish Sadhukhan 	       latvmrun_min, vmrun_sum / LATENCY_RUNS);
876ad879127SKrish Sadhukhan 	printf("    Latency VMEXIT: max: %ld min: %ld avg: %ld\n", latvmexit_max,
877ad879127SKrish Sadhukhan 	       latvmexit_min, vmexit_sum / LATENCY_RUNS);
878ad879127SKrish Sadhukhan 	return true;
879ad879127SKrish Sadhukhan }
880ad879127SKrish Sadhukhan 
881ad879127SKrish Sadhukhan static void lat_svm_insn_prepare(struct svm_test *test)
882ad879127SKrish Sadhukhan {
883ad879127SKrish Sadhukhan 	default_prepare(test);
884ad879127SKrish Sadhukhan 	runs = LATENCY_RUNS;
885ad879127SKrish Sadhukhan 	latvmload_min = latvmsave_min = latstgi_min = latclgi_min = -1ULL;
886ad879127SKrish Sadhukhan 	latvmload_max = latvmsave_max = latstgi_max = latclgi_max = 0;
887ad879127SKrish Sadhukhan 	vmload_sum = vmsave_sum = stgi_sum = clgi_sum;
888ad879127SKrish Sadhukhan }
889ad879127SKrish Sadhukhan 
890ad879127SKrish Sadhukhan static bool lat_svm_insn_finished(struct svm_test *test)
891ad879127SKrish Sadhukhan {
892096cf7feSPaolo Bonzini 	u64 vmcb_phys = virt_to_phys(vmcb);
893ad879127SKrish Sadhukhan 	u64 cycles;
894ad879127SKrish Sadhukhan 
895ad879127SKrish Sadhukhan 	for ( ; runs != 0; runs--) {
896ad879127SKrish Sadhukhan 		tsc_start = rdtsc();
897ad879127SKrish Sadhukhan 		asm volatile("vmload %0\n\t" : : "a"(vmcb_phys) : "memory");
898ad879127SKrish Sadhukhan 		cycles = rdtsc() - tsc_start;
899ad879127SKrish Sadhukhan 		if (cycles > latvmload_max)
900ad879127SKrish Sadhukhan 			latvmload_max = cycles;
901ad879127SKrish Sadhukhan 		if (cycles < latvmload_min)
902ad879127SKrish Sadhukhan 			latvmload_min = cycles;
903ad879127SKrish Sadhukhan 		vmload_sum += cycles;
904ad879127SKrish Sadhukhan 
905ad879127SKrish Sadhukhan 		tsc_start = rdtsc();
906ad879127SKrish Sadhukhan 		asm volatile("vmsave %0\n\t" : : "a"(vmcb_phys) : "memory");
907ad879127SKrish Sadhukhan 		cycles = rdtsc() - tsc_start;
908ad879127SKrish Sadhukhan 		if (cycles > latvmsave_max)
909ad879127SKrish Sadhukhan 			latvmsave_max = cycles;
910ad879127SKrish Sadhukhan 		if (cycles < latvmsave_min)
911ad879127SKrish Sadhukhan 			latvmsave_min = cycles;
912ad879127SKrish Sadhukhan 		vmsave_sum += cycles;
913ad879127SKrish Sadhukhan 
914ad879127SKrish Sadhukhan 		tsc_start = rdtsc();
915ad879127SKrish Sadhukhan 		asm volatile("stgi\n\t");
916ad879127SKrish Sadhukhan 		cycles = rdtsc() - tsc_start;
917ad879127SKrish Sadhukhan 		if (cycles > latstgi_max)
918ad879127SKrish Sadhukhan 			latstgi_max = cycles;
919ad879127SKrish Sadhukhan 		if (cycles < latstgi_min)
920ad879127SKrish Sadhukhan 			latstgi_min = cycles;
921ad879127SKrish Sadhukhan 		stgi_sum += cycles;
922ad879127SKrish Sadhukhan 
923ad879127SKrish Sadhukhan 		tsc_start = rdtsc();
924ad879127SKrish Sadhukhan 		asm volatile("clgi\n\t");
925ad879127SKrish Sadhukhan 		cycles = rdtsc() - tsc_start;
926ad879127SKrish Sadhukhan 		if (cycles > latclgi_max)
927ad879127SKrish Sadhukhan 			latclgi_max = cycles;
928ad879127SKrish Sadhukhan 		if (cycles < latclgi_min)
929ad879127SKrish Sadhukhan 			latclgi_min = cycles;
930ad879127SKrish Sadhukhan 		clgi_sum += cycles;
931ad879127SKrish Sadhukhan 	}
932ad879127SKrish Sadhukhan 
933ad879127SKrish Sadhukhan 	tsc_end = rdtsc();
934ad879127SKrish Sadhukhan 
935ad879127SKrish Sadhukhan 	return true;
936ad879127SKrish Sadhukhan }
937ad879127SKrish Sadhukhan 
938ad879127SKrish Sadhukhan static bool lat_svm_insn_check(struct svm_test *test)
939ad879127SKrish Sadhukhan {
940ad879127SKrish Sadhukhan 	printf("    Latency VMLOAD: max: %ld min: %ld avg: %ld\n", latvmload_max,
941ad879127SKrish Sadhukhan 	       latvmload_min, vmload_sum / LATENCY_RUNS);
942ad879127SKrish Sadhukhan 	printf("    Latency VMSAVE: max: %ld min: %ld avg: %ld\n", latvmsave_max,
943ad879127SKrish Sadhukhan 	       latvmsave_min, vmsave_sum / LATENCY_RUNS);
944ad879127SKrish Sadhukhan 	printf("    Latency STGI:   max: %ld min: %ld avg: %ld\n", latstgi_max,
945ad879127SKrish Sadhukhan 	       latstgi_min, stgi_sum / LATENCY_RUNS);
946ad879127SKrish Sadhukhan 	printf("    Latency CLGI:   max: %ld min: %ld avg: %ld\n", latclgi_max,
947ad879127SKrish Sadhukhan 	       latclgi_min, clgi_sum / LATENCY_RUNS);
948ad879127SKrish Sadhukhan 	return true;
949ad879127SKrish Sadhukhan }
950ad879127SKrish Sadhukhan 
951493d27d4SSean Christopherson /*
952493d27d4SSean Christopherson  * Report failures from SVM guest code, and on failure, set the stage to -1 and
953493d27d4SSean Christopherson  * do VMMCALL to terminate the test (host side must treat -1 as "finished").
954493d27d4SSean Christopherson  * TODO: fix the tests that don't play nice with a straight report, e.g. the
955493d27d4SSean Christopherson  * V_TPR test fails if report() is invoked.
956493d27d4SSean Christopherson  */
957493d27d4SSean Christopherson #define report_svm_guest(cond, test, fmt, args...)	\
958493d27d4SSean Christopherson do {							\
959493d27d4SSean Christopherson 	if (!(cond)) {					\
960493d27d4SSean Christopherson 		report_fail(fmt, ##args);		\
961493d27d4SSean Christopherson 		set_test_stage(test, -1);		\
962493d27d4SSean Christopherson 		vmmcall();				\
963493d27d4SSean Christopherson 	}						\
964493d27d4SSean Christopherson } while (0)
965493d27d4SSean Christopherson 
966ad879127SKrish Sadhukhan bool pending_event_ipi_fired;
967ad879127SKrish Sadhukhan bool pending_event_guest_run;
968ad879127SKrish Sadhukhan 
969ad879127SKrish Sadhukhan static void pending_event_ipi_isr(isr_regs_t *regs)
970ad879127SKrish Sadhukhan {
971ad879127SKrish Sadhukhan 	pending_event_ipi_fired = true;
972ad879127SKrish Sadhukhan 	eoi();
973ad879127SKrish Sadhukhan }
974ad879127SKrish Sadhukhan 
975ad879127SKrish Sadhukhan static void pending_event_prepare(struct svm_test *test)
976ad879127SKrish Sadhukhan {
977ad879127SKrish Sadhukhan 	int ipi_vector = 0xf1;
978ad879127SKrish Sadhukhan 
979ad879127SKrish Sadhukhan 	default_prepare(test);
980ad879127SKrish Sadhukhan 
981ad879127SKrish Sadhukhan 	pending_event_ipi_fired = false;
982ad879127SKrish Sadhukhan 
983ad879127SKrish Sadhukhan 	handle_irq(ipi_vector, pending_event_ipi_isr);
984ad879127SKrish Sadhukhan 
985ad879127SKrish Sadhukhan 	pending_event_guest_run = false;
986ad879127SKrish Sadhukhan 
987096cf7feSPaolo Bonzini 	vmcb->control.intercept |= (1ULL << INTERCEPT_INTR);
988096cf7feSPaolo Bonzini 	vmcb->control.int_ctl |= V_INTR_MASKING_MASK;
989ad879127SKrish Sadhukhan 
990ad879127SKrish Sadhukhan 	apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL |
991ad879127SKrish Sadhukhan 		       APIC_DM_FIXED | ipi_vector, 0);
992ad879127SKrish Sadhukhan 
993ad879127SKrish Sadhukhan 	set_test_stage(test, 0);
994ad879127SKrish Sadhukhan }
995ad879127SKrish Sadhukhan 
996ad879127SKrish Sadhukhan static void pending_event_test(struct svm_test *test)
997ad879127SKrish Sadhukhan {
998ad879127SKrish Sadhukhan 	pending_event_guest_run = true;
999ad879127SKrish Sadhukhan }
1000ad879127SKrish Sadhukhan 
1001ad879127SKrish Sadhukhan static bool pending_event_finished(struct svm_test *test)
1002ad879127SKrish Sadhukhan {
1003ad879127SKrish Sadhukhan 	switch (get_test_stage(test)) {
1004ad879127SKrish Sadhukhan 	case 0:
1005096cf7feSPaolo Bonzini 		if (vmcb->control.exit_code != SVM_EXIT_INTR) {
1006198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to pending interrupt. Exit reason 0x%x",
1007096cf7feSPaolo Bonzini 				    vmcb->control.exit_code);
1008ad879127SKrish Sadhukhan 			return true;
1009ad879127SKrish Sadhukhan 		}
1010ad879127SKrish Sadhukhan 
1011096cf7feSPaolo Bonzini 		vmcb->control.intercept &= ~(1ULL << INTERCEPT_INTR);
1012096cf7feSPaolo Bonzini 		vmcb->control.int_ctl &= ~V_INTR_MASKING_MASK;
1013ad879127SKrish Sadhukhan 
1014ad879127SKrish Sadhukhan 		if (pending_event_guest_run) {
1015198dfd0eSJanis Schoetterl-Glausch 			report_fail("Guest ran before host received IPI\n");
1016ad879127SKrish Sadhukhan 			return true;
1017ad879127SKrish Sadhukhan 		}
1018ad879127SKrish Sadhukhan 
1019e4007e62SMaxim Levitsky 		sti_nop_cli();
1020ad879127SKrish Sadhukhan 
1021ad879127SKrish Sadhukhan 		if (!pending_event_ipi_fired) {
1022198dfd0eSJanis Schoetterl-Glausch 			report_fail("Pending interrupt not dispatched after IRQ enabled\n");
1023ad879127SKrish Sadhukhan 			return true;
1024ad879127SKrish Sadhukhan 		}
1025ad879127SKrish Sadhukhan 		break;
1026ad879127SKrish Sadhukhan 
1027ad879127SKrish Sadhukhan 	case 1:
1028ad879127SKrish Sadhukhan 		if (!pending_event_guest_run) {
1029198dfd0eSJanis Schoetterl-Glausch 			report_fail("Guest did not resume when no interrupt\n");
1030ad879127SKrish Sadhukhan 			return true;
1031ad879127SKrish Sadhukhan 		}
1032ad879127SKrish Sadhukhan 		break;
1033ad879127SKrish Sadhukhan 	}
1034ad879127SKrish Sadhukhan 
1035ad879127SKrish Sadhukhan 	inc_test_stage(test);
1036ad879127SKrish Sadhukhan 
1037ad879127SKrish Sadhukhan 	return get_test_stage(test) == 2;
1038ad879127SKrish Sadhukhan }
1039ad879127SKrish Sadhukhan 
1040ad879127SKrish Sadhukhan static bool pending_event_check(struct svm_test *test)
1041ad879127SKrish Sadhukhan {
1042ad879127SKrish Sadhukhan 	return get_test_stage(test) == 2;
1043ad879127SKrish Sadhukhan }
1044ad879127SKrish Sadhukhan 
104585dc2aceSPaolo Bonzini static void pending_event_cli_prepare(struct svm_test *test)
1046ad879127SKrish Sadhukhan {
1047ad879127SKrish Sadhukhan 	default_prepare(test);
1048ad879127SKrish Sadhukhan 
1049ad879127SKrish Sadhukhan 	pending_event_ipi_fired = false;
1050ad879127SKrish Sadhukhan 
1051ad879127SKrish Sadhukhan 	handle_irq(0xf1, pending_event_ipi_isr);
1052ad879127SKrish Sadhukhan 
1053ad879127SKrish Sadhukhan 	apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL |
1054ad879127SKrish Sadhukhan 		       APIC_DM_FIXED | 0xf1, 0);
1055ad879127SKrish Sadhukhan 
1056ad879127SKrish Sadhukhan 	set_test_stage(test, 0);
1057ad879127SKrish Sadhukhan }
1058ad879127SKrish Sadhukhan 
105985dc2aceSPaolo Bonzini static void pending_event_cli_prepare_gif_clear(struct svm_test *test)
1060ad879127SKrish Sadhukhan {
1061ad879127SKrish Sadhukhan 	asm("cli");
1062ad879127SKrish Sadhukhan }
1063ad879127SKrish Sadhukhan 
106485dc2aceSPaolo Bonzini static void pending_event_cli_test(struct svm_test *test)
1065ad879127SKrish Sadhukhan {
1066493d27d4SSean Christopherson 	report_svm_guest(!pending_event_ipi_fired, test,
1067493d27d4SSean Christopherson 			 "IRQ should NOT be delivered while IRQs disabled");
1068ad879127SKrish Sadhukhan 
106985dc2aceSPaolo Bonzini 	/* VINTR_MASKING is zero.  This should cause the IPI to fire.  */
1070e4007e62SMaxim Levitsky 	sti_nop_cli();
1071ad879127SKrish Sadhukhan 
1072493d27d4SSean Christopherson 	report_svm_guest(pending_event_ipi_fired, test,
1073493d27d4SSean Christopherson 			 "IRQ should be delivered after enabling IRQs");
1074ad879127SKrish Sadhukhan 	vmmcall();
1075ad879127SKrish Sadhukhan 
107685dc2aceSPaolo Bonzini 	/*
107785dc2aceSPaolo Bonzini 	 * Now VINTR_MASKING=1, but no interrupt is pending so
107885dc2aceSPaolo Bonzini 	 * the VINTR interception should be clear in VMCB02.  Check
107985dc2aceSPaolo Bonzini 	 * that L0 did not leave a stale VINTR in the VMCB.
108085dc2aceSPaolo Bonzini 	 */
1081e4007e62SMaxim Levitsky 	sti_nop_cli();
1082ad879127SKrish Sadhukhan }
1083ad879127SKrish Sadhukhan 
108485dc2aceSPaolo Bonzini static bool pending_event_cli_finished(struct svm_test *test)
1085ad879127SKrish Sadhukhan {
1086493d27d4SSean Christopherson 	report_svm_guest(vmcb->control.exit_code == SVM_EXIT_VMMCALL, test,
1087493d27d4SSean Christopherson 			 "Wanted VMMCALL VM-Exit, got exit reason 0x%x",
1088096cf7feSPaolo Bonzini 			 vmcb->control.exit_code);
1089ad879127SKrish Sadhukhan 
1090ad879127SKrish Sadhukhan 	switch (get_test_stage(test)) {
1091ad879127SKrish Sadhukhan 	case 0:
1092096cf7feSPaolo Bonzini 		vmcb->save.rip += 3;
1093ad879127SKrish Sadhukhan 
1094ad879127SKrish Sadhukhan 		pending_event_ipi_fired = false;
1095ad879127SKrish Sadhukhan 
1096096cf7feSPaolo Bonzini 		vmcb->control.int_ctl |= V_INTR_MASKING_MASK;
1097ad879127SKrish Sadhukhan 
109885dc2aceSPaolo Bonzini 		/* Now entering again with VINTR_MASKING=1.  */
1099ad879127SKrish Sadhukhan 		apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL |
1100ad879127SKrish Sadhukhan 			       APIC_DM_FIXED | 0xf1, 0);
1101ad879127SKrish Sadhukhan 
1102ad879127SKrish Sadhukhan 		break;
1103ad879127SKrish Sadhukhan 
1104ad879127SKrish Sadhukhan 	case 1:
1105ad879127SKrish Sadhukhan 		if (pending_event_ipi_fired == true) {
1106198dfd0eSJanis Schoetterl-Glausch 			report_fail("Interrupt triggered by guest");
1107ad879127SKrish Sadhukhan 			return true;
1108ad879127SKrish Sadhukhan 		}
1109ad879127SKrish Sadhukhan 
1110e4007e62SMaxim Levitsky 		sti_nop_cli();
1111ad879127SKrish Sadhukhan 
1112ad879127SKrish Sadhukhan 		if (pending_event_ipi_fired != true) {
1113198dfd0eSJanis Schoetterl-Glausch 			report_fail("Interrupt not triggered by host");
1114ad879127SKrish Sadhukhan 			return true;
1115ad879127SKrish Sadhukhan 		}
1116ad879127SKrish Sadhukhan 
1117ad879127SKrish Sadhukhan 		break;
1118ad879127SKrish Sadhukhan 
1119ad879127SKrish Sadhukhan 	default:
1120ad879127SKrish Sadhukhan 		return true;
1121ad879127SKrish Sadhukhan 	}
1122ad879127SKrish Sadhukhan 
1123ad879127SKrish Sadhukhan 	inc_test_stage(test);
1124ad879127SKrish Sadhukhan 
1125ad879127SKrish Sadhukhan 	return get_test_stage(test) == 2;
1126ad879127SKrish Sadhukhan }
1127ad879127SKrish Sadhukhan 
112885dc2aceSPaolo Bonzini static bool pending_event_cli_check(struct svm_test *test)
1129ad879127SKrish Sadhukhan {
1130ad879127SKrish Sadhukhan 	return get_test_stage(test) == 2;
1131ad879127SKrish Sadhukhan }
1132ad879127SKrish Sadhukhan 
113385dc2aceSPaolo Bonzini #define TIMER_VECTOR    222
113485dc2aceSPaolo Bonzini 
113585dc2aceSPaolo Bonzini static volatile bool timer_fired;
113685dc2aceSPaolo Bonzini 
113785dc2aceSPaolo Bonzini static void timer_isr(isr_regs_t *regs)
113885dc2aceSPaolo Bonzini {
113985dc2aceSPaolo Bonzini 	timer_fired = true;
114085dc2aceSPaolo Bonzini 	apic_write(APIC_EOI, 0);
114185dc2aceSPaolo Bonzini }
114285dc2aceSPaolo Bonzini 
114385dc2aceSPaolo Bonzini static void interrupt_prepare(struct svm_test *test)
114485dc2aceSPaolo Bonzini {
114585dc2aceSPaolo Bonzini 	default_prepare(test);
114685dc2aceSPaolo Bonzini 	handle_irq(TIMER_VECTOR, timer_isr);
114785dc2aceSPaolo Bonzini 	timer_fired = false;
114885dc2aceSPaolo Bonzini 	set_test_stage(test, 0);
114985dc2aceSPaolo Bonzini }
115085dc2aceSPaolo Bonzini 
115185dc2aceSPaolo Bonzini static void interrupt_test(struct svm_test *test)
115285dc2aceSPaolo Bonzini {
115385dc2aceSPaolo Bonzini 	long long start, loops;
115485dc2aceSPaolo Bonzini 
1155a2c7dff7SMaxim Levitsky 	apic_setup_timer(TIMER_VECTOR, APIC_LVT_TIMER_PERIODIC);
1156787f0aebSMaxim Levitsky 	sti();
1157a2c7dff7SMaxim Levitsky 	apic_start_timer(1);
1158a2c7dff7SMaxim Levitsky 
115985dc2aceSPaolo Bonzini 	for (loops = 0; loops < 10000000 && !timer_fired; loops++)
116085dc2aceSPaolo Bonzini 		asm volatile ("nop");
116185dc2aceSPaolo Bonzini 
1162493d27d4SSean Christopherson 	report_svm_guest(timer_fired, test,
1163493d27d4SSean Christopherson 			 "direct interrupt while running guest");
116485dc2aceSPaolo Bonzini 
1165a2c7dff7SMaxim Levitsky 	apic_stop_timer();
1166787f0aebSMaxim Levitsky 	cli();
116785dc2aceSPaolo Bonzini 	vmmcall();
116885dc2aceSPaolo Bonzini 
116985dc2aceSPaolo Bonzini 	timer_fired = false;
1170a2c7dff7SMaxim Levitsky 	apic_start_timer(1);
117185dc2aceSPaolo Bonzini 	for (loops = 0; loops < 10000000 && !timer_fired; loops++)
117285dc2aceSPaolo Bonzini 		asm volatile ("nop");
117385dc2aceSPaolo Bonzini 
1174493d27d4SSean Christopherson 	report_svm_guest(timer_fired, test,
1175493d27d4SSean Christopherson 			 "intercepted interrupt while running guest");
117685dc2aceSPaolo Bonzini 
1177787f0aebSMaxim Levitsky 	sti();
1178a2c7dff7SMaxim Levitsky 	apic_stop_timer();
1179787f0aebSMaxim Levitsky 	cli();
118085dc2aceSPaolo Bonzini 
118185dc2aceSPaolo Bonzini 	timer_fired = false;
118285dc2aceSPaolo Bonzini 	start = rdtsc();
1183a2c7dff7SMaxim Levitsky 	apic_start_timer(1000000);
1184a3001422SOliver Upton 	safe_halt();
118585dc2aceSPaolo Bonzini 
1186493d27d4SSean Christopherson 	report_svm_guest(timer_fired, test, "direct interrupt + hlt");
1187493d27d4SSean Christopherson 	report(rdtsc() - start > 10000, "IRQ arrived after expected delay");
118885dc2aceSPaolo Bonzini 
1189a2c7dff7SMaxim Levitsky 	apic_stop_timer();
1190787f0aebSMaxim Levitsky 	cli();
119185dc2aceSPaolo Bonzini 	vmmcall();
119285dc2aceSPaolo Bonzini 
119385dc2aceSPaolo Bonzini 	timer_fired = false;
119485dc2aceSPaolo Bonzini 	start = rdtsc();
1195a2c7dff7SMaxim Levitsky 	apic_start_timer(1000000);
119685dc2aceSPaolo Bonzini 	asm volatile ("hlt");
119785dc2aceSPaolo Bonzini 
1198493d27d4SSean Christopherson 	report_svm_guest(timer_fired, test, "intercepted interrupt + hlt");
1199493d27d4SSean Christopherson 	report(rdtsc() - start > 10000, "IRQ arrived after expected delay");
120085dc2aceSPaolo Bonzini 
1201a2c7dff7SMaxim Levitsky 	apic_cleanup_timer();
120285dc2aceSPaolo Bonzini }
120385dc2aceSPaolo Bonzini 
120485dc2aceSPaolo Bonzini static bool interrupt_finished(struct svm_test *test)
120585dc2aceSPaolo Bonzini {
120685dc2aceSPaolo Bonzini 	switch (get_test_stage(test)) {
120785dc2aceSPaolo Bonzini 	case 0:
120885dc2aceSPaolo Bonzini 	case 2:
1209096cf7feSPaolo Bonzini 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
1210198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to vmmcall. Exit reason 0x%x",
1211096cf7feSPaolo Bonzini 				    vmcb->control.exit_code);
121285dc2aceSPaolo Bonzini 			return true;
121385dc2aceSPaolo Bonzini 		}
1214096cf7feSPaolo Bonzini 		vmcb->save.rip += 3;
121585dc2aceSPaolo Bonzini 
1216096cf7feSPaolo Bonzini 		vmcb->control.intercept |= (1ULL << INTERCEPT_INTR);
1217096cf7feSPaolo Bonzini 		vmcb->control.int_ctl |= V_INTR_MASKING_MASK;
121885dc2aceSPaolo Bonzini 		break;
121985dc2aceSPaolo Bonzini 
122085dc2aceSPaolo Bonzini 	case 1:
122185dc2aceSPaolo Bonzini 	case 3:
1222096cf7feSPaolo Bonzini 		if (vmcb->control.exit_code != SVM_EXIT_INTR) {
1223198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to intr intercept. Exit reason 0x%x",
1224096cf7feSPaolo Bonzini 				    vmcb->control.exit_code);
122585dc2aceSPaolo Bonzini 			return true;
122685dc2aceSPaolo Bonzini 		}
122785dc2aceSPaolo Bonzini 
1228e4007e62SMaxim Levitsky 		sti_nop_cli();
122985dc2aceSPaolo Bonzini 
1230096cf7feSPaolo Bonzini 		vmcb->control.intercept &= ~(1ULL << INTERCEPT_INTR);
1231096cf7feSPaolo Bonzini 		vmcb->control.int_ctl &= ~V_INTR_MASKING_MASK;
123285dc2aceSPaolo Bonzini 		break;
123385dc2aceSPaolo Bonzini 
123485dc2aceSPaolo Bonzini 	case 4:
123585dc2aceSPaolo Bonzini 		break;
123685dc2aceSPaolo Bonzini 
123785dc2aceSPaolo Bonzini 	default:
123885dc2aceSPaolo Bonzini 		return true;
123985dc2aceSPaolo Bonzini 	}
124085dc2aceSPaolo Bonzini 
124185dc2aceSPaolo Bonzini 	inc_test_stage(test);
124285dc2aceSPaolo Bonzini 
124385dc2aceSPaolo Bonzini 	return get_test_stage(test) == 5;
124485dc2aceSPaolo Bonzini }
124585dc2aceSPaolo Bonzini 
124685dc2aceSPaolo Bonzini static bool interrupt_check(struct svm_test *test)
124785dc2aceSPaolo Bonzini {
124885dc2aceSPaolo Bonzini 	return get_test_stage(test) == 5;
124985dc2aceSPaolo Bonzini }
125085dc2aceSPaolo Bonzini 
1251d4db486bSCathy Avery static volatile bool nmi_fired;
1252d4db486bSCathy Avery 
12534a1207f6SMaxim Levitsky static void nmi_handler(struct ex_regs *regs)
1254d4db486bSCathy Avery {
1255d4db486bSCathy Avery 	nmi_fired = true;
1256d4db486bSCathy Avery }
1257d4db486bSCathy Avery 
1258d4db486bSCathy Avery static void nmi_prepare(struct svm_test *test)
1259d4db486bSCathy Avery {
1260d4db486bSCathy Avery 	default_prepare(test);
1261d4db486bSCathy Avery 	nmi_fired = false;
12624a1207f6SMaxim Levitsky 	handle_exception(NMI_VECTOR, nmi_handler);
1263d4db486bSCathy Avery 	set_test_stage(test, 0);
1264d4db486bSCathy Avery }
1265d4db486bSCathy Avery 
1266d4db486bSCathy Avery static void nmi_test(struct svm_test *test)
1267d4db486bSCathy Avery {
1268d4db486bSCathy Avery 	apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_NMI | APIC_INT_ASSERT, 0);
1269d4db486bSCathy Avery 
1270493d27d4SSean Christopherson 	report_svm_guest(nmi_fired, test, "direct NMI while running guest");
1271d4db486bSCathy Avery 
1272d4db486bSCathy Avery 	vmmcall();
1273d4db486bSCathy Avery 
1274d4db486bSCathy Avery 	nmi_fired = false;
1275d4db486bSCathy Avery 
1276d4db486bSCathy Avery 	apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_NMI | APIC_INT_ASSERT, 0);
1277d4db486bSCathy Avery 
1278493d27d4SSean Christopherson 	report_svm_guest(nmi_fired, test, "intercepted pending NMI delivered to guest");
1279d4db486bSCathy Avery }
1280d4db486bSCathy Avery 
1281d4db486bSCathy Avery static bool nmi_finished(struct svm_test *test)
1282d4db486bSCathy Avery {
1283d4db486bSCathy Avery 	switch (get_test_stage(test)) {
1284d4db486bSCathy Avery 	case 0:
1285d4db486bSCathy Avery 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
1286198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to vmmcall. Exit reason 0x%x",
1287d4db486bSCathy Avery 				    vmcb->control.exit_code);
1288d4db486bSCathy Avery 			return true;
1289d4db486bSCathy Avery 		}
1290d4db486bSCathy Avery 		vmcb->save.rip += 3;
1291d4db486bSCathy Avery 
1292d4db486bSCathy Avery 		vmcb->control.intercept |= (1ULL << INTERCEPT_NMI);
1293d4db486bSCathy Avery 		break;
1294d4db486bSCathy Avery 
1295d4db486bSCathy Avery 	case 1:
1296d4db486bSCathy Avery 		if (vmcb->control.exit_code != SVM_EXIT_NMI) {
1297198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to NMI intercept. Exit reason 0x%x",
1298d4db486bSCathy Avery 				    vmcb->control.exit_code);
1299d4db486bSCathy Avery 			return true;
1300d4db486bSCathy Avery 		}
1301d4db486bSCathy Avery 
13025c3582f0SJanis Schoetterl-Glausch 		report_pass("NMI intercept while running guest");
1303d4db486bSCathy Avery 		break;
1304d4db486bSCathy Avery 
1305d4db486bSCathy Avery 	case 2:
1306d4db486bSCathy Avery 		break;
1307d4db486bSCathy Avery 
1308d4db486bSCathy Avery 	default:
1309d4db486bSCathy Avery 		return true;
1310d4db486bSCathy Avery 	}
1311d4db486bSCathy Avery 
1312d4db486bSCathy Avery 	inc_test_stage(test);
1313d4db486bSCathy Avery 
1314d4db486bSCathy Avery 	return get_test_stage(test) == 3;
1315d4db486bSCathy Avery }
1316d4db486bSCathy Avery 
1317d4db486bSCathy Avery static bool nmi_check(struct svm_test *test)
1318d4db486bSCathy Avery {
1319d4db486bSCathy Avery 	return get_test_stage(test) == 3;
1320d4db486bSCathy Avery }
1321d4db486bSCathy Avery 
13229da1f4d8SCathy Avery #define NMI_DELAY 100000000ULL
13239da1f4d8SCathy Avery 
13249da1f4d8SCathy Avery static void nmi_message_thread(void *_test)
13259da1f4d8SCathy Avery {
13269da1f4d8SCathy Avery 	struct svm_test *test = _test;
13279da1f4d8SCathy Avery 
13289da1f4d8SCathy Avery 	while (get_test_stage(test) != 1)
13299da1f4d8SCathy Avery 		pause();
13309da1f4d8SCathy Avery 
13319da1f4d8SCathy Avery 	delay(NMI_DELAY);
13329da1f4d8SCathy Avery 
13339da1f4d8SCathy Avery 	apic_icr_write(APIC_DEST_PHYSICAL | APIC_DM_NMI | APIC_INT_ASSERT, id_map[0]);
13349da1f4d8SCathy Avery 
13359da1f4d8SCathy Avery 	while (get_test_stage(test) != 2)
13369da1f4d8SCathy Avery 		pause();
13379da1f4d8SCathy Avery 
13389da1f4d8SCathy Avery 	delay(NMI_DELAY);
13399da1f4d8SCathy Avery 
13409da1f4d8SCathy Avery 	apic_icr_write(APIC_DEST_PHYSICAL | APIC_DM_NMI | APIC_INT_ASSERT, id_map[0]);
13419da1f4d8SCathy Avery }
13429da1f4d8SCathy Avery 
13439da1f4d8SCathy Avery static void nmi_hlt_test(struct svm_test *test)
13449da1f4d8SCathy Avery {
13459da1f4d8SCathy Avery 	long long start;
13469da1f4d8SCathy Avery 
13479da1f4d8SCathy Avery 	on_cpu_async(1, nmi_message_thread, test);
13489da1f4d8SCathy Avery 
13499da1f4d8SCathy Avery 	start = rdtsc();
13509da1f4d8SCathy Avery 
13519da1f4d8SCathy Avery 	set_test_stage(test, 1);
13529da1f4d8SCathy Avery 
13539da1f4d8SCathy Avery 	asm volatile ("hlt");
13549da1f4d8SCathy Avery 
1355493d27d4SSean Christopherson 	report_svm_guest(nmi_fired, test, "direct NMI + hlt");
1356493d27d4SSean Christopherson 	report(rdtsc() - start > NMI_DELAY, "direct NMI after expected delay");
13579da1f4d8SCathy Avery 
13589da1f4d8SCathy Avery 	nmi_fired = false;
13599da1f4d8SCathy Avery 
13609da1f4d8SCathy Avery 	vmmcall();
13619da1f4d8SCathy Avery 
13629da1f4d8SCathy Avery 	start = rdtsc();
13639da1f4d8SCathy Avery 
13649da1f4d8SCathy Avery 	set_test_stage(test, 2);
13659da1f4d8SCathy Avery 
13669da1f4d8SCathy Avery 	asm volatile ("hlt");
13679da1f4d8SCathy Avery 
1368493d27d4SSean Christopherson 	report_svm_guest(nmi_fired, test, "intercepted NMI + hlt");
1369493d27d4SSean Christopherson 	report(rdtsc() - start > NMI_DELAY, "intercepted NMI after expected delay");
13709da1f4d8SCathy Avery 
13719da1f4d8SCathy Avery 	set_test_stage(test, 3);
13729da1f4d8SCathy Avery }
13739da1f4d8SCathy Avery 
13749da1f4d8SCathy Avery static bool nmi_hlt_finished(struct svm_test *test)
13759da1f4d8SCathy Avery {
13769da1f4d8SCathy Avery 	switch (get_test_stage(test)) {
13779da1f4d8SCathy Avery 	case 1:
13789da1f4d8SCathy Avery 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
1379198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to vmmcall. Exit reason 0x%x",
13809da1f4d8SCathy Avery 				    vmcb->control.exit_code);
13819da1f4d8SCathy Avery 			return true;
13829da1f4d8SCathy Avery 		}
13839da1f4d8SCathy Avery 		vmcb->save.rip += 3;
13849da1f4d8SCathy Avery 
13859da1f4d8SCathy Avery 		vmcb->control.intercept |= (1ULL << INTERCEPT_NMI);
13869da1f4d8SCathy Avery 		break;
13879da1f4d8SCathy Avery 
13889da1f4d8SCathy Avery 	case 2:
13899da1f4d8SCathy Avery 		if (vmcb->control.exit_code != SVM_EXIT_NMI) {
1390198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to NMI intercept. Exit reason 0x%x",
13919da1f4d8SCathy Avery 				    vmcb->control.exit_code);
13929da1f4d8SCathy Avery 			return true;
13939da1f4d8SCathy Avery 		}
13949da1f4d8SCathy Avery 
13955c3582f0SJanis Schoetterl-Glausch 		report_pass("NMI intercept while running guest");
13969da1f4d8SCathy Avery 		break;
13979da1f4d8SCathy Avery 
13989da1f4d8SCathy Avery 	case 3:
13999da1f4d8SCathy Avery 		break;
14009da1f4d8SCathy Avery 
14019da1f4d8SCathy Avery 	default:
14029da1f4d8SCathy Avery 		return true;
14039da1f4d8SCathy Avery 	}
14049da1f4d8SCathy Avery 
14059da1f4d8SCathy Avery 	return get_test_stage(test) == 3;
14069da1f4d8SCathy Avery }
14079da1f4d8SCathy Avery 
14089da1f4d8SCathy Avery static bool nmi_hlt_check(struct svm_test *test)
14099da1f4d8SCathy Avery {
14109da1f4d8SCathy Avery 	return get_test_stage(test) == 3;
14119da1f4d8SCathy Avery }
14129da1f4d8SCathy Avery 
141308200397SSantosh Shukla static void vnmi_prepare(struct svm_test *test)
141408200397SSantosh Shukla {
141508200397SSantosh Shukla 	nmi_prepare(test);
141608200397SSantosh Shukla 
141708200397SSantosh Shukla 	/*
141808200397SSantosh Shukla 	 * Disable NMI interception to start.  Enabling vNMI without
141908200397SSantosh Shukla 	 * intercepting "real" NMIs should result in an ERR VM-Exit.
142008200397SSantosh Shukla 	 */
142108200397SSantosh Shukla 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_NMI);
142208200397SSantosh Shukla 	vmcb->control.int_ctl = V_NMI_ENABLE_MASK;
142308200397SSantosh Shukla 	vmcb->control.int_vector = NMI_VECTOR;
142408200397SSantosh Shukla }
142508200397SSantosh Shukla 
142608200397SSantosh Shukla static void vnmi_test(struct svm_test *test)
142708200397SSantosh Shukla {
142808200397SSantosh Shukla 	report_svm_guest(!nmi_fired, test, "No vNMI before injection");
142908200397SSantosh Shukla 	vmmcall();
143008200397SSantosh Shukla 
143108200397SSantosh Shukla 	report_svm_guest(nmi_fired, test, "vNMI delivered after injection");
143208200397SSantosh Shukla 	vmmcall();
143308200397SSantosh Shukla }
143408200397SSantosh Shukla 
143508200397SSantosh Shukla static bool vnmi_finished(struct svm_test *test)
143608200397SSantosh Shukla {
143708200397SSantosh Shukla 	switch (get_test_stage(test)) {
143808200397SSantosh Shukla 	case 0:
143908200397SSantosh Shukla 		if (vmcb->control.exit_code != SVM_EXIT_ERR) {
144008200397SSantosh Shukla 			report_fail("Wanted ERR VM-Exit, got 0x%x",
144108200397SSantosh Shukla 				    vmcb->control.exit_code);
144208200397SSantosh Shukla 			return true;
144308200397SSantosh Shukla 		}
144408200397SSantosh Shukla 		report(!nmi_fired, "vNMI enabled but NMI_INTERCEPT unset!");
144508200397SSantosh Shukla 		vmcb->control.intercept |= (1ULL << INTERCEPT_NMI);
144608200397SSantosh Shukla 		vmcb->save.rip += 3;
144708200397SSantosh Shukla 		break;
144808200397SSantosh Shukla 
144908200397SSantosh Shukla 	case 1:
145008200397SSantosh Shukla 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
145108200397SSantosh Shukla 			report_fail("Wanted VMMCALL VM-Exit, got 0x%x",
145208200397SSantosh Shukla 				    vmcb->control.exit_code);
145308200397SSantosh Shukla 			return true;
145408200397SSantosh Shukla 		}
145508200397SSantosh Shukla 		report(!nmi_fired, "vNMI with vector 2 not injected");
145608200397SSantosh Shukla 		vmcb->control.int_ctl |= V_NMI_PENDING_MASK;
145708200397SSantosh Shukla 		vmcb->save.rip += 3;
145808200397SSantosh Shukla 		break;
145908200397SSantosh Shukla 
146008200397SSantosh Shukla 	case 2:
146108200397SSantosh Shukla 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
146208200397SSantosh Shukla 			report_fail("Wanted VMMCALL VM-Exit, got 0x%x",
146308200397SSantosh Shukla 				    vmcb->control.exit_code);
146408200397SSantosh Shukla 			return true;
146508200397SSantosh Shukla 		}
146608200397SSantosh Shukla 		if (vmcb->control.int_ctl & V_NMI_BLOCKING_MASK) {
146708200397SSantosh Shukla 			report_fail("V_NMI_BLOCKING_MASK not cleared on VMEXIT");
146808200397SSantosh Shukla 			return true;
146908200397SSantosh Shukla 		}
147008200397SSantosh Shukla 		report_pass("VNMI serviced");
147108200397SSantosh Shukla 		vmcb->save.rip += 3;
147208200397SSantosh Shukla 		break;
147308200397SSantosh Shukla 
147408200397SSantosh Shukla 	default:
147508200397SSantosh Shukla 		return true;
147608200397SSantosh Shukla 	}
147708200397SSantosh Shukla 
147808200397SSantosh Shukla 	inc_test_stage(test);
147908200397SSantosh Shukla 
148008200397SSantosh Shukla 	return get_test_stage(test) == 3;
148108200397SSantosh Shukla }
148208200397SSantosh Shukla 
148308200397SSantosh Shukla static bool vnmi_check(struct svm_test *test)
148408200397SSantosh Shukla {
148508200397SSantosh Shukla 	return get_test_stage(test) == 3;
148608200397SSantosh Shukla }
148708200397SSantosh Shukla 
14884b4fb247SPaolo Bonzini static volatile int count_exc = 0;
14894b4fb247SPaolo Bonzini 
14904b4fb247SPaolo Bonzini static void my_isr(struct ex_regs *r)
14914b4fb247SPaolo Bonzini {
14924b4fb247SPaolo Bonzini 	count_exc++;
14934b4fb247SPaolo Bonzini }
14944b4fb247SPaolo Bonzini 
14954b4fb247SPaolo Bonzini static void exc_inject_prepare(struct svm_test *test)
14964b4fb247SPaolo Bonzini {
14978634a266SPaolo Bonzini 	default_prepare(test);
14984b4fb247SPaolo Bonzini 	handle_exception(DE_VECTOR, my_isr);
14994b4fb247SPaolo Bonzini 	handle_exception(NMI_VECTOR, my_isr);
15004b4fb247SPaolo Bonzini }
15014b4fb247SPaolo Bonzini 
15024b4fb247SPaolo Bonzini 
15034b4fb247SPaolo Bonzini static void exc_inject_test(struct svm_test *test)
15044b4fb247SPaolo Bonzini {
15054b4fb247SPaolo Bonzini 	asm volatile ("vmmcall\n\tvmmcall\n\t");
15064b4fb247SPaolo Bonzini }
15074b4fb247SPaolo Bonzini 
15084b4fb247SPaolo Bonzini static bool exc_inject_finished(struct svm_test *test)
15094b4fb247SPaolo Bonzini {
15104b4fb247SPaolo Bonzini 	switch (get_test_stage(test)) {
15114b4fb247SPaolo Bonzini 	case 0:
15124b4fb247SPaolo Bonzini 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
1513198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to vmmcall. Exit reason 0x%x",
15144b4fb247SPaolo Bonzini 				    vmcb->control.exit_code);
15154b4fb247SPaolo Bonzini 			return true;
15164b4fb247SPaolo Bonzini 		}
15172c1ca866SNadav Amit 		vmcb->save.rip += 3;
15184b4fb247SPaolo Bonzini 		vmcb->control.event_inj = NMI_VECTOR | SVM_EVTINJ_TYPE_EXEPT | SVM_EVTINJ_VALID;
15194b4fb247SPaolo Bonzini 		break;
15204b4fb247SPaolo Bonzini 
15214b4fb247SPaolo Bonzini 	case 1:
15224b4fb247SPaolo Bonzini 		if (vmcb->control.exit_code != SVM_EXIT_ERR) {
1523198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to error. Exit reason 0x%x",
15244b4fb247SPaolo Bonzini 				    vmcb->control.exit_code);
15254b4fb247SPaolo Bonzini 			return true;
15264b4fb247SPaolo Bonzini 		}
15274b4fb247SPaolo Bonzini 		report(count_exc == 0, "exception with vector 2 not injected");
15284b4fb247SPaolo Bonzini 		vmcb->control.event_inj = DE_VECTOR | SVM_EVTINJ_TYPE_EXEPT | SVM_EVTINJ_VALID;
15294b4fb247SPaolo Bonzini 		break;
15304b4fb247SPaolo Bonzini 
15314b4fb247SPaolo Bonzini 	case 2:
15324b4fb247SPaolo Bonzini 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
1533198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to vmmcall. Exit reason 0x%x",
15344b4fb247SPaolo Bonzini 				    vmcb->control.exit_code);
15354b4fb247SPaolo Bonzini 			return true;
15364b4fb247SPaolo Bonzini 		}
15372c1ca866SNadav Amit 		vmcb->save.rip += 3;
15384b4fb247SPaolo Bonzini 		report(count_exc == 1, "divide overflow exception injected");
15394b4fb247SPaolo Bonzini 		report(!(vmcb->control.event_inj & SVM_EVTINJ_VALID), "eventinj.VALID cleared");
15404b4fb247SPaolo Bonzini 		break;
15414b4fb247SPaolo Bonzini 
15424b4fb247SPaolo Bonzini 	default:
15434b4fb247SPaolo Bonzini 		return true;
15444b4fb247SPaolo Bonzini 	}
15454b4fb247SPaolo Bonzini 
15464b4fb247SPaolo Bonzini 	inc_test_stage(test);
15474b4fb247SPaolo Bonzini 
15484b4fb247SPaolo Bonzini 	return get_test_stage(test) == 3;
15494b4fb247SPaolo Bonzini }
15504b4fb247SPaolo Bonzini 
15514b4fb247SPaolo Bonzini static bool exc_inject_check(struct svm_test *test)
15524b4fb247SPaolo Bonzini {
15534b4fb247SPaolo Bonzini 	return count_exc == 1 && get_test_stage(test) == 3;
15544b4fb247SPaolo Bonzini }
15554b4fb247SPaolo Bonzini 
15569c838954SCathy Avery static volatile bool virq_fired;
1557*4b3c6114SPaolo Bonzini static volatile unsigned long virq_rip;
15589c838954SCathy Avery 
15599c838954SCathy Avery static void virq_isr(isr_regs_t *regs)
15609c838954SCathy Avery {
15619c838954SCathy Avery 	virq_fired = true;
1562*4b3c6114SPaolo Bonzini 	virq_rip = regs->rip;
15639c838954SCathy Avery }
15649c838954SCathy Avery 
15659c838954SCathy Avery static void virq_inject_prepare(struct svm_test *test)
15669c838954SCathy Avery {
15679c838954SCathy Avery 	handle_irq(0xf1, virq_isr);
15689c838954SCathy Avery 	default_prepare(test);
15699c838954SCathy Avery 	vmcb->control.int_ctl = V_INTR_MASKING_MASK | V_IRQ_MASK |
15709c838954SCathy Avery 		(0x0f << V_INTR_PRIO_SHIFT); // Set to the highest priority
15719c838954SCathy Avery 	vmcb->control.int_vector = 0xf1;
15729c838954SCathy Avery 	virq_fired = false;
1573*4b3c6114SPaolo Bonzini 	virq_rip = -1;
15749c838954SCathy Avery 	set_test_stage(test, 0);
15759c838954SCathy Avery }
15769c838954SCathy Avery 
15779c838954SCathy Avery static void virq_inject_test(struct svm_test *test)
15789c838954SCathy Avery {
1579493d27d4SSean Christopherson 	report_svm_guest(!virq_fired, test, "virtual IRQ blocked after L2 cli");
15809c838954SCathy Avery 
1581e4007e62SMaxim Levitsky 	sti_nop_cli();
15829c838954SCathy Avery 
1583493d27d4SSean Christopherson 	report_svm_guest(virq_fired, test, "virtual IRQ fired after L2 sti");
15849c838954SCathy Avery 
15859c838954SCathy Avery 	vmmcall();
15869c838954SCathy Avery 
1587493d27d4SSean Christopherson 	report_svm_guest(!virq_fired, test, "intercepted VINTR blocked after L2 cli");
15889c838954SCathy Avery 
1589e4007e62SMaxim Levitsky 	sti_nop_cli();
15909c838954SCathy Avery 
1591493d27d4SSean Christopherson 	report_svm_guest(virq_fired, test, "intercepted VINTR fired after L2 sti");
15929c838954SCathy Avery 
15939c838954SCathy Avery 	vmmcall();
15949c838954SCathy Avery 
1595e4007e62SMaxim Levitsky 	sti_nop_cli();
15969c838954SCathy Avery 
1597493d27d4SSean Christopherson 	report_svm_guest(!virq_fired, test,
1598493d27d4SSean Christopherson 			  "virtual IRQ blocked V_IRQ_PRIO less than V_TPR");
15999c838954SCathy Avery 
16009c838954SCathy Avery 	vmmcall();
16019c838954SCathy Avery 	vmmcall();
16029c838954SCathy Avery }
16039c838954SCathy Avery 
16049c838954SCathy Avery static bool virq_inject_finished(struct svm_test *test)
16059c838954SCathy Avery {
16069c838954SCathy Avery 	vmcb->save.rip += 3;
16079c838954SCathy Avery 
16089c838954SCathy Avery 	switch (get_test_stage(test)) {
16099c838954SCathy Avery 	case 0:
16109c838954SCathy Avery 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
1611198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to vmmcall. Exit reason 0x%x",
16129c838954SCathy Avery 				    vmcb->control.exit_code);
16139c838954SCathy Avery 			return true;
16149c838954SCathy Avery 		}
16159c838954SCathy Avery 		if (vmcb->control.int_ctl & V_IRQ_MASK) {
1616198dfd0eSJanis Schoetterl-Glausch 			report_fail("V_IRQ not cleared on VMEXIT after firing");
16179c838954SCathy Avery 			return true;
16189c838954SCathy Avery 		}
16199c838954SCathy Avery 		virq_fired = false;
16209c838954SCathy Avery 		vmcb->control.intercept |= (1ULL << INTERCEPT_VINTR);
16219c838954SCathy Avery 		vmcb->control.int_ctl = V_INTR_MASKING_MASK | V_IRQ_MASK |
16229c838954SCathy Avery 			(0x0f << V_INTR_PRIO_SHIFT);
16239c838954SCathy Avery 		break;
16249c838954SCathy Avery 
16259c838954SCathy Avery 	case 1:
16269c838954SCathy Avery 		if (vmcb->control.exit_code != SVM_EXIT_VINTR) {
1627198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to vintr. Exit reason 0x%x",
16289c838954SCathy Avery 				    vmcb->control.exit_code);
16299c838954SCathy Avery 			return true;
16309c838954SCathy Avery 		}
16319c838954SCathy Avery 		if (virq_fired) {
1632198dfd0eSJanis Schoetterl-Glausch 			report_fail("V_IRQ fired before SVM_EXIT_VINTR");
16339c838954SCathy Avery 			return true;
16349c838954SCathy Avery 		}
16359c838954SCathy Avery 		vmcb->control.intercept &= ~(1ULL << INTERCEPT_VINTR);
16369c838954SCathy Avery 		break;
16379c838954SCathy Avery 
16389c838954SCathy Avery 	case 2:
16399c838954SCathy Avery 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
1640198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to vmmcall. Exit reason 0x%x",
16419c838954SCathy Avery 				    vmcb->control.exit_code);
16429c838954SCathy Avery 			return true;
16439c838954SCathy Avery 		}
16449c838954SCathy Avery 		virq_fired = false;
16459c838954SCathy Avery 		// Set irq to lower priority
16469c838954SCathy Avery 		vmcb->control.int_ctl = V_INTR_MASKING_MASK | V_IRQ_MASK |
16479c838954SCathy Avery 			(0x08 << V_INTR_PRIO_SHIFT);
16489c838954SCathy Avery 		// Raise guest TPR
16499c838954SCathy Avery 		vmcb->control.int_ctl |= 0x0a & V_TPR_MASK;
16509c838954SCathy Avery 		break;
16519c838954SCathy Avery 
16529c838954SCathy Avery 	case 3:
16539c838954SCathy Avery 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
1654198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to vmmcall. Exit reason 0x%x",
16559c838954SCathy Avery 				    vmcb->control.exit_code);
16569c838954SCathy Avery 			return true;
16579c838954SCathy Avery 		}
16589c838954SCathy Avery 		vmcb->control.intercept |= (1ULL << INTERCEPT_VINTR);
16599c838954SCathy Avery 		break;
16609c838954SCathy Avery 
16619c838954SCathy Avery 	case 4:
16629c838954SCathy Avery 		// INTERCEPT_VINTR should be ignored because V_INTR_PRIO < V_TPR
16639c838954SCathy Avery 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
1664198dfd0eSJanis Schoetterl-Glausch 			report_fail("VMEXIT not due to vmmcall. Exit reason 0x%x",
16659c838954SCathy Avery 				    vmcb->control.exit_code);
16669c838954SCathy Avery 			return true;
16679c838954SCathy Avery 		}
16689c838954SCathy Avery 		break;
16699c838954SCathy Avery 
16709c838954SCathy Avery 	default:
16719c838954SCathy Avery 		return true;
16729c838954SCathy Avery 	}
16739c838954SCathy Avery 
16749c838954SCathy Avery 	inc_test_stage(test);
16759c838954SCathy Avery 
16769c838954SCathy Avery 	return get_test_stage(test) == 5;
16779c838954SCathy Avery }
16789c838954SCathy Avery 
16799c838954SCathy Avery static bool virq_inject_check(struct svm_test *test)
16809c838954SCathy Avery {
16819c838954SCathy Avery 	return get_test_stage(test) == 5;
16829c838954SCathy Avery }
16839c838954SCathy Avery 
1684*4b3c6114SPaolo Bonzini static void virq_inject_within_shadow_prepare(struct svm_test *test)
1685*4b3c6114SPaolo Bonzini {
1686*4b3c6114SPaolo Bonzini 	virq_inject_prepare(test);
1687*4b3c6114SPaolo Bonzini 	vmcb->control.int_state = SVM_INTERRUPT_SHADOW_MASK;
1688*4b3c6114SPaolo Bonzini 	vmcb->save.rflags |= X86_EFLAGS_IF;
1689*4b3c6114SPaolo Bonzini }
1690*4b3c6114SPaolo Bonzini 
1691*4b3c6114SPaolo Bonzini extern void virq_inject_within_shadow_test(struct svm_test *test);
1692*4b3c6114SPaolo Bonzini asm("virq_inject_within_shadow_test: nop; nop; vmmcall");
1693*4b3c6114SPaolo Bonzini 
1694*4b3c6114SPaolo Bonzini static void virq_inject_within_shadow_prepare_gif_clear(struct svm_test *test)
1695*4b3c6114SPaolo Bonzini {
1696*4b3c6114SPaolo Bonzini 	vmcb->save.rip = (unsigned long) test->guest_func;
1697*4b3c6114SPaolo Bonzini }
1698*4b3c6114SPaolo Bonzini 
1699*4b3c6114SPaolo Bonzini static bool virq_inject_within_shadow_finished(struct svm_test *test)
1700*4b3c6114SPaolo Bonzini {
1701*4b3c6114SPaolo Bonzini 	if (vmcb->control.exit_code != SVM_EXIT_VMMCALL)
1702*4b3c6114SPaolo Bonzini 		report_fail("VMEXIT not due to vmmcall. Exit reason 0x%x",
1703*4b3c6114SPaolo Bonzini 			    vmcb->control.exit_code);
1704*4b3c6114SPaolo Bonzini 	if (!virq_fired)
1705*4b3c6114SPaolo Bonzini 		report_fail("V_IRQ did not fire");
1706*4b3c6114SPaolo Bonzini 	else if (virq_rip != (unsigned long) virq_inject_within_shadow_test + 1)
1707*4b3c6114SPaolo Bonzini 		report_fail("Unexpected RIP for interrupt handler");
1708*4b3c6114SPaolo Bonzini 	else if (vmcb->control.int_ctl & V_IRQ_MASK)
1709*4b3c6114SPaolo Bonzini 		report_fail("V_IRQ not cleared on VMEXIT after firing");
1710*4b3c6114SPaolo Bonzini 	else if (vmcb->control.int_state & SVM_INTERRUPT_SHADOW_MASK)
1711*4b3c6114SPaolo Bonzini 		report_fail("Interrupt shadow not cleared");
1712*4b3c6114SPaolo Bonzini 	else
1713*4b3c6114SPaolo Bonzini 		inc_test_stage(test);
1714*4b3c6114SPaolo Bonzini 
1715*4b3c6114SPaolo Bonzini 	return true;
1716*4b3c6114SPaolo Bonzini }
1717*4b3c6114SPaolo Bonzini 
1718*4b3c6114SPaolo Bonzini static bool virq_inject_within_shadow_check(struct svm_test *test)
1719*4b3c6114SPaolo Bonzini {
1720*4b3c6114SPaolo Bonzini 	return get_test_stage(test) == 1;
1721*4b3c6114SPaolo Bonzini }
1722*4b3c6114SPaolo Bonzini 
1723da338a31SMaxim Levitsky /*
1724da338a31SMaxim Levitsky  * Detect nested guest RIP corruption as explained in kernel commit
1725da338a31SMaxim Levitsky  * b6162e82aef19fee9c32cb3fe9ac30d9116a8c73
1726da338a31SMaxim Levitsky  *
1727da338a31SMaxim Levitsky  * In the assembly loop below 'ins' is executed while IO instructions
1728da338a31SMaxim Levitsky  * are not intercepted; the instruction is emulated by L0.
1729da338a31SMaxim Levitsky  *
1730da338a31SMaxim Levitsky  * At the same time we are getting interrupts from the local APIC timer,
1731da338a31SMaxim Levitsky  * and we do intercept them in L1
1732da338a31SMaxim Levitsky  *
1733da338a31SMaxim Levitsky  * If the interrupt happens on the insb instruction, L0 will VMexit, emulate
1734da338a31SMaxim Levitsky  * the insb instruction and then it will inject the interrupt to L1 through
1735da338a31SMaxim Levitsky  * a nested VMexit.  Due to a bug, it would leave pre-emulation values of RIP,
1736da338a31SMaxim Levitsky  * RAX and RSP in the VMCB.
1737da338a31SMaxim Levitsky  *
1738da338a31SMaxim Levitsky  * In our intercept handler we detect the bug by checking that RIP is that of
1739da338a31SMaxim Levitsky  * the insb instruction, but its memory operand has already been written.
1740da338a31SMaxim Levitsky  * This means that insb was already executed.
1741da338a31SMaxim Levitsky  */
1742da338a31SMaxim Levitsky 
1743da338a31SMaxim Levitsky static volatile int isr_cnt = 0;
1744da338a31SMaxim Levitsky static volatile uint8_t io_port_var = 0xAA;
1745da338a31SMaxim Levitsky extern const char insb_instruction_label[];
1746da338a31SMaxim Levitsky 
1747da338a31SMaxim Levitsky static void reg_corruption_isr(isr_regs_t *regs)
1748da338a31SMaxim Levitsky {
1749da338a31SMaxim Levitsky 	isr_cnt++;
1750da338a31SMaxim Levitsky 	apic_write(APIC_EOI, 0);
1751da338a31SMaxim Levitsky }
1752da338a31SMaxim Levitsky 
1753da338a31SMaxim Levitsky static void reg_corruption_prepare(struct svm_test *test)
1754da338a31SMaxim Levitsky {
1755da338a31SMaxim Levitsky 	default_prepare(test);
1756da338a31SMaxim Levitsky 	set_test_stage(test, 0);
1757da338a31SMaxim Levitsky 
1758da338a31SMaxim Levitsky 	vmcb->control.int_ctl = V_INTR_MASKING_MASK;
1759da338a31SMaxim Levitsky 	vmcb->control.intercept |= (1ULL << INTERCEPT_INTR);
1760da338a31SMaxim Levitsky 
1761da338a31SMaxim Levitsky 	handle_irq(TIMER_VECTOR, reg_corruption_isr);
1762da338a31SMaxim Levitsky 
1763da338a31SMaxim Levitsky 	/* set local APIC to inject external interrupts */
1764a2c7dff7SMaxim Levitsky 	apic_setup_timer(TIMER_VECTOR, APIC_LVT_TIMER_PERIODIC);
1765a2c7dff7SMaxim Levitsky 	apic_start_timer(1000);
1766da338a31SMaxim Levitsky }
1767da338a31SMaxim Levitsky 
1768da338a31SMaxim Levitsky static void reg_corruption_test(struct svm_test *test)
1769da338a31SMaxim Levitsky {
1770da338a31SMaxim Levitsky 	/* this is endless loop, which is interrupted by the timer interrupt */
1771da338a31SMaxim Levitsky 	asm volatile (
1772da338a31SMaxim Levitsky 		      "1:\n\t"
1773da338a31SMaxim Levitsky 		      "movw $0x4d0, %%dx\n\t" // IO port
1774da338a31SMaxim Levitsky 		      "lea %[io_port_var], %%rdi\n\t"
1775da338a31SMaxim Levitsky 		      "movb $0xAA, %[io_port_var]\n\t"
1776da338a31SMaxim Levitsky 		      "insb_instruction_label:\n\t"
1777da338a31SMaxim Levitsky 		      "insb\n\t"
1778da338a31SMaxim Levitsky 		      "jmp 1b\n\t"
1779da338a31SMaxim Levitsky 
1780da338a31SMaxim Levitsky 		      : [io_port_var] "=m" (io_port_var)
1781da338a31SMaxim Levitsky 		      : /* no inputs*/
1782da338a31SMaxim Levitsky 		      : "rdx", "rdi"
1783da338a31SMaxim Levitsky 		      );
1784da338a31SMaxim Levitsky }
1785da338a31SMaxim Levitsky 
1786da338a31SMaxim Levitsky static bool reg_corruption_finished(struct svm_test *test)
1787da338a31SMaxim Levitsky {
1788da338a31SMaxim Levitsky 	if (isr_cnt == 10000) {
17895c3582f0SJanis Schoetterl-Glausch 		report_pass("No RIP corruption detected after %d timer interrupts",
1790da338a31SMaxim Levitsky 			    isr_cnt);
1791da338a31SMaxim Levitsky 		set_test_stage(test, 1);
1792491bbc64SMaxim Levitsky 		goto cleanup;
1793da338a31SMaxim Levitsky 	}
1794da338a31SMaxim Levitsky 
1795da338a31SMaxim Levitsky 	if (vmcb->control.exit_code == SVM_EXIT_INTR) {
1796da338a31SMaxim Levitsky 
1797da338a31SMaxim Levitsky 		void* guest_rip = (void*)vmcb->save.rip;
1798da338a31SMaxim Levitsky 
1799e4007e62SMaxim Levitsky 		sti_nop_cli();
1800da338a31SMaxim Levitsky 
1801da338a31SMaxim Levitsky 		if (guest_rip == insb_instruction_label && io_port_var != 0xAA) {
1802198dfd0eSJanis Schoetterl-Glausch 			report_fail("RIP corruption detected after %d timer interrupts",
1803da338a31SMaxim Levitsky 				    isr_cnt);
1804491bbc64SMaxim Levitsky 			goto cleanup;
1805da338a31SMaxim Levitsky 		}
1806da338a31SMaxim Levitsky 
1807da338a31SMaxim Levitsky 	}
1808da338a31SMaxim Levitsky 	return false;
1809491bbc64SMaxim Levitsky cleanup:
1810a2c7dff7SMaxim Levitsky 	apic_cleanup_timer();
1811491bbc64SMaxim Levitsky 	return true;
1812491bbc64SMaxim Levitsky 
1813da338a31SMaxim Levitsky }
1814da338a31SMaxim Levitsky 
1815da338a31SMaxim Levitsky static bool reg_corruption_check(struct svm_test *test)
1816da338a31SMaxim Levitsky {
1817da338a31SMaxim Levitsky 	return get_test_stage(test) == 1;
1818da338a31SMaxim Levitsky }
1819da338a31SMaxim Levitsky 
18204770e9c8SCathy Avery static void get_tss_entry(void *data)
18214770e9c8SCathy Avery {
1822a7f32d87SPaolo Bonzini 	*((gdt_entry_t **)data) = get_tss_descr();
18234770e9c8SCathy Avery }
18244770e9c8SCathy Avery 
18254770e9c8SCathy Avery static int orig_cpu_count;
18264770e9c8SCathy Avery 
18274770e9c8SCathy Avery static void init_startup_prepare(struct svm_test *test)
18284770e9c8SCathy Avery {
1829a7f32d87SPaolo Bonzini 	gdt_entry_t *tss_entry;
18304770e9c8SCathy Avery 	int i;
18314770e9c8SCathy Avery 
18324770e9c8SCathy Avery 	on_cpu(1, get_tss_entry, &tss_entry);
18334770e9c8SCathy Avery 
1834d36b378fSVarad Gautam 	orig_cpu_count = atomic_read(&cpu_online_count);
18354770e9c8SCathy Avery 
18364770e9c8SCathy Avery 	apic_icr_write(APIC_DEST_PHYSICAL | APIC_DM_INIT | APIC_INT_ASSERT,
18374770e9c8SCathy Avery 		       id_map[1]);
18384770e9c8SCathy Avery 
18394770e9c8SCathy Avery 	delay(100000000ULL);
18404770e9c8SCathy Avery 
1841d36b378fSVarad Gautam 	atomic_dec(&cpu_online_count);
18424770e9c8SCathy Avery 
1843a7f32d87SPaolo Bonzini 	tss_entry->type &= ~DESC_BUSY;
18444770e9c8SCathy Avery 
18454770e9c8SCathy Avery 	apic_icr_write(APIC_DEST_PHYSICAL | APIC_DM_STARTUP, id_map[1]);
18464770e9c8SCathy Avery 
1847d36b378fSVarad Gautam 	for (i = 0; i < 5 && atomic_read(&cpu_online_count) < orig_cpu_count; i++)
18484770e9c8SCathy Avery 		delay(100000000ULL);
18494770e9c8SCathy Avery }
18504770e9c8SCathy Avery 
18514770e9c8SCathy Avery static bool init_startup_finished(struct svm_test *test)
18524770e9c8SCathy Avery {
18534770e9c8SCathy Avery 	return true;
18544770e9c8SCathy Avery }
18554770e9c8SCathy Avery 
18564770e9c8SCathy Avery static bool init_startup_check(struct svm_test *test)
18574770e9c8SCathy Avery {
1858d36b378fSVarad Gautam 	return atomic_read(&cpu_online_count) == orig_cpu_count;
18594770e9c8SCathy Avery }
18604770e9c8SCathy Avery 
1861d5da6dfeSCathy Avery static volatile bool init_intercept;
1862d5da6dfeSCathy Avery 
1863d5da6dfeSCathy Avery static void init_intercept_prepare(struct svm_test *test)
1864d5da6dfeSCathy Avery {
1865d5da6dfeSCathy Avery 	init_intercept = false;
1866d5da6dfeSCathy Avery 	vmcb->control.intercept |= (1ULL << INTERCEPT_INIT);
1867d5da6dfeSCathy Avery }
1868d5da6dfeSCathy Avery 
1869d5da6dfeSCathy Avery static void init_intercept_test(struct svm_test *test)
1870d5da6dfeSCathy Avery {
1871d5da6dfeSCathy Avery 	apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_INIT | APIC_INT_ASSERT, 0);
1872d5da6dfeSCathy Avery }
1873d5da6dfeSCathy Avery 
1874d5da6dfeSCathy Avery static bool init_intercept_finished(struct svm_test *test)
1875d5da6dfeSCathy Avery {
1876d5da6dfeSCathy Avery 	vmcb->save.rip += 3;
1877d5da6dfeSCathy Avery 
1878d5da6dfeSCathy Avery 	if (vmcb->control.exit_code != SVM_EXIT_INIT) {
1879198dfd0eSJanis Schoetterl-Glausch 		report_fail("VMEXIT not due to init intercept. Exit reason 0x%x",
1880d5da6dfeSCathy Avery 			    vmcb->control.exit_code);
1881d5da6dfeSCathy Avery 
1882d5da6dfeSCathy Avery 		return true;
1883d5da6dfeSCathy Avery 	}
1884d5da6dfeSCathy Avery 
1885d5da6dfeSCathy Avery 	init_intercept = true;
1886d5da6dfeSCathy Avery 
18875c3582f0SJanis Schoetterl-Glausch 	report_pass("INIT to vcpu intercepted");
1888d5da6dfeSCathy Avery 
1889d5da6dfeSCathy Avery 	return true;
1890d5da6dfeSCathy Avery }
1891d5da6dfeSCathy Avery 
1892d5da6dfeSCathy Avery static bool init_intercept_check(struct svm_test *test)
1893d5da6dfeSCathy Avery {
1894d5da6dfeSCathy Avery 	return init_intercept;
1895d5da6dfeSCathy Avery }
1896d5da6dfeSCathy Avery 
18977839b0ecSKrish Sadhukhan /*
18987839b0ecSKrish Sadhukhan  * Setting host EFLAGS.TF causes a #DB trap after the VMRUN completes on the
18997839b0ecSKrish Sadhukhan  * host side (i.e., after the #VMEXIT from the guest).
19007839b0ecSKrish Sadhukhan  *
19010689a980SKrish Sadhukhan  * Setting host EFLAGS.RF suppresses any potential instruction breakpoint
19020689a980SKrish Sadhukhan  * match on the VMRUN and completion of the VMRUN instruction clears the
19030689a980SKrish Sadhukhan  * host EFLAGS.RF bit.
19040689a980SKrish Sadhukhan  *
19057839b0ecSKrish Sadhukhan  * [AMD APM]
19067839b0ecSKrish Sadhukhan  */
19077839b0ecSKrish Sadhukhan static volatile u8 host_rflags_guest_main_flag = 0;
19087839b0ecSKrish Sadhukhan static volatile u8 host_rflags_db_handler_flag = 0;
19097839b0ecSKrish Sadhukhan static volatile bool host_rflags_ss_on_vmrun = false;
19107839b0ecSKrish Sadhukhan static volatile bool host_rflags_vmrun_reached = false;
19117839b0ecSKrish Sadhukhan static volatile bool host_rflags_set_tf = false;
19120689a980SKrish Sadhukhan static volatile bool host_rflags_set_rf = false;
19130689a980SKrish Sadhukhan static u64 rip_detected;
19147839b0ecSKrish Sadhukhan 
19157839b0ecSKrish Sadhukhan extern u64 *vmrun_rip;
19167839b0ecSKrish Sadhukhan 
19177839b0ecSKrish Sadhukhan static void host_rflags_db_handler(struct ex_regs *r)
19187839b0ecSKrish Sadhukhan {
19197839b0ecSKrish Sadhukhan 	if (host_rflags_ss_on_vmrun) {
19207839b0ecSKrish Sadhukhan 		if (host_rflags_vmrun_reached) {
19210689a980SKrish Sadhukhan 			if (!host_rflags_set_rf) {
19227839b0ecSKrish Sadhukhan 				r->rflags &= ~X86_EFLAGS_TF;
19230689a980SKrish Sadhukhan 				rip_detected = r->rip;
19247839b0ecSKrish Sadhukhan 			} else {
19250689a980SKrish Sadhukhan 				r->rflags |= X86_EFLAGS_RF;
19260689a980SKrish Sadhukhan 				++host_rflags_db_handler_flag;
19270689a980SKrish Sadhukhan 			}
19280689a980SKrish Sadhukhan 		} else {
19290689a980SKrish Sadhukhan 			if (r->rip == (u64)&vmrun_rip) {
19307839b0ecSKrish Sadhukhan 				host_rflags_vmrun_reached = true;
19310689a980SKrish Sadhukhan 
19320689a980SKrish Sadhukhan 				if (host_rflags_set_rf) {
19330689a980SKrish Sadhukhan 					host_rflags_guest_main_flag = 0;
19340689a980SKrish Sadhukhan 					rip_detected = r->rip;
19350689a980SKrish Sadhukhan 					r->rflags &= ~X86_EFLAGS_TF;
19360689a980SKrish Sadhukhan 
19370689a980SKrish Sadhukhan 					/* Trigger #DB via debug registers */
19380689a980SKrish Sadhukhan 					write_dr0((void *)&vmrun_rip);
19390689a980SKrish Sadhukhan 					write_dr7(0x403);
19400689a980SKrish Sadhukhan 				}
19410689a980SKrish Sadhukhan 			}
19427839b0ecSKrish Sadhukhan 		}
19437839b0ecSKrish Sadhukhan 	} else {
19447839b0ecSKrish Sadhukhan 		r->rflags &= ~X86_EFLAGS_TF;
19457839b0ecSKrish Sadhukhan 	}
19467839b0ecSKrish Sadhukhan }
19477839b0ecSKrish Sadhukhan 
19487839b0ecSKrish Sadhukhan static void host_rflags_prepare(struct svm_test *test)
19497839b0ecSKrish Sadhukhan {
19507839b0ecSKrish Sadhukhan 	default_prepare(test);
19517839b0ecSKrish Sadhukhan 	handle_exception(DB_VECTOR, host_rflags_db_handler);
19527839b0ecSKrish Sadhukhan 	set_test_stage(test, 0);
19537839b0ecSKrish Sadhukhan }
19547839b0ecSKrish Sadhukhan 
19557839b0ecSKrish Sadhukhan static void host_rflags_prepare_gif_clear(struct svm_test *test)
19567839b0ecSKrish Sadhukhan {
19577839b0ecSKrish Sadhukhan 	if (host_rflags_set_tf)
19587839b0ecSKrish Sadhukhan 		write_rflags(read_rflags() | X86_EFLAGS_TF);
19597839b0ecSKrish Sadhukhan }
19607839b0ecSKrish Sadhukhan 
19617839b0ecSKrish Sadhukhan static void host_rflags_test(struct svm_test *test)
19627839b0ecSKrish Sadhukhan {
19637839b0ecSKrish Sadhukhan 	while (1) {
19640689a980SKrish Sadhukhan 		if (get_test_stage(test) > 0) {
19650689a980SKrish Sadhukhan 			if ((host_rflags_set_tf && !host_rflags_ss_on_vmrun && !host_rflags_db_handler_flag) ||
19660689a980SKrish Sadhukhan 			    (host_rflags_set_rf && host_rflags_db_handler_flag == 1))
19677839b0ecSKrish Sadhukhan 				host_rflags_guest_main_flag = 1;
19680689a980SKrish Sadhukhan 		}
19690689a980SKrish Sadhukhan 
19700689a980SKrish Sadhukhan 		if (get_test_stage(test) == 4)
19717839b0ecSKrish Sadhukhan 			break;
19727839b0ecSKrish Sadhukhan 		vmmcall();
19737839b0ecSKrish Sadhukhan 	}
19747839b0ecSKrish Sadhukhan }
19757839b0ecSKrish Sadhukhan 
19767839b0ecSKrish Sadhukhan static bool host_rflags_finished(struct svm_test *test)
19777839b0ecSKrish Sadhukhan {
19787839b0ecSKrish Sadhukhan 	switch (get_test_stage(test)) {
19797839b0ecSKrish Sadhukhan 	case 0:
19807839b0ecSKrish Sadhukhan 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
1981198dfd0eSJanis Schoetterl-Glausch 			report_fail("Unexpected VMEXIT. Exit reason 0x%x",
19827839b0ecSKrish Sadhukhan 				    vmcb->control.exit_code);
19837839b0ecSKrish Sadhukhan 			return true;
19847839b0ecSKrish Sadhukhan 		}
19857839b0ecSKrish Sadhukhan 		vmcb->save.rip += 3;
19867839b0ecSKrish Sadhukhan 		/*
19877839b0ecSKrish Sadhukhan 		 * Setting host EFLAGS.TF not immediately before VMRUN, causes
19887839b0ecSKrish Sadhukhan 		 * #DB trap before first guest instruction is executed
19897839b0ecSKrish Sadhukhan 		 */
19907839b0ecSKrish Sadhukhan 		host_rflags_set_tf = true;
19917839b0ecSKrish Sadhukhan 		break;
19927839b0ecSKrish Sadhukhan 	case 1:
19937839b0ecSKrish Sadhukhan 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL ||
19940689a980SKrish Sadhukhan 		    host_rflags_guest_main_flag != 1) {
1995198dfd0eSJanis Schoetterl-Glausch 			report_fail("Unexpected VMEXIT or #DB handler"
19967839b0ecSKrish Sadhukhan 				    " invoked before guest main. Exit reason 0x%x",
19977839b0ecSKrish Sadhukhan 				    vmcb->control.exit_code);
19987839b0ecSKrish Sadhukhan 			return true;
19997839b0ecSKrish Sadhukhan 		}
20007839b0ecSKrish Sadhukhan 		vmcb->save.rip += 3;
20017839b0ecSKrish Sadhukhan 		/*
20027839b0ecSKrish Sadhukhan 		 * Setting host EFLAGS.TF immediately before VMRUN, causes #DB
20037839b0ecSKrish Sadhukhan 		 * trap after VMRUN completes on the host side (i.e., after
20047839b0ecSKrish Sadhukhan 		 * VMEXIT from guest).
20057839b0ecSKrish Sadhukhan 		 */
20067839b0ecSKrish Sadhukhan 		host_rflags_ss_on_vmrun = true;
20077839b0ecSKrish Sadhukhan 		break;
20087839b0ecSKrish Sadhukhan 	case 2:
20097839b0ecSKrish Sadhukhan 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL ||
20100c22fd44SPaolo Bonzini 		    rip_detected != (u64)&vmrun_rip + 3) {
2011198dfd0eSJanis Schoetterl-Glausch 			report_fail("Unexpected VMEXIT or RIP mismatch."
20120689a980SKrish Sadhukhan 				    " Exit reason 0x%x, RIP actual: %lx, RIP expected: "
20130689a980SKrish Sadhukhan 				    "%lx", vmcb->control.exit_code,
20140c22fd44SPaolo Bonzini 				    (u64)&vmrun_rip + 3, rip_detected);
20150689a980SKrish Sadhukhan 			return true;
20160689a980SKrish Sadhukhan 		}
20170689a980SKrish Sadhukhan 		host_rflags_set_rf = true;
20180689a980SKrish Sadhukhan 		host_rflags_guest_main_flag = 0;
20190689a980SKrish Sadhukhan 		host_rflags_vmrun_reached = false;
20200689a980SKrish Sadhukhan 		vmcb->save.rip += 3;
20210689a980SKrish Sadhukhan 		break;
20220689a980SKrish Sadhukhan 	case 3:
20230689a980SKrish Sadhukhan 		if (vmcb->control.exit_code != SVM_EXIT_VMMCALL ||
20240689a980SKrish Sadhukhan 		    rip_detected != (u64)&vmrun_rip ||
20250689a980SKrish Sadhukhan 		    host_rflags_guest_main_flag != 1 ||
20260689a980SKrish Sadhukhan 		    host_rflags_db_handler_flag > 1 ||
20270689a980SKrish Sadhukhan 		    read_rflags() & X86_EFLAGS_RF) {
2028198dfd0eSJanis Schoetterl-Glausch 			report_fail("Unexpected VMEXIT or RIP mismatch or "
20290689a980SKrish Sadhukhan 				    "EFLAGS.RF not cleared."
20300689a980SKrish Sadhukhan 				    " Exit reason 0x%x, RIP actual: %lx, RIP expected: "
20310689a980SKrish Sadhukhan 				    "%lx", vmcb->control.exit_code,
20320689a980SKrish Sadhukhan 				    (u64)&vmrun_rip, rip_detected);
20337839b0ecSKrish Sadhukhan 			return true;
20347839b0ecSKrish Sadhukhan 		}
20357839b0ecSKrish Sadhukhan 		host_rflags_set_tf = false;
20360689a980SKrish Sadhukhan 		host_rflags_set_rf = false;
20377839b0ecSKrish Sadhukhan 		vmcb->save.rip += 3;
20387839b0ecSKrish Sadhukhan 		break;
20397839b0ecSKrish Sadhukhan 	default:
20407839b0ecSKrish Sadhukhan 		return true;
20417839b0ecSKrish Sadhukhan 	}
20427839b0ecSKrish Sadhukhan 	inc_test_stage(test);
20430689a980SKrish Sadhukhan 	return get_test_stage(test) == 5;
20447839b0ecSKrish Sadhukhan }
20457839b0ecSKrish Sadhukhan 
20467839b0ecSKrish Sadhukhan static bool host_rflags_check(struct svm_test *test)
20477839b0ecSKrish Sadhukhan {
20480689a980SKrish Sadhukhan 	return get_test_stage(test) == 4;
20497839b0ecSKrish Sadhukhan }
20507839b0ecSKrish Sadhukhan 
20518660d1b5SKrish Sadhukhan #define TEST(name) { #name, .v2 = name }
20528660d1b5SKrish Sadhukhan 
2053ba29942cSKrish Sadhukhan /*
2054ba29942cSKrish Sadhukhan  * v2 tests
2055ba29942cSKrish Sadhukhan  */
2056ba29942cSKrish Sadhukhan 
2057f32183f5SJim Mattson /*
2058f32183f5SJim Mattson  * Ensure that kvm recalculates the L1 guest's CPUID.01H:ECX.OSXSAVE
2059f32183f5SJim Mattson  * after VM-exit from an L2 guest that sets CR4.OSXSAVE to a different
2060f32183f5SJim Mattson  * value than in L1.
2061f32183f5SJim Mattson  */
2062f32183f5SJim Mattson 
2063f32183f5SJim Mattson static void svm_cr4_osxsave_test_guest(struct svm_test *test)
2064f32183f5SJim Mattson {
2065f32183f5SJim Mattson 	write_cr4(read_cr4() & ~X86_CR4_OSXSAVE);
2066f32183f5SJim Mattson }
2067f32183f5SJim Mattson 
2068f32183f5SJim Mattson static void svm_cr4_osxsave_test(void)
2069f32183f5SJim Mattson {
2070f32183f5SJim Mattson 	if (!this_cpu_has(X86_FEATURE_XSAVE)) {
2071f32183f5SJim Mattson 		report_skip("XSAVE not detected");
2072f32183f5SJim Mattson 		return;
2073f32183f5SJim Mattson 	}
2074f32183f5SJim Mattson 
2075f32183f5SJim Mattson 	if (!(read_cr4() & X86_CR4_OSXSAVE)) {
2076f32183f5SJim Mattson 		unsigned long cr4 = read_cr4() | X86_CR4_OSXSAVE;
2077f32183f5SJim Mattson 
2078f32183f5SJim Mattson 		write_cr4(cr4);
2079f32183f5SJim Mattson 		vmcb->save.cr4 = cr4;
2080f32183f5SJim Mattson 	}
2081f32183f5SJim Mattson 
2082816c0359SSean Christopherson 	report(this_cpu_has(X86_FEATURE_OSXSAVE), "CPUID.01H:ECX.XSAVE set before VMRUN");
2083f32183f5SJim Mattson 
2084f32183f5SJim Mattson 	test_set_guest(svm_cr4_osxsave_test_guest);
2085f32183f5SJim Mattson 	report(svm_vmrun() == SVM_EXIT_VMMCALL,
2086f32183f5SJim Mattson 	       "svm_cr4_osxsave_test_guest finished with VMMCALL");
2087f32183f5SJim Mattson 
2088816c0359SSean Christopherson 	report(this_cpu_has(X86_FEATURE_OSXSAVE), "CPUID.01H:ECX.XSAVE set after VMRUN");
2089f32183f5SJim Mattson }
2090f32183f5SJim Mattson 
2091ba29942cSKrish Sadhukhan static void basic_guest_main(struct svm_test *test)
2092ba29942cSKrish Sadhukhan {
2093ba29942cSKrish Sadhukhan }
2094ba29942cSKrish Sadhukhan 
2095eae10e8fSKrish Sadhukhan 
2096eae10e8fSKrish Sadhukhan #define SVM_TEST_REG_RESERVED_BITS(start, end, inc, str_name, reg, val,	\
2097eae10e8fSKrish Sadhukhan 				   resv_mask)				\
2098eae10e8fSKrish Sadhukhan {									\
2099eae10e8fSKrish Sadhukhan 	u64 tmp, mask;							\
2100eae10e8fSKrish Sadhukhan 	int i;								\
2101eae10e8fSKrish Sadhukhan 									\
2102eae10e8fSKrish Sadhukhan 	for (i = start; i <= end; i = i + inc) {			\
2103eae10e8fSKrish Sadhukhan 		mask = 1ull << i;					\
2104eae10e8fSKrish Sadhukhan 		if (!(mask & resv_mask))				\
2105eae10e8fSKrish Sadhukhan 			continue;					\
2106eae10e8fSKrish Sadhukhan 		tmp = val | mask;					\
2107eae10e8fSKrish Sadhukhan 		reg = tmp;						\
2108eae10e8fSKrish Sadhukhan 		report(svm_vmrun() == SVM_EXIT_ERR, "Test %s %d:%d: %lx", \
2109eae10e8fSKrish Sadhukhan 		       str_name, end, start, tmp);			\
2110eae10e8fSKrish Sadhukhan 	}								\
2111eae10e8fSKrish Sadhukhan }
2112eae10e8fSKrish Sadhukhan 
21136d0ecbf6SKrish Sadhukhan #define SVM_TEST_CR_RESERVED_BITS(start, end, inc, cr, val, resv_mask,	\
2114cb6524f3SPaolo Bonzini 				  exit_code, test_name)			\
2115a79c9495SKrish Sadhukhan {									\
2116a79c9495SKrish Sadhukhan 	u64 tmp, mask;							\
21178ae6d77fSSean Christopherson 	u32 r;								\
2118a79c9495SKrish Sadhukhan 	int i;								\
2119a79c9495SKrish Sadhukhan 									\
2120a79c9495SKrish Sadhukhan 	for (i = start; i <= end; i = i + inc) {			\
2121a79c9495SKrish Sadhukhan 		mask = 1ull << i;					\
2122a79c9495SKrish Sadhukhan 		if (!(mask & resv_mask))				\
2123a79c9495SKrish Sadhukhan 			continue;					\
2124a79c9495SKrish Sadhukhan 		tmp = val | mask;					\
2125a79c9495SKrish Sadhukhan 		switch (cr) {						\
2126a79c9495SKrish Sadhukhan 		case 0:							\
2127a79c9495SKrish Sadhukhan 			vmcb->save.cr0 = tmp;				\
2128a79c9495SKrish Sadhukhan 			break;						\
2129a79c9495SKrish Sadhukhan 		case 3:							\
2130a79c9495SKrish Sadhukhan 			vmcb->save.cr3 = tmp;				\
2131a79c9495SKrish Sadhukhan 			break;						\
2132a79c9495SKrish Sadhukhan 		case 4:							\
2133a79c9495SKrish Sadhukhan 			vmcb->save.cr4 = tmp;				\
2134a79c9495SKrish Sadhukhan 		}							\
21358ae6d77fSSean Christopherson 		r = svm_vmrun();					\
21368ae6d77fSSean Christopherson 		report(r == exit_code, "Test CR%d %s%d:%d: %lx, wanted exit 0x%x, got 0x%x", \
21378ae6d77fSSean Christopherson 		       cr, test_name, end, start, tmp, exit_code, r);	\
2138a79c9495SKrish Sadhukhan 	}								\
2139a79c9495SKrish Sadhukhan }
2140e8d7a8f6SKrish Sadhukhan 
2141a79c9495SKrish Sadhukhan static void test_efer(void)
2142a79c9495SKrish Sadhukhan {
2143e8d7a8f6SKrish Sadhukhan 	/*
2144e8d7a8f6SKrish Sadhukhan 	 * Un-setting EFER.SVME is illegal
2145e8d7a8f6SKrish Sadhukhan 	 */
2146ba29942cSKrish Sadhukhan 	u64 efer_saved = vmcb->save.efer;
2147ba29942cSKrish Sadhukhan 	u64 efer = efer_saved;
2148ba29942cSKrish Sadhukhan 
2149ba29942cSKrish Sadhukhan 	report (svm_vmrun() == SVM_EXIT_VMMCALL, "EFER.SVME: %lx", efer);
2150ba29942cSKrish Sadhukhan 	efer &= ~EFER_SVME;
2151ba29942cSKrish Sadhukhan 	vmcb->save.efer = efer;
2152ba29942cSKrish Sadhukhan 	report (svm_vmrun() == SVM_EXIT_ERR, "EFER.SVME: %lx", efer);
2153ba29942cSKrish Sadhukhan 	vmcb->save.efer = efer_saved;
2154e8d7a8f6SKrish Sadhukhan 
2155e8d7a8f6SKrish Sadhukhan 	/*
2156a79c9495SKrish Sadhukhan 	 * EFER MBZ bits: 63:16, 9
2157a79c9495SKrish Sadhukhan 	 */
2158a79c9495SKrish Sadhukhan 	efer_saved = vmcb->save.efer;
2159a79c9495SKrish Sadhukhan 
2160a79c9495SKrish Sadhukhan 	SVM_TEST_REG_RESERVED_BITS(8, 9, 1, "EFER", vmcb->save.efer,
2161a79c9495SKrish Sadhukhan 				   efer_saved, SVM_EFER_RESERVED_MASK);
2162a79c9495SKrish Sadhukhan 	SVM_TEST_REG_RESERVED_BITS(16, 63, 4, "EFER", vmcb->save.efer,
2163a79c9495SKrish Sadhukhan 				   efer_saved, SVM_EFER_RESERVED_MASK);
2164a79c9495SKrish Sadhukhan 
21651d7bde08SKrish Sadhukhan 	/*
21661d7bde08SKrish Sadhukhan 	 * EFER.LME and CR0.PG are both set and CR4.PAE is zero.
21671d7bde08SKrish Sadhukhan 	 */
21681d7bde08SKrish Sadhukhan 	u64 cr0_saved = vmcb->save.cr0;
21691d7bde08SKrish Sadhukhan 	u64 cr0;
21701d7bde08SKrish Sadhukhan 	u64 cr4_saved = vmcb->save.cr4;
21711d7bde08SKrish Sadhukhan 	u64 cr4;
21721d7bde08SKrish Sadhukhan 
21731d7bde08SKrish Sadhukhan 	efer = efer_saved | EFER_LME;
21741d7bde08SKrish Sadhukhan 	vmcb->save.efer = efer;
21751d7bde08SKrish Sadhukhan 	cr0 = cr0_saved | X86_CR0_PG | X86_CR0_PE;
21761d7bde08SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
21771d7bde08SKrish Sadhukhan 	cr4 = cr4_saved & ~X86_CR4_PAE;
21781d7bde08SKrish Sadhukhan 	vmcb->save.cr4 = cr4;
21791d7bde08SKrish Sadhukhan 	report(svm_vmrun() == SVM_EXIT_ERR, "EFER.LME=1 (%lx), "
21801d7bde08SKrish Sadhukhan 	       "CR0.PG=1 (%lx) and CR4.PAE=0 (%lx)", efer, cr0, cr4);
21811d7bde08SKrish Sadhukhan 
21821d7bde08SKrish Sadhukhan 	/*
21831d7bde08SKrish Sadhukhan 	 * EFER.LME and CR0.PG are both set and CR0.PE is zero.
2184fc050452SLara Lazier 	 * CR4.PAE needs to be set as we otherwise cannot
2185fc050452SLara Lazier 	 * determine if CR4.PAE=0 or CR0.PE=0 triggered the
2186fc050452SLara Lazier 	 * SVM_EXIT_ERR.
21871d7bde08SKrish Sadhukhan 	 */
2188fc050452SLara Lazier 	cr4 = cr4_saved | X86_CR4_PAE;
2189fc050452SLara Lazier 	vmcb->save.cr4 = cr4;
21901d7bde08SKrish Sadhukhan 	cr0 &= ~X86_CR0_PE;
21911d7bde08SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
21921d7bde08SKrish Sadhukhan 	report(svm_vmrun() == SVM_EXIT_ERR, "EFER.LME=1 (%lx), "
21931d7bde08SKrish Sadhukhan 	       "CR0.PG=1 and CR0.PE=0 (%lx)", efer, cr0);
21941d7bde08SKrish Sadhukhan 
21951d7bde08SKrish Sadhukhan 	/*
21961d7bde08SKrish Sadhukhan 	 * EFER.LME, CR0.PG, CR4.PAE, CS.L, and CS.D are all non-zero.
21971d7bde08SKrish Sadhukhan 	 */
21981d7bde08SKrish Sadhukhan 	u32 cs_attrib_saved = vmcb->save.cs.attrib;
21991d7bde08SKrish Sadhukhan 	u32 cs_attrib;
22001d7bde08SKrish Sadhukhan 
22011d7bde08SKrish Sadhukhan 	cr0 |= X86_CR0_PE;
22021d7bde08SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
22031d7bde08SKrish Sadhukhan 	cs_attrib = cs_attrib_saved | SVM_SELECTOR_L_MASK |
22041d7bde08SKrish Sadhukhan 		SVM_SELECTOR_DB_MASK;
22051d7bde08SKrish Sadhukhan 	vmcb->save.cs.attrib = cs_attrib;
22061d7bde08SKrish Sadhukhan 	report(svm_vmrun() == SVM_EXIT_ERR, "EFER.LME=1 (%lx), "
22071d7bde08SKrish Sadhukhan 	       "CR0.PG=1 (%lx), CR4.PAE=1 (%lx), CS.L=1 and CS.D=1 (%x)",
22081d7bde08SKrish Sadhukhan 	       efer, cr0, cr4, cs_attrib);
22091d7bde08SKrish Sadhukhan 
22101d7bde08SKrish Sadhukhan 	vmcb->save.cr0 = cr0_saved;
22111d7bde08SKrish Sadhukhan 	vmcb->save.cr4 = cr4_saved;
2212a79c9495SKrish Sadhukhan 	vmcb->save.efer = efer_saved;
22131d7bde08SKrish Sadhukhan 	vmcb->save.cs.attrib = cs_attrib_saved;
2214a79c9495SKrish Sadhukhan }
2215a79c9495SKrish Sadhukhan 
2216a79c9495SKrish Sadhukhan static void test_cr0(void)
2217a79c9495SKrish Sadhukhan {
2218a79c9495SKrish Sadhukhan 	/*
2219e8d7a8f6SKrish Sadhukhan 	 * Un-setting CR0.CD and setting CR0.NW is illegal combination
2220e8d7a8f6SKrish Sadhukhan 	 */
2221e8d7a8f6SKrish Sadhukhan 	u64 cr0_saved = vmcb->save.cr0;
2222e8d7a8f6SKrish Sadhukhan 	u64 cr0 = cr0_saved;
2223e8d7a8f6SKrish Sadhukhan 
2224e8d7a8f6SKrish Sadhukhan 	cr0 |= X86_CR0_CD;
2225e8d7a8f6SKrish Sadhukhan 	cr0 &= ~X86_CR0_NW;
2226e8d7a8f6SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
2227a79c9495SKrish Sadhukhan 	report (svm_vmrun() == SVM_EXIT_VMMCALL, "Test CR0 CD=1,NW=0: %lx",
2228a79c9495SKrish Sadhukhan 		cr0);
2229e8d7a8f6SKrish Sadhukhan 	cr0 |= X86_CR0_NW;
2230e8d7a8f6SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
2231a79c9495SKrish Sadhukhan 	report (svm_vmrun() == SVM_EXIT_VMMCALL, "Test CR0 CD=1,NW=1: %lx",
2232a79c9495SKrish Sadhukhan 		cr0);
2233e8d7a8f6SKrish Sadhukhan 	cr0 &= ~X86_CR0_NW;
2234e8d7a8f6SKrish Sadhukhan 	cr0 &= ~X86_CR0_CD;
2235e8d7a8f6SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
2236a79c9495SKrish Sadhukhan 	report (svm_vmrun() == SVM_EXIT_VMMCALL, "Test CR0 CD=0,NW=0: %lx",
2237a79c9495SKrish Sadhukhan 		cr0);
2238e8d7a8f6SKrish Sadhukhan 	cr0 |= X86_CR0_NW;
2239e8d7a8f6SKrish Sadhukhan 	vmcb->save.cr0 = cr0;
2240a79c9495SKrish Sadhukhan 	report (svm_vmrun() == SVM_EXIT_ERR, "Test CR0 CD=0,NW=1: %lx",
2241a79c9495SKrish Sadhukhan 		cr0);
2242e8d7a8f6SKrish Sadhukhan 	vmcb->save.cr0 = cr0_saved;
22435c052c90SKrish Sadhukhan 
22445c052c90SKrish Sadhukhan 	/*
22455c052c90SKrish Sadhukhan 	 * CR0[63:32] are not zero
22465c052c90SKrish Sadhukhan 	 */
22475c052c90SKrish Sadhukhan 	cr0 = cr0_saved;
2248eae10e8fSKrish Sadhukhan 
2249eae10e8fSKrish Sadhukhan 	SVM_TEST_REG_RESERVED_BITS(32, 63, 4, "CR0", vmcb->save.cr0, cr0_saved,
2250eae10e8fSKrish Sadhukhan 				   SVM_CR0_RESERVED_MASK);
22515c052c90SKrish Sadhukhan 	vmcb->save.cr0 = cr0_saved;
2252a79c9495SKrish Sadhukhan }
2253eae10e8fSKrish Sadhukhan 
2254a79c9495SKrish Sadhukhan static void test_cr3(void)
2255a79c9495SKrish Sadhukhan {
2256a79c9495SKrish Sadhukhan 	/*
2257a79c9495SKrish Sadhukhan 	 * CR3 MBZ bits based on different modes:
225829a01803SNadav Amit 	 *   [63:52] - long mode
2259a79c9495SKrish Sadhukhan 	 */
2260a79c9495SKrish Sadhukhan 	u64 cr3_saved = vmcb->save.cr3;
2261a79c9495SKrish Sadhukhan 
2262a79c9495SKrish Sadhukhan 	SVM_TEST_CR_RESERVED_BITS(0, 63, 1, 3, cr3_saved,
2263cb6524f3SPaolo Bonzini 				  SVM_CR3_LONG_MBZ_MASK, SVM_EXIT_ERR, "");
22646d0ecbf6SKrish Sadhukhan 
22656d0ecbf6SKrish Sadhukhan 	vmcb->save.cr3 = cr3_saved & ~SVM_CR3_LONG_MBZ_MASK;
22666d0ecbf6SKrish Sadhukhan 	report(svm_vmrun() == SVM_EXIT_VMMCALL, "Test CR3 63:0: %lx",
22676d0ecbf6SKrish Sadhukhan 	       vmcb->save.cr3);
22686d0ecbf6SKrish Sadhukhan 
22696d0ecbf6SKrish Sadhukhan 	/*
22706d0ecbf6SKrish Sadhukhan 	 * CR3 non-MBZ reserved bits based on different modes:
2271cb6524f3SPaolo Bonzini 	 *   [11:5] [2:0] - long mode (PCIDE=0)
22726d0ecbf6SKrish Sadhukhan 	 *          [2:0] - PAE legacy mode
22736d0ecbf6SKrish Sadhukhan 	 */
22746d0ecbf6SKrish Sadhukhan 	u64 cr4_saved = vmcb->save.cr4;
22756d0ecbf6SKrish Sadhukhan 	u64 *pdpe = npt_get_pml4e();
22766d0ecbf6SKrish Sadhukhan 
22776d0ecbf6SKrish Sadhukhan 	/*
22786d0ecbf6SKrish Sadhukhan 	 * Long mode
22796d0ecbf6SKrish Sadhukhan 	 */
22806d0ecbf6SKrish Sadhukhan 	if (this_cpu_has(X86_FEATURE_PCID)) {
22816d0ecbf6SKrish Sadhukhan 		vmcb->save.cr4 = cr4_saved | X86_CR4_PCIDE;
22826d0ecbf6SKrish Sadhukhan 		SVM_TEST_CR_RESERVED_BITS(0, 11, 1, 3, cr3_saved,
2283cb6524f3SPaolo Bonzini 					  SVM_CR3_LONG_RESERVED_MASK, SVM_EXIT_VMMCALL, "(PCIDE=1) ");
22846d0ecbf6SKrish Sadhukhan 
22856d0ecbf6SKrish Sadhukhan 		vmcb->save.cr3 = cr3_saved & ~SVM_CR3_LONG_RESERVED_MASK;
22866d0ecbf6SKrish Sadhukhan 		report(svm_vmrun() == SVM_EXIT_VMMCALL, "Test CR3 63:0: %lx",
22876d0ecbf6SKrish Sadhukhan 		       vmcb->save.cr3);
2288cb6524f3SPaolo Bonzini 	}
22896d0ecbf6SKrish Sadhukhan 
22906d0ecbf6SKrish Sadhukhan 	vmcb->save.cr4 = cr4_saved & ~X86_CR4_PCIDE;
22916d0ecbf6SKrish Sadhukhan 
2292993749ffSSean Christopherson 	if (!npt_supported())
2293993749ffSSean Christopherson 		goto skip_npt_only;
2294993749ffSSean Christopherson 
22956d0ecbf6SKrish Sadhukhan 	/* Clear P (Present) bit in NPT in order to trigger #NPF */
22966d0ecbf6SKrish Sadhukhan 	pdpe[0] &= ~1ULL;
22976d0ecbf6SKrish Sadhukhan 
22986d0ecbf6SKrish Sadhukhan 	SVM_TEST_CR_RESERVED_BITS(0, 11, 1, 3, cr3_saved,
2299cb6524f3SPaolo Bonzini 				  SVM_CR3_LONG_RESERVED_MASK, SVM_EXIT_NPF, "(PCIDE=0) ");
23006d0ecbf6SKrish Sadhukhan 
23016d0ecbf6SKrish Sadhukhan 	pdpe[0] |= 1ULL;
2302cb6524f3SPaolo Bonzini 	vmcb->save.cr3 = cr3_saved;
23036d0ecbf6SKrish Sadhukhan 
23046d0ecbf6SKrish Sadhukhan 	/*
23056d0ecbf6SKrish Sadhukhan 	 * PAE legacy
23066d0ecbf6SKrish Sadhukhan 	 */
23076d0ecbf6SKrish Sadhukhan 	pdpe[0] &= ~1ULL;
23086d0ecbf6SKrish Sadhukhan 	vmcb->save.cr4 = cr4_saved | X86_CR4_PAE;
23096d0ecbf6SKrish Sadhukhan 	SVM_TEST_CR_RESERVED_BITS(0, 2, 1, 3, cr3_saved,
2310cb6524f3SPaolo Bonzini 				  SVM_CR3_PAE_LEGACY_RESERVED_MASK, SVM_EXIT_NPF, "(PAE) ");
23116d0ecbf6SKrish Sadhukhan 
23126d0ecbf6SKrish Sadhukhan 	pdpe[0] |= 1ULL;
2313993749ffSSean Christopherson 
2314993749ffSSean Christopherson skip_npt_only:
2315a79c9495SKrish Sadhukhan 	vmcb->save.cr3 = cr3_saved;
23166d0ecbf6SKrish Sadhukhan 	vmcb->save.cr4 = cr4_saved;
2317a79c9495SKrish Sadhukhan }
2318a79c9495SKrish Sadhukhan 
2319d30973c3SWei Huang /* Test CR4 MBZ bits based on legacy or long modes */
2320a79c9495SKrish Sadhukhan static void test_cr4(void)
2321a79c9495SKrish Sadhukhan {
2322a79c9495SKrish Sadhukhan 	u64 cr4_saved = vmcb->save.cr4;
2323a79c9495SKrish Sadhukhan 	u64 efer_saved = vmcb->save.efer;
2324a79c9495SKrish Sadhukhan 	u64 efer = efer_saved;
2325a79c9495SKrish Sadhukhan 
2326a79c9495SKrish Sadhukhan 	efer &= ~EFER_LME;
2327a79c9495SKrish Sadhukhan 	vmcb->save.efer = efer;
2328a79c9495SKrish Sadhukhan 	SVM_TEST_CR_RESERVED_BITS(12, 31, 1, 4, cr4_saved,
2329cb6524f3SPaolo Bonzini 				  SVM_CR4_LEGACY_RESERVED_MASK, SVM_EXIT_ERR, "");
2330a79c9495SKrish Sadhukhan 
2331a79c9495SKrish Sadhukhan 	efer |= EFER_LME;
2332a79c9495SKrish Sadhukhan 	vmcb->save.efer = efer;
2333a79c9495SKrish Sadhukhan 	SVM_TEST_CR_RESERVED_BITS(12, 31, 1, 4, cr4_saved,
2334cb6524f3SPaolo Bonzini 				  SVM_CR4_RESERVED_MASK, SVM_EXIT_ERR, "");
2335a79c9495SKrish Sadhukhan 	SVM_TEST_CR_RESERVED_BITS(32, 63, 4, 4, cr4_saved,
2336cb6524f3SPaolo Bonzini 				  SVM_CR4_RESERVED_MASK, SVM_EXIT_ERR, "");
2337a79c9495SKrish Sadhukhan 
2338a79c9495SKrish Sadhukhan 	vmcb->save.cr4 = cr4_saved;
2339a79c9495SKrish Sadhukhan 	vmcb->save.efer = efer_saved;
2340a79c9495SKrish Sadhukhan }
2341a79c9495SKrish Sadhukhan 
2342a79c9495SKrish Sadhukhan static void test_dr(void)
2343a79c9495SKrish Sadhukhan {
2344eae10e8fSKrish Sadhukhan 	/*
2345eae10e8fSKrish Sadhukhan 	 * DR6[63:32] and DR7[63:32] are MBZ
2346eae10e8fSKrish Sadhukhan 	 */
2347eae10e8fSKrish Sadhukhan 	u64 dr_saved = vmcb->save.dr6;
2348eae10e8fSKrish Sadhukhan 
2349eae10e8fSKrish Sadhukhan 	SVM_TEST_REG_RESERVED_BITS(32, 63, 4, "DR6", vmcb->save.dr6, dr_saved,
2350eae10e8fSKrish Sadhukhan 				   SVM_DR6_RESERVED_MASK);
2351eae10e8fSKrish Sadhukhan 	vmcb->save.dr6 = dr_saved;
2352eae10e8fSKrish Sadhukhan 
2353eae10e8fSKrish Sadhukhan 	dr_saved = vmcb->save.dr7;
2354eae10e8fSKrish Sadhukhan 	SVM_TEST_REG_RESERVED_BITS(32, 63, 4, "DR7", vmcb->save.dr7, dr_saved,
2355eae10e8fSKrish Sadhukhan 				   SVM_DR7_RESERVED_MASK);
2356eae10e8fSKrish Sadhukhan 
2357eae10e8fSKrish Sadhukhan 	vmcb->save.dr7 = dr_saved;
2358a79c9495SKrish Sadhukhan }
2359eae10e8fSKrish Sadhukhan 
2360abe82380SKrish Sadhukhan /* TODO: verify if high 32-bits are sign- or zero-extended on bare metal */
2361abe82380SKrish Sadhukhan #define	TEST_BITMAP_ADDR(save_intercept, type, addr, exit_code,		\
2362abe82380SKrish Sadhukhan 			 msg) {						\
2363abe82380SKrish Sadhukhan 		vmcb->control.intercept = saved_intercept | 1ULL << type; \
2364abe82380SKrish Sadhukhan 		if (type == INTERCEPT_MSR_PROT)				\
2365abe82380SKrish Sadhukhan 			vmcb->control.msrpm_base_pa = addr;		\
2366abe82380SKrish Sadhukhan 		else							\
2367abe82380SKrish Sadhukhan 			vmcb->control.iopm_base_pa = addr;		\
2368abe82380SKrish Sadhukhan 		report(svm_vmrun() == exit_code,			\
2369abe82380SKrish Sadhukhan 		       "Test %s address: %lx", msg, addr);		\
2370abe82380SKrish Sadhukhan 	}
2371abe82380SKrish Sadhukhan 
2372abe82380SKrish Sadhukhan /*
2373abe82380SKrish Sadhukhan  * If the MSR or IOIO intercept table extends to a physical address that
2374abe82380SKrish Sadhukhan  * is greater than or equal to the maximum supported physical address, the
2375abe82380SKrish Sadhukhan  * guest state is illegal.
2376abe82380SKrish Sadhukhan  *
2377abe82380SKrish Sadhukhan  * The VMRUN instruction ignores the lower 12 bits of the address specified
2378abe82380SKrish Sadhukhan  * in the VMCB.
2379abe82380SKrish Sadhukhan  *
2380abe82380SKrish Sadhukhan  * MSRPM spans 2 contiguous 4KB pages while IOPM spans 2 contiguous 4KB
2381abe82380SKrish Sadhukhan  * pages + 1 byte.
2382abe82380SKrish Sadhukhan  *
2383abe82380SKrish Sadhukhan  * [APM vol 2]
2384abe82380SKrish Sadhukhan  *
2385abe82380SKrish Sadhukhan  * Note: Unallocated MSRPM addresses conforming to consistency checks, generate
2386abe82380SKrish Sadhukhan  * #NPF.
2387abe82380SKrish Sadhukhan  */
2388abe82380SKrish Sadhukhan static void test_msrpm_iopm_bitmap_addrs(void)
2389abe82380SKrish Sadhukhan {
2390abe82380SKrish Sadhukhan 	u64 saved_intercept = vmcb->control.intercept;
2391abe82380SKrish Sadhukhan 	u64 addr_beyond_limit = 1ull << cpuid_maxphyaddr();
2392abe82380SKrish Sadhukhan 	u64 addr = virt_to_phys(msr_bitmap) & (~((1ull << 12) - 1));
2393abe82380SKrish Sadhukhan 
2394abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_MSR_PROT,
2395abe82380SKrish Sadhukhan 			 addr_beyond_limit - 2 * PAGE_SIZE, SVM_EXIT_ERR,
2396abe82380SKrish Sadhukhan 			 "MSRPM");
2397abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_MSR_PROT,
2398abe82380SKrish Sadhukhan 			 addr_beyond_limit - 2 * PAGE_SIZE + 1, SVM_EXIT_ERR,
2399abe82380SKrish Sadhukhan 			 "MSRPM");
2400abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_MSR_PROT,
2401abe82380SKrish Sadhukhan 			 addr_beyond_limit - PAGE_SIZE, SVM_EXIT_ERR,
2402abe82380SKrish Sadhukhan 			 "MSRPM");
2403abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_MSR_PROT, addr,
2404abe82380SKrish Sadhukhan 			 SVM_EXIT_VMMCALL, "MSRPM");
2405abe82380SKrish Sadhukhan 	addr |= (1ull << 12) - 1;
2406abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_MSR_PROT, addr,
2407abe82380SKrish Sadhukhan 			 SVM_EXIT_VMMCALL, "MSRPM");
2408abe82380SKrish Sadhukhan 
2409abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT,
2410abe82380SKrish Sadhukhan 			 addr_beyond_limit - 4 * PAGE_SIZE, SVM_EXIT_VMMCALL,
2411abe82380SKrish Sadhukhan 			 "IOPM");
2412abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT,
2413abe82380SKrish Sadhukhan 			 addr_beyond_limit - 3 * PAGE_SIZE, SVM_EXIT_VMMCALL,
2414abe82380SKrish Sadhukhan 			 "IOPM");
2415abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT,
2416abe82380SKrish Sadhukhan 			 addr_beyond_limit - 2 * PAGE_SIZE - 2, SVM_EXIT_VMMCALL,
2417abe82380SKrish Sadhukhan 			 "IOPM");
2418abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT,
2419abe82380SKrish Sadhukhan 			 addr_beyond_limit - 2 * PAGE_SIZE, SVM_EXIT_ERR,
2420abe82380SKrish Sadhukhan 			 "IOPM");
2421abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT,
2422abe82380SKrish Sadhukhan 			 addr_beyond_limit - PAGE_SIZE, SVM_EXIT_ERR,
2423abe82380SKrish Sadhukhan 			 "IOPM");
2424abe82380SKrish Sadhukhan 	addr = virt_to_phys(io_bitmap) & (~((1ull << 11) - 1));
2425abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT, addr,
2426abe82380SKrish Sadhukhan 			 SVM_EXIT_VMMCALL, "IOPM");
2427abe82380SKrish Sadhukhan 	addr |= (1ull << 12) - 1;
2428abe82380SKrish Sadhukhan 	TEST_BITMAP_ADDR(saved_intercept, INTERCEPT_IOIO_PROT, addr,
2429abe82380SKrish Sadhukhan 			 SVM_EXIT_VMMCALL, "IOPM");
2430abe82380SKrish Sadhukhan 
2431abe82380SKrish Sadhukhan 	vmcb->control.intercept = saved_intercept;
2432abe82380SKrish Sadhukhan }
2433abe82380SKrish Sadhukhan 
2434ba3c9773SLara Lazier /*
2435ba3c9773SLara Lazier  * Unlike VMSAVE, VMRUN seems not to update the value of noncanonical
2436ba3c9773SLara Lazier  * segment bases in the VMCB.  However, VMENTRY succeeds as documented.
2437ba3c9773SLara Lazier  */
2438ba3c9773SLara Lazier #define TEST_CANONICAL_VMRUN(seg_base, msg)				\
2439a99070ebSKrish Sadhukhan 	saved_addr = seg_base;						\
2440a99070ebSKrish Sadhukhan 	seg_base = (seg_base & ((1ul << addr_limit) - 1)) | noncanonical_mask; \
2441ba3c9773SLara Lazier 	return_value = svm_vmrun();					\
2442ba3c9773SLara Lazier 	report(return_value == SVM_EXIT_VMMCALL,			\
2443ba3c9773SLara Lazier 	       "Successful VMRUN with noncanonical %s.base", msg);	\
2444a99070ebSKrish Sadhukhan 	seg_base = saved_addr;
2445a99070ebSKrish Sadhukhan 
2446ba3c9773SLara Lazier 
2447ba3c9773SLara Lazier #define TEST_CANONICAL_VMLOAD(seg_base, msg)				\
2448ba3c9773SLara Lazier 	saved_addr = seg_base;						\
2449ba3c9773SLara Lazier 	seg_base = (seg_base & ((1ul << addr_limit) - 1)) | noncanonical_mask; \
2450ba3c9773SLara Lazier 	asm volatile ("vmload %0" : : "a"(vmcb_phys) : "memory");	\
2451ba3c9773SLara Lazier 	asm volatile ("vmsave %0" : : "a"(vmcb_phys) : "memory");	\
2452ba3c9773SLara Lazier 	report(is_canonical(seg_base),					\
2453ba3c9773SLara Lazier 	       "Test %s.base for canonical form: %lx", msg, seg_base);	\
2454ba3c9773SLara Lazier 	seg_base = saved_addr;
2455ba3c9773SLara Lazier 
2456ba3c9773SLara Lazier static void test_canonicalization(void)
2457a99070ebSKrish Sadhukhan {
2458a99070ebSKrish Sadhukhan 	u64 saved_addr;
2459ba3c9773SLara Lazier 	u64 return_value;
2460ba3c9773SLara Lazier 	u64 addr_limit;
2461ba3c9773SLara Lazier 	u64 vmcb_phys = virt_to_phys(vmcb);
2462ba3c9773SLara Lazier 
2463ba3c9773SLara Lazier 	addr_limit = (this_cpu_has(X86_FEATURE_LA57)) ? 57 : 48;
2464a99070ebSKrish Sadhukhan 	u64 noncanonical_mask = NONCANONICAL & ~((1ul << addr_limit) - 1);
2465a99070ebSKrish Sadhukhan 
2466ba3c9773SLara Lazier 	TEST_CANONICAL_VMLOAD(vmcb->save.fs.base, "FS");
2467ba3c9773SLara Lazier 	TEST_CANONICAL_VMLOAD(vmcb->save.gs.base, "GS");
2468ba3c9773SLara Lazier 	TEST_CANONICAL_VMLOAD(vmcb->save.ldtr.base, "LDTR");
2469ba3c9773SLara Lazier 	TEST_CANONICAL_VMLOAD(vmcb->save.tr.base, "TR");
2470ba3c9773SLara Lazier 	TEST_CANONICAL_VMLOAD(vmcb->save.kernel_gs_base, "KERNEL GS");
2471ba3c9773SLara Lazier 	TEST_CANONICAL_VMRUN(vmcb->save.es.base, "ES");
2472ba3c9773SLara Lazier 	TEST_CANONICAL_VMRUN(vmcb->save.cs.base, "CS");
2473ba3c9773SLara Lazier 	TEST_CANONICAL_VMRUN(vmcb->save.ss.base, "SS");
2474ba3c9773SLara Lazier 	TEST_CANONICAL_VMRUN(vmcb->save.ds.base, "DS");
2475ba3c9773SLara Lazier 	TEST_CANONICAL_VMRUN(vmcb->save.gdtr.base, "GDTR");
2476ba3c9773SLara Lazier 	TEST_CANONICAL_VMRUN(vmcb->save.idtr.base, "IDTR");
2477a99070ebSKrish Sadhukhan }
2478a99070ebSKrish Sadhukhan 
2479665f5677SKrish Sadhukhan /*
2480665f5677SKrish Sadhukhan  * When VMRUN loads a guest value of 1 in EFLAGS.TF, that value does not
2481665f5677SKrish Sadhukhan  * cause a trace trap between the VMRUN and the first guest instruction, but
2482665f5677SKrish Sadhukhan  * rather after completion of the first guest instruction.
2483665f5677SKrish Sadhukhan  *
2484665f5677SKrish Sadhukhan  * [APM vol 2]
2485665f5677SKrish Sadhukhan  */
2486665f5677SKrish Sadhukhan u64 guest_rflags_test_trap_rip;
2487665f5677SKrish Sadhukhan 
2488665f5677SKrish Sadhukhan static void guest_rflags_test_db_handler(struct ex_regs *r)
2489665f5677SKrish Sadhukhan {
2490665f5677SKrish Sadhukhan 	guest_rflags_test_trap_rip = r->rip;
2491665f5677SKrish Sadhukhan 	r->rflags &= ~X86_EFLAGS_TF;
2492665f5677SKrish Sadhukhan }
2493665f5677SKrish Sadhukhan 
2494a79c9495SKrish Sadhukhan static void svm_guest_state_test(void)
2495a79c9495SKrish Sadhukhan {
2496a79c9495SKrish Sadhukhan 	test_set_guest(basic_guest_main);
2497a79c9495SKrish Sadhukhan 	test_efer();
2498a79c9495SKrish Sadhukhan 	test_cr0();
2499a79c9495SKrish Sadhukhan 	test_cr3();
2500a79c9495SKrish Sadhukhan 	test_cr4();
2501a79c9495SKrish Sadhukhan 	test_dr();
2502abe82380SKrish Sadhukhan 	test_msrpm_iopm_bitmap_addrs();
2503ba3c9773SLara Lazier 	test_canonicalization();
2504ba29942cSKrish Sadhukhan }
2505ba29942cSKrish Sadhukhan 
2506665f5677SKrish Sadhukhan extern void guest_rflags_test_guest(struct svm_test *test);
2507665f5677SKrish Sadhukhan extern u64 *insn2;
2508665f5677SKrish Sadhukhan extern u64 *guest_end;
2509665f5677SKrish Sadhukhan 
2510665f5677SKrish Sadhukhan asm("guest_rflags_test_guest:\n\t"
2511665f5677SKrish Sadhukhan     "push %rbp\n\t"
2512665f5677SKrish Sadhukhan     ".global insn2\n\t"
2513665f5677SKrish Sadhukhan     "insn2:\n\t"
2514665f5677SKrish Sadhukhan     "mov %rsp,%rbp\n\t"
2515665f5677SKrish Sadhukhan     "vmmcall\n\t"
2516665f5677SKrish Sadhukhan     "vmmcall\n\t"
2517665f5677SKrish Sadhukhan     ".global guest_end\n\t"
2518665f5677SKrish Sadhukhan     "guest_end:\n\t"
2519665f5677SKrish Sadhukhan     "vmmcall\n\t"
2520665f5677SKrish Sadhukhan     "pop %rbp\n\t"
2521665f5677SKrish Sadhukhan     "ret");
2522665f5677SKrish Sadhukhan 
2523665f5677SKrish Sadhukhan static void svm_test_singlestep(void)
2524665f5677SKrish Sadhukhan {
2525665f5677SKrish Sadhukhan 	handle_exception(DB_VECTOR, guest_rflags_test_db_handler);
2526665f5677SKrish Sadhukhan 
2527665f5677SKrish Sadhukhan 	/*
2528665f5677SKrish Sadhukhan 	 * Trap expected after completion of first guest instruction
2529665f5677SKrish Sadhukhan 	 */
2530665f5677SKrish Sadhukhan 	vmcb->save.rflags |= X86_EFLAGS_TF;
2531665f5677SKrish Sadhukhan 	report (__svm_vmrun((u64)guest_rflags_test_guest) == SVM_EXIT_VMMCALL &&
2532665f5677SKrish Sadhukhan 		guest_rflags_test_trap_rip == (u64)&insn2,
2533665f5677SKrish Sadhukhan 		"Test EFLAGS.TF on VMRUN: trap expected  after completion of first guest instruction");
2534665f5677SKrish Sadhukhan 	/*
2535665f5677SKrish Sadhukhan 	 * No trap expected
2536665f5677SKrish Sadhukhan 	 */
2537665f5677SKrish Sadhukhan 	guest_rflags_test_trap_rip = 0;
2538665f5677SKrish Sadhukhan 	vmcb->save.rip += 3;
2539665f5677SKrish Sadhukhan 	vmcb->save.rflags |= X86_EFLAGS_TF;
2540665f5677SKrish Sadhukhan 	report (__svm_vmrun(vmcb->save.rip) == SVM_EXIT_VMMCALL &&
2541665f5677SKrish Sadhukhan 		guest_rflags_test_trap_rip == 0, "Test EFLAGS.TF on VMRUN: trap not expected");
2542665f5677SKrish Sadhukhan 
2543665f5677SKrish Sadhukhan 	/*
2544665f5677SKrish Sadhukhan 	 * Let guest finish execution
2545665f5677SKrish Sadhukhan 	 */
2546665f5677SKrish Sadhukhan 	vmcb->save.rip += 3;
2547665f5677SKrish Sadhukhan 	report (__svm_vmrun(vmcb->save.rip) == SVM_EXIT_VMMCALL &&
2548665f5677SKrish Sadhukhan 		vmcb->save.rip == (u64)&guest_end, "Test EFLAGS.TF on VMRUN: guest execution completion");
2549665f5677SKrish Sadhukhan }
2550665f5677SKrish Sadhukhan 
25517a57ef5dSMaxim Levitsky static bool volatile svm_errata_reproduced = false;
25527a57ef5dSMaxim Levitsky static unsigned long volatile physical = 0;
25537a57ef5dSMaxim Levitsky 
25547a57ef5dSMaxim Levitsky 
25557a57ef5dSMaxim Levitsky /*
25567a57ef5dSMaxim Levitsky  *
25577a57ef5dSMaxim Levitsky  * Test the following errata:
25587a57ef5dSMaxim Levitsky  * If the VMRUN/VMSAVE/VMLOAD are attempted by the nested guest,
25597a57ef5dSMaxim Levitsky  * the CPU would first check the EAX against host reserved memory
25607a57ef5dSMaxim Levitsky  * regions (so far only SMM_ADDR/SMM_MASK are known to cause it),
25617a57ef5dSMaxim Levitsky  * and only then signal #VMexit
25627a57ef5dSMaxim Levitsky  *
25637a57ef5dSMaxim Levitsky  * Try to reproduce this by trying vmsave on each possible 4K aligned memory
25647a57ef5dSMaxim Levitsky  * address in the low 4G where the SMM area has to reside.
25657a57ef5dSMaxim Levitsky  */
25667a57ef5dSMaxim Levitsky 
25677a57ef5dSMaxim Levitsky static void gp_isr(struct ex_regs *r)
25687a57ef5dSMaxim Levitsky {
25697a57ef5dSMaxim Levitsky 	svm_errata_reproduced = true;
25707a57ef5dSMaxim Levitsky 	/* skip over the vmsave instruction*/
25717a57ef5dSMaxim Levitsky 	r->rip += 3;
25727a57ef5dSMaxim Levitsky }
25737a57ef5dSMaxim Levitsky 
25747a57ef5dSMaxim Levitsky static void svm_vmrun_errata_test(void)
25757a57ef5dSMaxim Levitsky {
25767a57ef5dSMaxim Levitsky 	unsigned long *last_page = NULL;
25777a57ef5dSMaxim Levitsky 
25787a57ef5dSMaxim Levitsky 	handle_exception(GP_VECTOR, gp_isr);
25797a57ef5dSMaxim Levitsky 
25807a57ef5dSMaxim Levitsky 	while (!svm_errata_reproduced) {
25817a57ef5dSMaxim Levitsky 
25827a57ef5dSMaxim Levitsky 		unsigned long *page = alloc_pages(1);
25837a57ef5dSMaxim Levitsky 
25847a57ef5dSMaxim Levitsky 		if (!page) {
25855c3582f0SJanis Schoetterl-Glausch 			report_pass("All guest memory tested, no bug found");
25867a57ef5dSMaxim Levitsky 			break;
25877a57ef5dSMaxim Levitsky 		}
25887a57ef5dSMaxim Levitsky 
25897a57ef5dSMaxim Levitsky 		physical = virt_to_phys(page);
25907a57ef5dSMaxim Levitsky 
25917a57ef5dSMaxim Levitsky 		asm volatile (
25927a57ef5dSMaxim Levitsky 			      "mov %[_physical], %%rax\n\t"
25937a57ef5dSMaxim Levitsky 			      "vmsave %%rax\n\t"
25947a57ef5dSMaxim Levitsky 
25957a57ef5dSMaxim Levitsky 			      : [_physical] "=m" (physical)
25967a57ef5dSMaxim Levitsky 			      : /* no inputs*/
25977a57ef5dSMaxim Levitsky 			      : "rax" /*clobbers*/
25987a57ef5dSMaxim Levitsky 			      );
25997a57ef5dSMaxim Levitsky 
26007a57ef5dSMaxim Levitsky 		if (svm_errata_reproduced) {
2601198dfd0eSJanis Schoetterl-Glausch 			report_fail("Got #GP exception - svm errata reproduced at 0x%lx",
26027a57ef5dSMaxim Levitsky 				    physical);
26037a57ef5dSMaxim Levitsky 			break;
26047a57ef5dSMaxim Levitsky 		}
26057a57ef5dSMaxim Levitsky 
26067a57ef5dSMaxim Levitsky 		*page = (unsigned long)last_page;
26077a57ef5dSMaxim Levitsky 		last_page = page;
26087a57ef5dSMaxim Levitsky 	}
26097a57ef5dSMaxim Levitsky 
26107a57ef5dSMaxim Levitsky 	while (last_page) {
26117a57ef5dSMaxim Levitsky 		unsigned long *page = last_page;
26127a57ef5dSMaxim Levitsky 		last_page = (unsigned long *)*last_page;
26137a57ef5dSMaxim Levitsky 		free_pages_by_order(page, 1);
26147a57ef5dSMaxim Levitsky 	}
26157a57ef5dSMaxim Levitsky }
26167a57ef5dSMaxim Levitsky 
26170b6f6cedSKrish Sadhukhan static void vmload_vmsave_guest_main(struct svm_test *test)
26180b6f6cedSKrish Sadhukhan {
26190b6f6cedSKrish Sadhukhan 	u64 vmcb_phys = virt_to_phys(vmcb);
26200b6f6cedSKrish Sadhukhan 
26210b6f6cedSKrish Sadhukhan 	asm volatile ("vmload %0" : : "a"(vmcb_phys));
26220b6f6cedSKrish Sadhukhan 	asm volatile ("vmsave %0" : : "a"(vmcb_phys));
26230b6f6cedSKrish Sadhukhan }
26240b6f6cedSKrish Sadhukhan 
26250b6f6cedSKrish Sadhukhan static void svm_vmload_vmsave(void)
26260b6f6cedSKrish Sadhukhan {
26270b6f6cedSKrish Sadhukhan 	u32 intercept_saved = vmcb->control.intercept;
26280b6f6cedSKrish Sadhukhan 
26290b6f6cedSKrish Sadhukhan 	test_set_guest(vmload_vmsave_guest_main);
26300b6f6cedSKrish Sadhukhan 
26310b6f6cedSKrish Sadhukhan 	/*
26320b6f6cedSKrish Sadhukhan 	 * Disabling intercept for VMLOAD and VMSAVE doesn't cause
26330b6f6cedSKrish Sadhukhan 	 * respective #VMEXIT to host
26340b6f6cedSKrish Sadhukhan 	 */
26350b6f6cedSKrish Sadhukhan 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMLOAD);
26360b6f6cedSKrish Sadhukhan 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMSAVE);
26370b6f6cedSKrish Sadhukhan 	svm_vmrun();
26380b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMMCALL, "Test "
26390b6f6cedSKrish Sadhukhan 	       "VMLOAD/VMSAVE intercept: Expected VMMCALL #VMEXIT");
26400b6f6cedSKrish Sadhukhan 
26410b6f6cedSKrish Sadhukhan 	/*
26420b6f6cedSKrish Sadhukhan 	 * Enabling intercept for VMLOAD and VMSAVE causes respective
26430b6f6cedSKrish Sadhukhan 	 * #VMEXIT to host
26440b6f6cedSKrish Sadhukhan 	 */
26450b6f6cedSKrish Sadhukhan 	vmcb->control.intercept |= (1ULL << INTERCEPT_VMLOAD);
26460b6f6cedSKrish Sadhukhan 	svm_vmrun();
26470b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMLOAD, "Test "
26480b6f6cedSKrish Sadhukhan 	       "VMLOAD/VMSAVE intercept: Expected VMLOAD #VMEXIT");
26490b6f6cedSKrish Sadhukhan 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMLOAD);
26500b6f6cedSKrish Sadhukhan 	vmcb->control.intercept |= (1ULL << INTERCEPT_VMSAVE);
26510b6f6cedSKrish Sadhukhan 	svm_vmrun();
26520b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMSAVE, "Test "
26530b6f6cedSKrish Sadhukhan 	       "VMLOAD/VMSAVE intercept: Expected VMSAVE #VMEXIT");
26540b6f6cedSKrish Sadhukhan 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMSAVE);
26550b6f6cedSKrish Sadhukhan 	svm_vmrun();
26560b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMMCALL, "Test "
26570b6f6cedSKrish Sadhukhan 	       "VMLOAD/VMSAVE intercept: Expected VMMCALL #VMEXIT");
26580b6f6cedSKrish Sadhukhan 
26590b6f6cedSKrish Sadhukhan 	vmcb->control.intercept |= (1ULL << INTERCEPT_VMLOAD);
26600b6f6cedSKrish Sadhukhan 	svm_vmrun();
26610b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMLOAD, "Test "
26620b6f6cedSKrish Sadhukhan 	       "VMLOAD/VMSAVE intercept: Expected VMLOAD #VMEXIT");
26630b6f6cedSKrish Sadhukhan 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMLOAD);
26640b6f6cedSKrish Sadhukhan 	svm_vmrun();
26650b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMMCALL, "Test "
26660b6f6cedSKrish Sadhukhan 	       "VMLOAD/VMSAVE intercept: Expected VMMCALL #VMEXIT");
26670b6f6cedSKrish Sadhukhan 
26680b6f6cedSKrish Sadhukhan 	vmcb->control.intercept |= (1ULL << INTERCEPT_VMSAVE);
26690b6f6cedSKrish Sadhukhan 	svm_vmrun();
26700b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMSAVE, "Test "
26710b6f6cedSKrish Sadhukhan 	       "VMLOAD/VMSAVE intercept: Expected VMSAVE #VMEXIT");
26720b6f6cedSKrish Sadhukhan 	vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMSAVE);
26730b6f6cedSKrish Sadhukhan 	svm_vmrun();
26740b6f6cedSKrish Sadhukhan 	report(vmcb->control.exit_code == SVM_EXIT_VMMCALL, "Test "
26750b6f6cedSKrish Sadhukhan 	       "VMLOAD/VMSAVE intercept: Expected VMMCALL #VMEXIT");
26760b6f6cedSKrish Sadhukhan 
26770b6f6cedSKrish Sadhukhan 	vmcb->control.intercept = intercept_saved;
26780b6f6cedSKrish Sadhukhan }
26790b6f6cedSKrish Sadhukhan 
2680f6972bd6SLara Lazier static void prepare_vgif_enabled(struct svm_test *test)
2681f6972bd6SLara Lazier {
2682f6972bd6SLara Lazier 	default_prepare(test);
2683f6972bd6SLara Lazier }
2684f6972bd6SLara Lazier 
2685f6972bd6SLara Lazier static void test_vgif(struct svm_test *test)
2686f6972bd6SLara Lazier {
2687f6972bd6SLara Lazier 	asm volatile ("vmmcall\n\tstgi\n\tvmmcall\n\tclgi\n\tvmmcall\n\t");
2688f6972bd6SLara Lazier }
2689f6972bd6SLara Lazier 
2690f6972bd6SLara Lazier static bool vgif_finished(struct svm_test *test)
2691f6972bd6SLara Lazier {
2692f6972bd6SLara Lazier 	switch (get_test_stage(test))
2693f6972bd6SLara Lazier 		{
2694f6972bd6SLara Lazier 		case 0:
2695f6972bd6SLara Lazier 			if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
2696198dfd0eSJanis Schoetterl-Glausch 				report_fail("VMEXIT not due to vmmcall.");
2697f6972bd6SLara Lazier 				return true;
2698f6972bd6SLara Lazier 			}
2699f6972bd6SLara Lazier 			vmcb->control.int_ctl |= V_GIF_ENABLED_MASK;
2700f6972bd6SLara Lazier 			vmcb->save.rip += 3;
2701f6972bd6SLara Lazier 			inc_test_stage(test);
2702f6972bd6SLara Lazier 			break;
2703f6972bd6SLara Lazier 		case 1:
2704f6972bd6SLara Lazier 			if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
2705198dfd0eSJanis Schoetterl-Glausch 				report_fail("VMEXIT not due to vmmcall.");
2706f6972bd6SLara Lazier 				return true;
2707f6972bd6SLara Lazier 			}
2708f6972bd6SLara Lazier 			if (!(vmcb->control.int_ctl & V_GIF_MASK)) {
2709198dfd0eSJanis Schoetterl-Glausch 				report_fail("Failed to set VGIF when executing STGI.");
2710f6972bd6SLara Lazier 				vmcb->control.int_ctl &= ~V_GIF_ENABLED_MASK;
2711f6972bd6SLara Lazier 				return true;
2712f6972bd6SLara Lazier 			}
27135c3582f0SJanis Schoetterl-Glausch 			report_pass("STGI set VGIF bit.");
2714f6972bd6SLara Lazier 			vmcb->save.rip += 3;
2715f6972bd6SLara Lazier 			inc_test_stage(test);
2716f6972bd6SLara Lazier 			break;
2717f6972bd6SLara Lazier 		case 2:
2718f6972bd6SLara Lazier 			if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
2719198dfd0eSJanis Schoetterl-Glausch 				report_fail("VMEXIT not due to vmmcall.");
2720f6972bd6SLara Lazier 				return true;
2721f6972bd6SLara Lazier 			}
2722f6972bd6SLara Lazier 			if (vmcb->control.int_ctl & V_GIF_MASK) {
2723198dfd0eSJanis Schoetterl-Glausch 				report_fail("Failed to clear VGIF when executing CLGI.");
2724f6972bd6SLara Lazier 				vmcb->control.int_ctl &= ~V_GIF_ENABLED_MASK;
2725f6972bd6SLara Lazier 				return true;
2726f6972bd6SLara Lazier 			}
27275c3582f0SJanis Schoetterl-Glausch 			report_pass("CLGI cleared VGIF bit.");
2728f6972bd6SLara Lazier 			vmcb->save.rip += 3;
2729f6972bd6SLara Lazier 			inc_test_stage(test);
2730f6972bd6SLara Lazier 			vmcb->control.int_ctl &= ~V_GIF_ENABLED_MASK;
2731f6972bd6SLara Lazier 			break;
2732f6972bd6SLara Lazier 		default:
2733f6972bd6SLara Lazier 			return true;
2734f6972bd6SLara Lazier 			break;
2735f6972bd6SLara Lazier 		}
2736f6972bd6SLara Lazier 
2737f6972bd6SLara Lazier 	return get_test_stage(test) == 3;
2738f6972bd6SLara Lazier }
2739f6972bd6SLara Lazier 
2740f6972bd6SLara Lazier static bool vgif_check(struct svm_test *test)
2741f6972bd6SLara Lazier {
2742f6972bd6SLara Lazier 	return get_test_stage(test) == 3;
2743f6972bd6SLara Lazier }
2744f6972bd6SLara Lazier 
27458650dffeSMaxim Levitsky 
27468650dffeSMaxim Levitsky static int pause_test_counter;
27478650dffeSMaxim Levitsky static int wait_counter;
27488650dffeSMaxim Levitsky 
27498650dffeSMaxim Levitsky static void pause_filter_test_guest_main(struct svm_test *test)
27508650dffeSMaxim Levitsky {
27518650dffeSMaxim Levitsky 	int i;
27528650dffeSMaxim Levitsky 	for (i = 0 ; i < pause_test_counter ; i++)
27538650dffeSMaxim Levitsky 		pause();
27548650dffeSMaxim Levitsky 
27558650dffeSMaxim Levitsky 	if (!wait_counter)
27568650dffeSMaxim Levitsky 		return;
27578650dffeSMaxim Levitsky 
27588650dffeSMaxim Levitsky 	for (i = 0; i < wait_counter; i++)
27598650dffeSMaxim Levitsky 		;
27608650dffeSMaxim Levitsky 
27618650dffeSMaxim Levitsky 	for (i = 0 ; i < pause_test_counter ; i++)
27628650dffeSMaxim Levitsky 		pause();
27638650dffeSMaxim Levitsky 
27648650dffeSMaxim Levitsky }
27658650dffeSMaxim Levitsky 
27668650dffeSMaxim Levitsky static void pause_filter_run_test(int pause_iterations, int filter_value, int wait_iterations, int threshold)
27678650dffeSMaxim Levitsky {
27688650dffeSMaxim Levitsky 	test_set_guest(pause_filter_test_guest_main);
27698650dffeSMaxim Levitsky 
27708650dffeSMaxim Levitsky 	pause_test_counter = pause_iterations;
27718650dffeSMaxim Levitsky 	wait_counter = wait_iterations;
27728650dffeSMaxim Levitsky 
27738650dffeSMaxim Levitsky 	vmcb->control.pause_filter_count = filter_value;
27748650dffeSMaxim Levitsky 	vmcb->control.pause_filter_thresh = threshold;
27758650dffeSMaxim Levitsky 	svm_vmrun();
27768650dffeSMaxim Levitsky 
27778650dffeSMaxim Levitsky 	if (filter_value <= pause_iterations || wait_iterations < threshold)
27788650dffeSMaxim Levitsky 		report(vmcb->control.exit_code == SVM_EXIT_PAUSE, "expected PAUSE vmexit");
27798650dffeSMaxim Levitsky 	else
27808650dffeSMaxim Levitsky 		report(vmcb->control.exit_code == SVM_EXIT_VMMCALL, "no expected PAUSE vmexit");
27818650dffeSMaxim Levitsky }
27828650dffeSMaxim Levitsky 
27838650dffeSMaxim Levitsky static void pause_filter_test(void)
27848650dffeSMaxim Levitsky {
27858650dffeSMaxim Levitsky 	if (!pause_filter_supported()) {
27868650dffeSMaxim Levitsky 		report_skip("PAUSE filter not supported in the guest");
27878650dffeSMaxim Levitsky 		return;
27888650dffeSMaxim Levitsky 	}
27898650dffeSMaxim Levitsky 
27908650dffeSMaxim Levitsky 	vmcb->control.intercept |= (1 << INTERCEPT_PAUSE);
27918650dffeSMaxim Levitsky 
27928650dffeSMaxim Levitsky 	// filter count more that pause count - no VMexit
27938650dffeSMaxim Levitsky 	pause_filter_run_test(10, 9, 0, 0);
27948650dffeSMaxim Levitsky 
27958650dffeSMaxim Levitsky 	// filter count smaller pause count - no VMexit
27968650dffeSMaxim Levitsky 	pause_filter_run_test(20, 21, 0, 0);
27978650dffeSMaxim Levitsky 
27988650dffeSMaxim Levitsky 
27998650dffeSMaxim Levitsky 	if (pause_threshold_supported()) {
28008650dffeSMaxim Levitsky 		// filter count smaller pause count - no VMexit +  large enough threshold
28018650dffeSMaxim Levitsky 		// so that filter counter resets
28028650dffeSMaxim Levitsky 		pause_filter_run_test(20, 21, 1000, 10);
28038650dffeSMaxim Levitsky 
28048650dffeSMaxim Levitsky 		// filter count smaller pause count - no VMexit +  small threshold
28058650dffeSMaxim Levitsky 		// so that filter doesn't reset
28068650dffeSMaxim Levitsky 		pause_filter_run_test(20, 21, 10, 1000);
28078650dffeSMaxim Levitsky 	} else {
28088650dffeSMaxim Levitsky 		report_skip("PAUSE threshold not supported in the guest");
28098650dffeSMaxim Levitsky 		return;
28108650dffeSMaxim Levitsky 	}
28118650dffeSMaxim Levitsky }
28128650dffeSMaxim Levitsky 
2813694e59baSManali Shukla /* If CR0.TS and CR0.EM are cleared in L2, no #NM is generated. */
2814694e59baSManali Shukla static void svm_no_nm_test(void)
28155c92f156SManali Shukla {
28165c92f156SManali Shukla 	write_cr0(read_cr0() & ~X86_CR0_TS);
2817694e59baSManali Shukla 	test_set_guest((test_guest_func)fnop);
28185c92f156SManali Shukla 
28195c92f156SManali Shukla 	vmcb->save.cr0 = vmcb->save.cr0 & ~(X86_CR0_TS | X86_CR0_EM);
2820694e59baSManali Shukla 	report(svm_vmrun() == SVM_EXIT_VMMCALL,
2821d4ae0a71SThomas Huth 	       "fnop with CR0.TS and CR0.EM unset no #NM exception");
28225c92f156SManali Shukla }
2823f6972bd6SLara Lazier 
2824ddb85855SSean Christopherson static u64 amd_get_lbr_rip(u32 msr)
2825537d39dfSMaxim Levitsky {
2826ddb85855SSean Christopherson 	return rdmsr(msr) & ~AMD_LBR_RECORD_MISPREDICT;
2827537d39dfSMaxim Levitsky }
2828537d39dfSMaxim Levitsky 
2829ddb85855SSean Christopherson #define HOST_CHECK_LBR(from_expected, to_expected)					\
2830ddb85855SSean Christopherson do {											\
2831ddb85855SSean Christopherson 	TEST_EXPECT_EQ((u64)from_expected, amd_get_lbr_rip(MSR_IA32_LASTBRANCHFROMIP));	\
2832ddb85855SSean Christopherson 	TEST_EXPECT_EQ((u64)to_expected, amd_get_lbr_rip(MSR_IA32_LASTBRANCHTOIP));	\
2833ddb85855SSean Christopherson } while (0)
2834537d39dfSMaxim Levitsky 
2835ddb85855SSean Christopherson /*
2836ddb85855SSean Christopherson  * FIXME: Do something other than generate an exception to communicate failure.
2837ddb85855SSean Christopherson  * Debugging without expected vs. actual is an absolute nightmare.
2838ddb85855SSean Christopherson  */
2839ddb85855SSean Christopherson #define GUEST_CHECK_LBR(from_expected, to_expected)				\
2840ddb85855SSean Christopherson do {										\
2841ddb85855SSean Christopherson 	if ((u64)(from_expected) != amd_get_lbr_rip(MSR_IA32_LASTBRANCHFROMIP))	\
2842ddb85855SSean Christopherson 		asm volatile("ud2");						\
2843ddb85855SSean Christopherson 	if ((u64)(to_expected) != amd_get_lbr_rip(MSR_IA32_LASTBRANCHTOIP))	\
2844ddb85855SSean Christopherson 		asm volatile("ud2");						\
2845ddb85855SSean Christopherson } while (0)
2846537d39dfSMaxim Levitsky 
284792098120SSean Christopherson #define REPORT_GUEST_LBR_ERROR(vmcb)						\
284892098120SSean Christopherson 	report(false, "LBR guest test failed.  Exit reason 0x%x, RIP = %lx, from = %lx, to = %lx, ex from = %lx, ex to = %lx", \
284992098120SSean Christopherson 		       vmcb->control.exit_code, vmcb->save.rip,			\
285092098120SSean Christopherson 		       vmcb->save.br_from, vmcb->save.br_to,			\
285192098120SSean Christopherson 		       vmcb->save.last_excp_from, vmcb->save.last_excp_to)
285292098120SSean Christopherson 
2853537d39dfSMaxim Levitsky #define DO_BRANCH(branch_name)				\
2854537d39dfSMaxim Levitsky 	asm volatile (					\
2855537d39dfSMaxim Levitsky 		      # branch_name "_from:"		\
2856537d39dfSMaxim Levitsky 		      "jmp " # branch_name  "_to\n"	\
2857537d39dfSMaxim Levitsky 		      "nop\n"				\
2858537d39dfSMaxim Levitsky 		      "nop\n"				\
2859537d39dfSMaxim Levitsky 		      # branch_name  "_to:"		\
2860537d39dfSMaxim Levitsky 		      "nop\n"				\
2861537d39dfSMaxim Levitsky 		       )
2862537d39dfSMaxim Levitsky 
2863537d39dfSMaxim Levitsky 
2864537d39dfSMaxim Levitsky extern u64 guest_branch0_from, guest_branch0_to;
2865537d39dfSMaxim Levitsky extern u64 guest_branch2_from, guest_branch2_to;
2866537d39dfSMaxim Levitsky 
2867537d39dfSMaxim Levitsky extern u64 host_branch0_from, host_branch0_to;
2868537d39dfSMaxim Levitsky extern u64 host_branch2_from, host_branch2_to;
2869537d39dfSMaxim Levitsky extern u64 host_branch3_from, host_branch3_to;
2870537d39dfSMaxim Levitsky extern u64 host_branch4_from, host_branch4_to;
2871537d39dfSMaxim Levitsky 
2872537d39dfSMaxim Levitsky u64 dbgctl;
2873537d39dfSMaxim Levitsky 
2874537d39dfSMaxim Levitsky static void svm_lbrv_test_guest1(void)
2875537d39dfSMaxim Levitsky {
2876537d39dfSMaxim Levitsky 	/*
2877537d39dfSMaxim Levitsky 	 * This guest expects the LBR to be already enabled when it starts,
2878537d39dfSMaxim Levitsky 	 * it does a branch, and then disables the LBR and then checks.
2879537d39dfSMaxim Levitsky 	 */
2880537d39dfSMaxim Levitsky 
2881537d39dfSMaxim Levitsky 	DO_BRANCH(guest_branch0);
2882537d39dfSMaxim Levitsky 
2883537d39dfSMaxim Levitsky 	dbgctl = rdmsr(MSR_IA32_DEBUGCTLMSR);
2884537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, 0);
2885537d39dfSMaxim Levitsky 
2886537d39dfSMaxim Levitsky 	if (dbgctl != DEBUGCTLMSR_LBR)
2887537d39dfSMaxim Levitsky 		asm volatile("ud2\n");
2888537d39dfSMaxim Levitsky 	if (rdmsr(MSR_IA32_DEBUGCTLMSR) != 0)
2889537d39dfSMaxim Levitsky 		asm volatile("ud2\n");
2890537d39dfSMaxim Levitsky 
2891ddb85855SSean Christopherson 	GUEST_CHECK_LBR(&guest_branch0_from, &guest_branch0_to);
2892537d39dfSMaxim Levitsky 	asm volatile ("vmmcall\n");
2893537d39dfSMaxim Levitsky }
2894537d39dfSMaxim Levitsky 
2895537d39dfSMaxim Levitsky static void svm_lbrv_test_guest2(void)
2896537d39dfSMaxim Levitsky {
2897537d39dfSMaxim Levitsky 	/*
2898537d39dfSMaxim Levitsky 	 * This guest expects the LBR to be disabled when it starts,
2899537d39dfSMaxim Levitsky 	 * enables it, does a branch, disables it and then checks.
2900537d39dfSMaxim Levitsky 	 */
2901537d39dfSMaxim Levitsky 
2902537d39dfSMaxim Levitsky 	DO_BRANCH(guest_branch1);
2903537d39dfSMaxim Levitsky 	dbgctl = rdmsr(MSR_IA32_DEBUGCTLMSR);
2904537d39dfSMaxim Levitsky 
2905537d39dfSMaxim Levitsky 	if (dbgctl != 0)
2906537d39dfSMaxim Levitsky 		asm volatile("ud2\n");
2907537d39dfSMaxim Levitsky 
2908ddb85855SSean Christopherson 	GUEST_CHECK_LBR(&host_branch2_from, &host_branch2_to);
2909537d39dfSMaxim Levitsky 
2910537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, DEBUGCTLMSR_LBR);
2911537d39dfSMaxim Levitsky 	dbgctl = rdmsr(MSR_IA32_DEBUGCTLMSR);
2912537d39dfSMaxim Levitsky 	DO_BRANCH(guest_branch2);
2913537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, 0);
2914537d39dfSMaxim Levitsky 
2915537d39dfSMaxim Levitsky 	if (dbgctl != DEBUGCTLMSR_LBR)
2916537d39dfSMaxim Levitsky 		asm volatile("ud2\n");
2917ddb85855SSean Christopherson 	GUEST_CHECK_LBR(&guest_branch2_from, &guest_branch2_to);
2918537d39dfSMaxim Levitsky 
2919537d39dfSMaxim Levitsky 	asm volatile ("vmmcall\n");
2920537d39dfSMaxim Levitsky }
2921537d39dfSMaxim Levitsky 
2922537d39dfSMaxim Levitsky static void svm_lbrv_test0(void)
2923537d39dfSMaxim Levitsky {
2924537d39dfSMaxim Levitsky 	report(true, "Basic LBR test");
2925537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, DEBUGCTLMSR_LBR);
2926537d39dfSMaxim Levitsky 	DO_BRANCH(host_branch0);
2927537d39dfSMaxim Levitsky 	dbgctl = rdmsr(MSR_IA32_DEBUGCTLMSR);
2928537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, 0);
2929537d39dfSMaxim Levitsky 
2930554fa461SSean Christopherson 	TEST_EXPECT_EQ(dbgctl, DEBUGCTLMSR_LBR);
2931537d39dfSMaxim Levitsky 	dbgctl = rdmsr(MSR_IA32_DEBUGCTLMSR);
2932554fa461SSean Christopherson 	TEST_EXPECT_EQ(dbgctl, 0);
2933537d39dfSMaxim Levitsky 
2934ddb85855SSean Christopherson 	HOST_CHECK_LBR(&host_branch0_from, &host_branch0_to);
2935537d39dfSMaxim Levitsky }
2936537d39dfSMaxim Levitsky 
2937537d39dfSMaxim Levitsky static void svm_lbrv_test1(void)
2938537d39dfSMaxim Levitsky {
2939537d39dfSMaxim Levitsky 	report(true, "Test that without LBRV enabled, guest LBR state does 'leak' to the host(1)");
2940537d39dfSMaxim Levitsky 
29415200c1f1SSean Christopherson 	svm_setup_vmrun((u64)svm_lbrv_test_guest1);
2942537d39dfSMaxim Levitsky 	vmcb->control.virt_ext = 0;
2943537d39dfSMaxim Levitsky 
2944537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, DEBUGCTLMSR_LBR);
2945537d39dfSMaxim Levitsky 	DO_BRANCH(host_branch1);
2946537d39dfSMaxim Levitsky 	SVM_BARE_VMRUN;
2947537d39dfSMaxim Levitsky 	dbgctl = rdmsr(MSR_IA32_DEBUGCTLMSR);
2948537d39dfSMaxim Levitsky 
2949537d39dfSMaxim Levitsky 	if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
295092098120SSean Christopherson 		REPORT_GUEST_LBR_ERROR(vmcb);
2951537d39dfSMaxim Levitsky 		return;
2952537d39dfSMaxim Levitsky 	}
2953537d39dfSMaxim Levitsky 
2954554fa461SSean Christopherson 	TEST_EXPECT_EQ(dbgctl, 0);
2955ddb85855SSean Christopherson 	HOST_CHECK_LBR(&guest_branch0_from, &guest_branch0_to);
2956537d39dfSMaxim Levitsky }
2957537d39dfSMaxim Levitsky 
2958537d39dfSMaxim Levitsky static void svm_lbrv_test2(void)
2959537d39dfSMaxim Levitsky {
2960537d39dfSMaxim Levitsky 	report(true, "Test that without LBRV enabled, guest LBR state does 'leak' to the host(2)");
2961537d39dfSMaxim Levitsky 
29625200c1f1SSean Christopherson 	svm_setup_vmrun((u64)svm_lbrv_test_guest2);
2963537d39dfSMaxim Levitsky 	vmcb->control.virt_ext = 0;
2964537d39dfSMaxim Levitsky 
2965537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, DEBUGCTLMSR_LBR);
2966537d39dfSMaxim Levitsky 	DO_BRANCH(host_branch2);
2967537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, 0);
2968537d39dfSMaxim Levitsky 	SVM_BARE_VMRUN;
2969537d39dfSMaxim Levitsky 	dbgctl = rdmsr(MSR_IA32_DEBUGCTLMSR);
2970537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, 0);
2971537d39dfSMaxim Levitsky 
2972537d39dfSMaxim Levitsky 	if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
297392098120SSean Christopherson 		REPORT_GUEST_LBR_ERROR(vmcb);
2974537d39dfSMaxim Levitsky 		return;
2975537d39dfSMaxim Levitsky 	}
2976537d39dfSMaxim Levitsky 
2977554fa461SSean Christopherson 	TEST_EXPECT_EQ(dbgctl, 0);
2978ddb85855SSean Christopherson 	HOST_CHECK_LBR(&guest_branch2_from, &guest_branch2_to);
2979537d39dfSMaxim Levitsky }
2980537d39dfSMaxim Levitsky 
2981537d39dfSMaxim Levitsky static void svm_lbrv_nested_test1(void)
2982537d39dfSMaxim Levitsky {
2983537d39dfSMaxim Levitsky 	if (!lbrv_supported()) {
2984537d39dfSMaxim Levitsky 		report_skip("LBRV not supported in the guest");
2985537d39dfSMaxim Levitsky 		return;
2986537d39dfSMaxim Levitsky 	}
2987537d39dfSMaxim Levitsky 
2988537d39dfSMaxim Levitsky 	report(true, "Test that with LBRV enabled, guest LBR state doesn't leak (1)");
29895200c1f1SSean Christopherson 	svm_setup_vmrun((u64)svm_lbrv_test_guest1);
2990537d39dfSMaxim Levitsky 	vmcb->control.virt_ext = LBR_CTL_ENABLE_MASK;
2991537d39dfSMaxim Levitsky 	vmcb->save.dbgctl = DEBUGCTLMSR_LBR;
2992537d39dfSMaxim Levitsky 
2993537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, DEBUGCTLMSR_LBR);
2994537d39dfSMaxim Levitsky 	DO_BRANCH(host_branch3);
2995537d39dfSMaxim Levitsky 	SVM_BARE_VMRUN;
2996537d39dfSMaxim Levitsky 	dbgctl = rdmsr(MSR_IA32_DEBUGCTLMSR);
2997537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, 0);
2998537d39dfSMaxim Levitsky 
2999537d39dfSMaxim Levitsky 	if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
300092098120SSean Christopherson 		REPORT_GUEST_LBR_ERROR(vmcb);
3001537d39dfSMaxim Levitsky 		return;
3002537d39dfSMaxim Levitsky 	}
3003537d39dfSMaxim Levitsky 
3004537d39dfSMaxim Levitsky 	if (vmcb->save.dbgctl != 0) {
3005537d39dfSMaxim Levitsky 		report(false, "unexpected virtual guest MSR_IA32_DEBUGCTLMSR value 0x%lx", vmcb->save.dbgctl);
3006537d39dfSMaxim Levitsky 		return;
3007537d39dfSMaxim Levitsky 	}
3008537d39dfSMaxim Levitsky 
3009554fa461SSean Christopherson 	TEST_EXPECT_EQ(dbgctl, DEBUGCTLMSR_LBR);
3010ddb85855SSean Christopherson 	HOST_CHECK_LBR(&host_branch3_from, &host_branch3_to);
3011537d39dfSMaxim Levitsky }
30123f27d772SManali Shukla 
3013537d39dfSMaxim Levitsky static void svm_lbrv_nested_test2(void)
3014537d39dfSMaxim Levitsky {
3015537d39dfSMaxim Levitsky 	if (!lbrv_supported()) {
3016537d39dfSMaxim Levitsky 		report_skip("LBRV not supported in the guest");
3017537d39dfSMaxim Levitsky 		return;
3018537d39dfSMaxim Levitsky 	}
3019537d39dfSMaxim Levitsky 
3020537d39dfSMaxim Levitsky 	report(true, "Test that with LBRV enabled, guest LBR state doesn't leak (2)");
30215200c1f1SSean Christopherson 	svm_setup_vmrun((u64)svm_lbrv_test_guest2);
3022537d39dfSMaxim Levitsky 	vmcb->control.virt_ext = LBR_CTL_ENABLE_MASK;
3023537d39dfSMaxim Levitsky 
3024537d39dfSMaxim Levitsky 	vmcb->save.dbgctl = 0;
3025537d39dfSMaxim Levitsky 	vmcb->save.br_from = (u64)&host_branch2_from;
3026537d39dfSMaxim Levitsky 	vmcb->save.br_to = (u64)&host_branch2_to;
3027537d39dfSMaxim Levitsky 
3028537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, DEBUGCTLMSR_LBR);
3029537d39dfSMaxim Levitsky 	DO_BRANCH(host_branch4);
3030537d39dfSMaxim Levitsky 	SVM_BARE_VMRUN;
3031537d39dfSMaxim Levitsky 	dbgctl = rdmsr(MSR_IA32_DEBUGCTLMSR);
3032537d39dfSMaxim Levitsky 	wrmsr(MSR_IA32_DEBUGCTLMSR, 0);
3033537d39dfSMaxim Levitsky 
3034537d39dfSMaxim Levitsky 	if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) {
303592098120SSean Christopherson 		REPORT_GUEST_LBR_ERROR(vmcb);
3036537d39dfSMaxim Levitsky 		return;
3037537d39dfSMaxim Levitsky 	}
3038537d39dfSMaxim Levitsky 
3039554fa461SSean Christopherson 	TEST_EXPECT_EQ(dbgctl, DEBUGCTLMSR_LBR);
3040ddb85855SSean Christopherson 	HOST_CHECK_LBR(&host_branch4_from, &host_branch4_to);
3041537d39dfSMaxim Levitsky }
3042537d39dfSMaxim Levitsky 
3043c45bccfcSMaxim Levitsky 
3044c45bccfcSMaxim Levitsky // test that a nested guest which does enable INTR interception
3045c45bccfcSMaxim Levitsky // but doesn't enable virtual interrupt masking works
3046c45bccfcSMaxim Levitsky 
3047c45bccfcSMaxim Levitsky static volatile int dummy_isr_recevied;
3048c45bccfcSMaxim Levitsky static void dummy_isr(isr_regs_t *regs)
3049c45bccfcSMaxim Levitsky {
3050c45bccfcSMaxim Levitsky 	dummy_isr_recevied++;
3051c45bccfcSMaxim Levitsky 	eoi();
3052c45bccfcSMaxim Levitsky }
3053c45bccfcSMaxim Levitsky 
3054c45bccfcSMaxim Levitsky 
3055c45bccfcSMaxim Levitsky static volatile int nmi_recevied;
3056c45bccfcSMaxim Levitsky static void dummy_nmi_handler(struct ex_regs *regs)
3057c45bccfcSMaxim Levitsky {
3058c45bccfcSMaxim Levitsky 	nmi_recevied++;
3059c45bccfcSMaxim Levitsky }
3060c45bccfcSMaxim Levitsky 
3061c45bccfcSMaxim Levitsky 
3062c45bccfcSMaxim Levitsky static void svm_intr_intercept_mix_run_guest(volatile int *counter, int expected_vmexit)
3063c45bccfcSMaxim Levitsky {
3064c45bccfcSMaxim Levitsky 	if (counter)
3065c45bccfcSMaxim Levitsky 		*counter = 0;
3066c45bccfcSMaxim Levitsky 
3067c45bccfcSMaxim Levitsky 	sti();  // host IF value should not matter
3068c45bccfcSMaxim Levitsky 	clgi(); // vmrun will set back GI to 1
3069c45bccfcSMaxim Levitsky 
3070c45bccfcSMaxim Levitsky 	svm_vmrun();
3071c45bccfcSMaxim Levitsky 
3072c45bccfcSMaxim Levitsky 	if (counter)
3073c45bccfcSMaxim Levitsky 		report(!*counter, "No interrupt expected");
3074c45bccfcSMaxim Levitsky 
3075c45bccfcSMaxim Levitsky 	stgi();
3076c45bccfcSMaxim Levitsky 
3077c45bccfcSMaxim Levitsky 	if (counter)
3078c45bccfcSMaxim Levitsky 		report(*counter == 1, "Interrupt is expected");
3079c45bccfcSMaxim Levitsky 
3080c45bccfcSMaxim Levitsky 	report (vmcb->control.exit_code == expected_vmexit, "Test expected VM exit");
3081c45bccfcSMaxim Levitsky 	report(vmcb->save.rflags & X86_EFLAGS_IF, "Guest should have EFLAGS.IF set now");
3082c45bccfcSMaxim Levitsky 	cli();
3083c45bccfcSMaxim Levitsky }
3084c45bccfcSMaxim Levitsky 
3085c45bccfcSMaxim Levitsky 
3086d0458710SMaxim Levitsky // subtest: test that enabling EFLAGS.IF is enough to trigger an interrupt
3087c45bccfcSMaxim Levitsky static void svm_intr_intercept_mix_if_guest(struct svm_test *test)
3088c45bccfcSMaxim Levitsky {
3089c45bccfcSMaxim Levitsky 	asm volatile("nop;nop;nop;nop");
3090c45bccfcSMaxim Levitsky 	report(!dummy_isr_recevied, "No interrupt expected");
3091e4007e62SMaxim Levitsky 	sti_nop();
3092c45bccfcSMaxim Levitsky 	report(0, "must not reach here");
3093c45bccfcSMaxim Levitsky }
3094c45bccfcSMaxim Levitsky 
3095c45bccfcSMaxim Levitsky static void svm_intr_intercept_mix_if(void)
3096c45bccfcSMaxim Levitsky {
3097c45bccfcSMaxim Levitsky 	// make a physical interrupt to be pending
3098c45bccfcSMaxim Levitsky 	handle_irq(0x55, dummy_isr);
3099c45bccfcSMaxim Levitsky 
3100c45bccfcSMaxim Levitsky 	vmcb->control.intercept |= (1 << INTERCEPT_INTR);
3101c45bccfcSMaxim Levitsky 	vmcb->control.int_ctl &= ~V_INTR_MASKING_MASK;
3102c45bccfcSMaxim Levitsky 	vmcb->save.rflags &= ~X86_EFLAGS_IF;
3103c45bccfcSMaxim Levitsky 
3104c45bccfcSMaxim Levitsky 	test_set_guest(svm_intr_intercept_mix_if_guest);
31052602a896SMaxim Levitsky 	cli();
3106c45bccfcSMaxim Levitsky 	apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_FIXED | 0x55, 0);
3107c45bccfcSMaxim Levitsky 	svm_intr_intercept_mix_run_guest(&dummy_isr_recevied, SVM_EXIT_INTR);
3108c45bccfcSMaxim Levitsky }
3109c45bccfcSMaxim Levitsky 
3110c45bccfcSMaxim Levitsky 
3111c45bccfcSMaxim Levitsky // subtest: test that a clever guest can trigger an interrupt by setting GIF
3112c45bccfcSMaxim Levitsky // if GIF is not intercepted
3113c45bccfcSMaxim Levitsky static void svm_intr_intercept_mix_gif_guest(struct svm_test *test)
3114c45bccfcSMaxim Levitsky {
3115c45bccfcSMaxim Levitsky 
3116c45bccfcSMaxim Levitsky 	asm volatile("nop;nop;nop;nop");
3117c45bccfcSMaxim Levitsky 	report(!dummy_isr_recevied, "No interrupt expected");
3118c45bccfcSMaxim Levitsky 
3119c45bccfcSMaxim Levitsky 	// clear GIF and enable IF
3120c45bccfcSMaxim Levitsky 	// that should still not cause VM exit
3121c45bccfcSMaxim Levitsky 	clgi();
3122e4007e62SMaxim Levitsky 	sti_nop();
3123c45bccfcSMaxim Levitsky 	report(!dummy_isr_recevied, "No interrupt expected");
3124c45bccfcSMaxim Levitsky 
3125c45bccfcSMaxim Levitsky 	stgi();
3126c45bccfcSMaxim Levitsky 	report(0, "must not reach here");
3127c45bccfcSMaxim Levitsky }
3128c45bccfcSMaxim Levitsky 
3129c45bccfcSMaxim Levitsky static void svm_intr_intercept_mix_gif(void)
3130c45bccfcSMaxim Levitsky {
3131c45bccfcSMaxim Levitsky 	handle_irq(0x55, dummy_isr);
3132c45bccfcSMaxim Levitsky 
3133c45bccfcSMaxim Levitsky 	vmcb->control.intercept |= (1 << INTERCEPT_INTR);
3134c45bccfcSMaxim Levitsky 	vmcb->control.int_ctl &= ~V_INTR_MASKING_MASK;
3135c45bccfcSMaxim Levitsky 	vmcb->save.rflags &= ~X86_EFLAGS_IF;
3136c45bccfcSMaxim Levitsky 
3137c45bccfcSMaxim Levitsky 	test_set_guest(svm_intr_intercept_mix_gif_guest);
31382602a896SMaxim Levitsky 	cli();
3139c45bccfcSMaxim Levitsky 	apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_FIXED | 0x55, 0);
3140c45bccfcSMaxim Levitsky 	svm_intr_intercept_mix_run_guest(&dummy_isr_recevied, SVM_EXIT_INTR);
3141c45bccfcSMaxim Levitsky }
3142c45bccfcSMaxim Levitsky 
3143c45bccfcSMaxim Levitsky // subtest: test that a clever guest can trigger an interrupt by setting GIF
3144c45bccfcSMaxim Levitsky // if GIF is not intercepted and interrupt comes after guest
3145c45bccfcSMaxim Levitsky // started running
3146c45bccfcSMaxim Levitsky static void svm_intr_intercept_mix_gif_guest2(struct svm_test *test)
3147c45bccfcSMaxim Levitsky {
3148c45bccfcSMaxim Levitsky 	asm volatile("nop;nop;nop;nop");
3149c45bccfcSMaxim Levitsky 	report(!dummy_isr_recevied, "No interrupt expected");
3150c45bccfcSMaxim Levitsky 
3151c45bccfcSMaxim Levitsky 	clgi();
3152c45bccfcSMaxim Levitsky 	apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_FIXED | 0x55, 0);
3153c45bccfcSMaxim Levitsky 	report(!dummy_isr_recevied, "No interrupt expected");
3154c45bccfcSMaxim Levitsky 
3155c45bccfcSMaxim Levitsky 	stgi();
3156c45bccfcSMaxim Levitsky 	report(0, "must not reach here");
3157c45bccfcSMaxim Levitsky }
3158c45bccfcSMaxim Levitsky 
3159c45bccfcSMaxim Levitsky static void svm_intr_intercept_mix_gif2(void)
3160c45bccfcSMaxim Levitsky {
3161c45bccfcSMaxim Levitsky 	handle_irq(0x55, dummy_isr);
3162c45bccfcSMaxim Levitsky 
3163c45bccfcSMaxim Levitsky 	vmcb->control.intercept |= (1 << INTERCEPT_INTR);
3164c45bccfcSMaxim Levitsky 	vmcb->control.int_ctl &= ~V_INTR_MASKING_MASK;
3165c45bccfcSMaxim Levitsky 	vmcb->save.rflags |= X86_EFLAGS_IF;
3166c45bccfcSMaxim Levitsky 
3167c45bccfcSMaxim Levitsky 	test_set_guest(svm_intr_intercept_mix_gif_guest2);
3168c45bccfcSMaxim Levitsky 	svm_intr_intercept_mix_run_guest(&dummy_isr_recevied, SVM_EXIT_INTR);
3169c45bccfcSMaxim Levitsky }
3170c45bccfcSMaxim Levitsky 
3171c45bccfcSMaxim Levitsky 
3172c45bccfcSMaxim Levitsky // subtest: test that pending NMI will be handled when guest enables GIF
3173c45bccfcSMaxim Levitsky static void svm_intr_intercept_mix_nmi_guest(struct svm_test *test)
3174c45bccfcSMaxim Levitsky {
3175c45bccfcSMaxim Levitsky 	asm volatile("nop;nop;nop;nop");
3176c45bccfcSMaxim Levitsky 	report(!nmi_recevied, "No NMI expected");
3177c45bccfcSMaxim Levitsky 	cli(); // should have no effect
3178c45bccfcSMaxim Levitsky 
3179c45bccfcSMaxim Levitsky 	clgi();
3180c45bccfcSMaxim Levitsky 	apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_NMI, 0);
3181e4007e62SMaxim Levitsky 	sti_nop(); // should have no effect
3182c45bccfcSMaxim Levitsky 	report(!nmi_recevied, "No NMI expected");
3183c45bccfcSMaxim Levitsky 
3184c45bccfcSMaxim Levitsky 	stgi();
3185c45bccfcSMaxim Levitsky 	report(0, "must not reach here");
3186c45bccfcSMaxim Levitsky }
3187c45bccfcSMaxim Levitsky 
3188c45bccfcSMaxim Levitsky static void svm_intr_intercept_mix_nmi(void)
3189c45bccfcSMaxim Levitsky {
3190c45bccfcSMaxim Levitsky 	handle_exception(2, dummy_nmi_handler);
3191c45bccfcSMaxim Levitsky 
3192c45bccfcSMaxim Levitsky 	vmcb->control.intercept |= (1 << INTERCEPT_NMI);
3193c45bccfcSMaxim Levitsky 	vmcb->control.int_ctl &= ~V_INTR_MASKING_MASK;
3194c45bccfcSMaxim Levitsky 	vmcb->save.rflags |= X86_EFLAGS_IF;
3195c45bccfcSMaxim Levitsky 
3196c45bccfcSMaxim Levitsky 	test_set_guest(svm_intr_intercept_mix_nmi_guest);
3197c45bccfcSMaxim Levitsky 	svm_intr_intercept_mix_run_guest(&nmi_recevied, SVM_EXIT_NMI);
3198c45bccfcSMaxim Levitsky }
3199c45bccfcSMaxim Levitsky 
3200c45bccfcSMaxim Levitsky // test that pending SMI will be handled when guest enables GIF
3201c45bccfcSMaxim Levitsky // TODO: can't really count #SMIs so just test that guest doesn't hang
3202c45bccfcSMaxim Levitsky // and VMexits on SMI
3203c45bccfcSMaxim Levitsky static void svm_intr_intercept_mix_smi_guest(struct svm_test *test)
3204c45bccfcSMaxim Levitsky {
3205c45bccfcSMaxim Levitsky 	asm volatile("nop;nop;nop;nop");
3206c45bccfcSMaxim Levitsky 
3207c45bccfcSMaxim Levitsky 	clgi();
3208c45bccfcSMaxim Levitsky 	apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_SMI, 0);
3209e4007e62SMaxim Levitsky 	sti_nop(); // should have no effect
3210c45bccfcSMaxim Levitsky 	stgi();
3211c45bccfcSMaxim Levitsky 	report(0, "must not reach here");
3212c45bccfcSMaxim Levitsky }
3213c45bccfcSMaxim Levitsky 
3214c45bccfcSMaxim Levitsky static void svm_intr_intercept_mix_smi(void)
3215c45bccfcSMaxim Levitsky {
3216c45bccfcSMaxim Levitsky 	vmcb->control.intercept |= (1 << INTERCEPT_SMI);
3217c45bccfcSMaxim Levitsky 	vmcb->control.int_ctl &= ~V_INTR_MASKING_MASK;
3218c45bccfcSMaxim Levitsky 	test_set_guest(svm_intr_intercept_mix_smi_guest);
3219c45bccfcSMaxim Levitsky 	svm_intr_intercept_mix_run_guest(NULL, SVM_EXIT_SMI);
3220c45bccfcSMaxim Levitsky }
3221c45bccfcSMaxim Levitsky 
32228177dc62SManali Shukla static void svm_l2_ac_test(void)
32238177dc62SManali Shukla {
32248177dc62SManali Shukla 	bool hit_ac = false;
32258177dc62SManali Shukla 
32268177dc62SManali Shukla 	write_cr0(read_cr0() | X86_CR0_AM);
32278177dc62SManali Shukla 	write_rflags(read_rflags() | X86_EFLAGS_AC);
32288177dc62SManali Shukla 
32298177dc62SManali Shukla 	run_in_user(generate_usermode_ac, AC_VECTOR, 0, 0, 0, 0, &hit_ac);
32308177dc62SManali Shukla 	report(hit_ac, "Usermode #AC handled in L2");
32318177dc62SManali Shukla 	vmmcall();
32328177dc62SManali Shukla }
32338177dc62SManali Shukla 
32348177dc62SManali Shukla struct svm_exception_test {
32358177dc62SManali Shukla 	u8 vector;
32368177dc62SManali Shukla 	void (*guest_code)(void);
32378177dc62SManali Shukla };
32388177dc62SManali Shukla 
32398177dc62SManali Shukla struct svm_exception_test svm_exception_tests[] = {
32408177dc62SManali Shukla 	{ GP_VECTOR, generate_non_canonical_gp },
32418177dc62SManali Shukla 	{ UD_VECTOR, generate_ud },
32428177dc62SManali Shukla 	{ DE_VECTOR, generate_de },
32438177dc62SManali Shukla 	{ DB_VECTOR, generate_single_step_db },
324444550f53SManali Shukla 	{ BP_VECTOR, generate_bp },
32458177dc62SManali Shukla 	{ AC_VECTOR, svm_l2_ac_test },
32460851b7f7SManali Shukla 	{ OF_VECTOR, generate_of },
3247694e59baSManali Shukla 	{ NM_VECTOR, generate_cr0_ts_nm },
3248694e59baSManali Shukla 	{ NM_VECTOR, generate_cr0_em_nm },
32498177dc62SManali Shukla };
32508177dc62SManali Shukla 
32518177dc62SManali Shukla static u8 svm_exception_test_vector;
32528177dc62SManali Shukla 
32538177dc62SManali Shukla static void svm_exception_handler(struct ex_regs *regs)
32548177dc62SManali Shukla {
32558177dc62SManali Shukla 	report(regs->vector == svm_exception_test_vector,
32568177dc62SManali Shukla 		"Handling %s in L2's exception handler",
32578177dc62SManali Shukla 		exception_mnemonic(svm_exception_test_vector));
32588177dc62SManali Shukla 	vmmcall();
32598177dc62SManali Shukla }
32608177dc62SManali Shukla 
32618177dc62SManali Shukla static void handle_exception_in_l2(u8 vector)
32628177dc62SManali Shukla {
32638177dc62SManali Shukla 	handler old_handler = handle_exception(vector, svm_exception_handler);
32648177dc62SManali Shukla 	svm_exception_test_vector = vector;
32658177dc62SManali Shukla 
32668177dc62SManali Shukla 	report(svm_vmrun() == SVM_EXIT_VMMCALL,
32678177dc62SManali Shukla 		"%s handled by L2", exception_mnemonic(vector));
32688177dc62SManali Shukla 
32698177dc62SManali Shukla 	handle_exception(vector, old_handler);
32708177dc62SManali Shukla }
32718177dc62SManali Shukla 
32728177dc62SManali Shukla static void handle_exception_in_l1(u32 vector)
32738177dc62SManali Shukla {
32748177dc62SManali Shukla 	u32 old_ie = vmcb->control.intercept_exceptions;
32758177dc62SManali Shukla 
32768177dc62SManali Shukla 	vmcb->control.intercept_exceptions |= (1ULL << vector);
32778177dc62SManali Shukla 
32788177dc62SManali Shukla 	report(svm_vmrun() == (SVM_EXIT_EXCP_BASE + vector),
32798177dc62SManali Shukla 		"%s handled by L1",  exception_mnemonic(vector));
32808177dc62SManali Shukla 
32818177dc62SManali Shukla 	vmcb->control.intercept_exceptions = old_ie;
32828177dc62SManali Shukla }
32838177dc62SManali Shukla 
32848177dc62SManali Shukla static void svm_exception_test(void)
32858177dc62SManali Shukla {
32868177dc62SManali Shukla 	struct svm_exception_test *t;
32878177dc62SManali Shukla 	int i;
32888177dc62SManali Shukla 
32898177dc62SManali Shukla 	for (i = 0; i < ARRAY_SIZE(svm_exception_tests); i++) {
32908177dc62SManali Shukla 		t = &svm_exception_tests[i];
32918177dc62SManali Shukla 		test_set_guest((test_guest_func)t->guest_code);
32928177dc62SManali Shukla 
32938177dc62SManali Shukla 		handle_exception_in_l2(t->vector);
32948177dc62SManali Shukla 		vmcb_ident(vmcb);
32958177dc62SManali Shukla 
32968177dc62SManali Shukla 		handle_exception_in_l1(t->vector);
32978177dc62SManali Shukla 		vmcb_ident(vmcb);
32988177dc62SManali Shukla 	}
32998177dc62SManali Shukla }
33008177dc62SManali Shukla 
3301c64f24fdSMaxim Levitsky static void shutdown_intercept_test_guest(struct svm_test *test)
3302c64f24fdSMaxim Levitsky {
3303c64f24fdSMaxim Levitsky 	asm volatile ("ud2");
3304c64f24fdSMaxim Levitsky 	report_fail("should not reach here\n");
3305c64f24fdSMaxim Levitsky 
3306c64f24fdSMaxim Levitsky }
3307c64f24fdSMaxim Levitsky 
3308c64f24fdSMaxim Levitsky static void svm_shutdown_intercept_test(void)
3309c64f24fdSMaxim Levitsky {
3310c64f24fdSMaxim Levitsky 	test_set_guest(shutdown_intercept_test_guest);
3311c64f24fdSMaxim Levitsky 	vmcb->save.idtr.base = (u64)alloc_vpage();
3312c64f24fdSMaxim Levitsky 	vmcb->control.intercept |= (1ULL << INTERCEPT_SHUTDOWN);
3313c64f24fdSMaxim Levitsky 	svm_vmrun();
3314c64f24fdSMaxim Levitsky 	report(vmcb->control.exit_code == SVM_EXIT_SHUTDOWN, "shutdown test passed");
3315c64f24fdSMaxim Levitsky }
3316c64f24fdSMaxim Levitsky 
33173f27d772SManali Shukla struct svm_test svm_tests[] = {
3318ad879127SKrish Sadhukhan 	{ "null", default_supported, default_prepare,
3319ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, null_test,
3320ad879127SKrish Sadhukhan 	  default_finished, null_check },
3321ad879127SKrish Sadhukhan 	{ "vmrun", default_supported, default_prepare,
3322ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, test_vmrun,
3323ad879127SKrish Sadhukhan 	  default_finished, check_vmrun },
3324ad879127SKrish Sadhukhan 	{ "ioio", default_supported, prepare_ioio,
3325ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, test_ioio,
3326ad879127SKrish Sadhukhan 	  ioio_finished, check_ioio },
3327ad879127SKrish Sadhukhan 	{ "vmrun intercept check", default_supported, prepare_no_vmrun_int,
3328ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, null_test, default_finished,
3329ad879127SKrish Sadhukhan 	  check_no_vmrun_int },
3330401299a5SPaolo Bonzini 	{ "rsm", default_supported,
3331401299a5SPaolo Bonzini 	  prepare_rsm_intercept, default_prepare_gif_clear,
3332401299a5SPaolo Bonzini 	  test_rsm_intercept, finished_rsm_intercept, check_rsm_intercept },
3333ad879127SKrish Sadhukhan 	{ "cr3 read intercept", default_supported,
3334ad879127SKrish Sadhukhan 	  prepare_cr3_intercept, default_prepare_gif_clear,
3335ad879127SKrish Sadhukhan 	  test_cr3_intercept, default_finished, check_cr3_intercept },
3336ad879127SKrish Sadhukhan 	{ "cr3 read nointercept", default_supported, default_prepare,
3337ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, test_cr3_intercept, default_finished,
3338ad879127SKrish Sadhukhan 	  check_cr3_nointercept },
3339ad879127SKrish Sadhukhan 	{ "cr3 read intercept emulate", smp_supported,
3340ad879127SKrish Sadhukhan 	  prepare_cr3_intercept_bypass, default_prepare_gif_clear,
3341ad879127SKrish Sadhukhan 	  test_cr3_intercept_bypass, default_finished, check_cr3_intercept },
3342ad879127SKrish Sadhukhan 	{ "dr intercept check", default_supported, prepare_dr_intercept,
3343ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, test_dr_intercept, dr_intercept_finished,
3344ad879127SKrish Sadhukhan 	  check_dr_intercept },
3345ad879127SKrish Sadhukhan 	{ "next_rip", next_rip_supported, prepare_next_rip,
3346ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, test_next_rip,
3347ad879127SKrish Sadhukhan 	  default_finished, check_next_rip },
3348ad879127SKrish Sadhukhan 	{ "msr intercept check", default_supported, prepare_msr_intercept,
3349ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, test_msr_intercept,
3350ad879127SKrish Sadhukhan 	  msr_intercept_finished, check_msr_intercept },
3351ad879127SKrish Sadhukhan 	{ "mode_switch", default_supported, prepare_mode_switch,
3352ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, test_mode_switch,
3353ad879127SKrish Sadhukhan 	  mode_switch_finished, check_mode_switch },
3354ad879127SKrish Sadhukhan 	{ "asid_zero", default_supported, prepare_asid_zero,
3355ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, test_asid_zero,
3356ad879127SKrish Sadhukhan 	  default_finished, check_asid_zero },
3357ad879127SKrish Sadhukhan 	{ "sel_cr0_bug", default_supported, sel_cr0_bug_prepare,
3358ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, sel_cr0_bug_test,
3359ad879127SKrish Sadhukhan 	  sel_cr0_bug_finished, sel_cr0_bug_check },
336010a65fc4SNadav Amit 	{ "tsc_adjust", tsc_adjust_supported, tsc_adjust_prepare,
3361ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, tsc_adjust_test,
3362ad879127SKrish Sadhukhan 	  default_finished, tsc_adjust_check },
3363ad879127SKrish Sadhukhan 	{ "latency_run_exit", default_supported, latency_prepare,
3364ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, latency_test,
3365ad879127SKrish Sadhukhan 	  latency_finished, latency_check },
3366f7fa53dcSPaolo Bonzini 	{ "latency_run_exit_clean", default_supported, latency_prepare,
3367f7fa53dcSPaolo Bonzini 	  default_prepare_gif_clear, latency_test,
3368f7fa53dcSPaolo Bonzini 	  latency_finished_clean, latency_check },
3369ad879127SKrish Sadhukhan 	{ "latency_svm_insn", default_supported, lat_svm_insn_prepare,
3370ad879127SKrish Sadhukhan 	  default_prepare_gif_clear, null_test,
3371ad879127SKrish Sadhukhan 	  lat_svm_insn_finished, lat_svm_insn_check },
33724b4fb247SPaolo Bonzini 	{ "exc_inject", default_supported, exc_inject_prepare,
33734b4fb247SPaolo Bonzini 	  default_prepare_gif_clear, exc_inject_test,
33744b4fb247SPaolo Bonzini 	  exc_inject_finished, exc_inject_check },
3375ad879127SKrish Sadhukhan 	{ "pending_event", default_supported, pending_event_prepare,
3376ad879127SKrish Sadhukhan 	  default_prepare_gif_clear,
3377ad879127SKrish Sadhukhan 	  pending_event_test, pending_event_finished, pending_event_check },
337885dc2aceSPaolo Bonzini 	{ "pending_event_cli", default_supported, pending_event_cli_prepare,
337985dc2aceSPaolo Bonzini 	  pending_event_cli_prepare_gif_clear,
338085dc2aceSPaolo Bonzini 	  pending_event_cli_test, pending_event_cli_finished,
338185dc2aceSPaolo Bonzini 	  pending_event_cli_check },
338285dc2aceSPaolo Bonzini 	{ "interrupt", default_supported, interrupt_prepare,
338385dc2aceSPaolo Bonzini 	  default_prepare_gif_clear, interrupt_test,
338485dc2aceSPaolo Bonzini 	  interrupt_finished, interrupt_check },
3385d4db486bSCathy Avery 	{ "nmi", default_supported, nmi_prepare,
3386d4db486bSCathy Avery 	  default_prepare_gif_clear, nmi_test,
3387d4db486bSCathy Avery 	  nmi_finished, nmi_check },
33889da1f4d8SCathy Avery 	{ "nmi_hlt", smp_supported, nmi_prepare,
33899da1f4d8SCathy Avery 	  default_prepare_gif_clear, nmi_hlt_test,
33909da1f4d8SCathy Avery 	  nmi_hlt_finished, nmi_hlt_check },
339108200397SSantosh Shukla         { "vnmi", vnmi_supported, vnmi_prepare,
339208200397SSantosh Shukla           default_prepare_gif_clear, vnmi_test,
339308200397SSantosh Shukla           vnmi_finished, vnmi_check },
33949c838954SCathy Avery 	{ "virq_inject", default_supported, virq_inject_prepare,
33959c838954SCathy Avery 	  default_prepare_gif_clear, virq_inject_test,
33969c838954SCathy Avery 	  virq_inject_finished, virq_inject_check },
3397*4b3c6114SPaolo Bonzini 	{ "virq_inject_within_shadow", default_supported, virq_inject_within_shadow_prepare,
3398*4b3c6114SPaolo Bonzini 	  virq_inject_within_shadow_prepare_gif_clear, virq_inject_within_shadow_test,
3399*4b3c6114SPaolo Bonzini 	  virq_inject_within_shadow_finished, virq_inject_within_shadow_check },
3400da338a31SMaxim Levitsky 	{ "reg_corruption", default_supported, reg_corruption_prepare,
3401da338a31SMaxim Levitsky 	  default_prepare_gif_clear, reg_corruption_test,
3402da338a31SMaxim Levitsky 	  reg_corruption_finished, reg_corruption_check },
34034770e9c8SCathy Avery 	{ "svm_init_startup_test", smp_supported, init_startup_prepare,
34044770e9c8SCathy Avery 	  default_prepare_gif_clear, null_test,
34054770e9c8SCathy Avery 	  init_startup_finished, init_startup_check },
3406d5da6dfeSCathy Avery 	{ "svm_init_intercept_test", smp_supported, init_intercept_prepare,
3407d5da6dfeSCathy Avery 	  default_prepare_gif_clear, init_intercept_test,
3408d5da6dfeSCathy Avery 	  init_intercept_finished, init_intercept_check, .on_vcpu = 2 },
34097839b0ecSKrish Sadhukhan 	{ "host_rflags", default_supported, host_rflags_prepare,
34107839b0ecSKrish Sadhukhan 	  host_rflags_prepare_gif_clear, host_rflags_test,
34117839b0ecSKrish Sadhukhan 	  host_rflags_finished, host_rflags_check },
3412f6972bd6SLara Lazier 	{ "vgif", vgif_supported, prepare_vgif_enabled,
3413f6972bd6SLara Lazier 	  default_prepare_gif_clear, test_vgif, vgif_finished,
3414f6972bd6SLara Lazier 	  vgif_check },
3415f32183f5SJim Mattson 	TEST(svm_cr4_osxsave_test),
3416ba29942cSKrish Sadhukhan 	TEST(svm_guest_state_test),
34177a57ef5dSMaxim Levitsky 	TEST(svm_vmrun_errata_test),
34180b6f6cedSKrish Sadhukhan 	TEST(svm_vmload_vmsave),
3419665f5677SKrish Sadhukhan 	TEST(svm_test_singlestep),
3420694e59baSManali Shukla 	TEST(svm_no_nm_test),
34218177dc62SManali Shukla 	TEST(svm_exception_test),
3422537d39dfSMaxim Levitsky 	TEST(svm_lbrv_test0),
3423537d39dfSMaxim Levitsky 	TEST(svm_lbrv_test1),
3424537d39dfSMaxim Levitsky 	TEST(svm_lbrv_test2),
3425537d39dfSMaxim Levitsky 	TEST(svm_lbrv_nested_test1),
3426537d39dfSMaxim Levitsky 	TEST(svm_lbrv_nested_test2),
3427c45bccfcSMaxim Levitsky 	TEST(svm_intr_intercept_mix_if),
3428c45bccfcSMaxim Levitsky 	TEST(svm_intr_intercept_mix_gif),
3429c45bccfcSMaxim Levitsky 	TEST(svm_intr_intercept_mix_gif2),
3430c45bccfcSMaxim Levitsky 	TEST(svm_intr_intercept_mix_nmi),
3431c45bccfcSMaxim Levitsky 	TEST(svm_intr_intercept_mix_smi),
3432a8503d50SMaxim Levitsky 	TEST(svm_tsc_scale_test),
34338650dffeSMaxim Levitsky 	TEST(pause_filter_test),
3434c64f24fdSMaxim Levitsky 	TEST(svm_shutdown_intercept_test),
3435ad879127SKrish Sadhukhan 	{ NULL, NULL, NULL, NULL, NULL, NULL, NULL }
3436ad879127SKrish Sadhukhan };
3437712840d5SManali Shukla 
3438712840d5SManali Shukla int main(int ac, char **av)
3439712840d5SManali Shukla {
3440ade7601dSSean Christopherson 	setup_vm();
3441712840d5SManali Shukla 	return run_svm_tests(ac, av, svm_tests);
3442712840d5SManali Shukla }
3443