xref: /kvm-unit-tests/x86/taskswitch2.c (revision 06846df56370af39fb4c9cfd71c032197133929b)
1d21b4f12SGleb Natapov #include "libcflat.h"
2d21b4f12SGleb Natapov #include "desc.h"
3d21b4f12SGleb Natapov #include "apic-defs.h"
4d21b4f12SGleb Natapov #include "apic.h"
5d21b4f12SGleb Natapov #include "processor.h"
6ce71ddc7SGleb Natapov #include "vm.h"
7efd8e5aaSPaolo Bonzini #include "vmalloc.h"
85aca024eSPaolo Bonzini #include "alloc_page.h"
9d21b4f12SGleb Natapov 
1067961d18SPaolo Bonzini #define MAIN_TSS_SEL (FIRST_SPARE_SEL + 0)
1167961d18SPaolo Bonzini #define VM86_TSS_SEL (FIRST_SPARE_SEL + 8)
123cdcf179SNadav Amit #define CONFORM_CS_SEL  (FIRST_SPARE_SEL + 16)
13b01c8823SKevin Wolf 
14d21b4f12SGleb Natapov static volatile int test_count;
15d21b4f12SGleb Natapov static volatile unsigned int test_divider;
16d21b4f12SGleb Natapov 
17ce71ddc7SGleb Natapov static char *fault_addr;
18ce71ddc7SGleb Natapov static ulong fault_phys;
19ce71ddc7SGleb Natapov 
20*06846df5SThomas Huth void do_pf_tss(ulong *error_code);
21*06846df5SThomas Huth 
22d21b4f12SGleb Natapov static inline void io_delay(void)
23d21b4f12SGleb Natapov {
24d21b4f12SGleb Natapov }
25d21b4f12SGleb Natapov 
26d21b4f12SGleb Natapov static void nmi_tss(void)
27d21b4f12SGleb Natapov {
28d21b4f12SGleb Natapov start:
29d21b4f12SGleb Natapov 	printf("NMI task is running\n");
30d21b4f12SGleb Natapov 	print_current_tss_info();
31d21b4f12SGleb Natapov 	test_count++;
32d21b4f12SGleb Natapov 	asm volatile ("iret");
33d21b4f12SGleb Natapov 	goto start;
34d21b4f12SGleb Natapov }
35d21b4f12SGleb Natapov 
36d21b4f12SGleb Natapov static void de_tss(void)
37d21b4f12SGleb Natapov {
38d21b4f12SGleb Natapov start:
39d21b4f12SGleb Natapov 	printf("DE task is running\n");
40d21b4f12SGleb Natapov 	print_current_tss_info();
41d21b4f12SGleb Natapov 	test_divider = 10;
42d21b4f12SGleb Natapov 	test_count++;
43d21b4f12SGleb Natapov 	asm volatile ("iret");
44d21b4f12SGleb Natapov 	goto start;
45d21b4f12SGleb Natapov }
46d21b4f12SGleb Natapov 
47d21b4f12SGleb Natapov static void of_tss(void)
48d21b4f12SGleb Natapov {
49d21b4f12SGleb Natapov start:
50d21b4f12SGleb Natapov 	printf("OF task is running\n");
51d21b4f12SGleb Natapov 	print_current_tss_info();
52d21b4f12SGleb Natapov 	test_count++;
53d21b4f12SGleb Natapov 	asm volatile ("iret");
54d21b4f12SGleb Natapov 	goto start;
55d21b4f12SGleb Natapov }
56d21b4f12SGleb Natapov 
57d21b4f12SGleb Natapov static void bp_tss(void)
58d21b4f12SGleb Natapov {
59d21b4f12SGleb Natapov start:
60d21b4f12SGleb Natapov 	printf("BP task is running\n");
61d21b4f12SGleb Natapov 	print_current_tss_info();
62d21b4f12SGleb Natapov 	test_count++;
63d21b4f12SGleb Natapov 	asm volatile ("iret");
64d21b4f12SGleb Natapov 	goto start;
65d21b4f12SGleb Natapov }
66d21b4f12SGleb Natapov 
67ce71ddc7SGleb Natapov void do_pf_tss(ulong *error_code)
68ce71ddc7SGleb Natapov {
69b006d7ebSAndrew Jones 	printf("PF task is running %p %lx\n", error_code, *error_code);
70ce71ddc7SGleb Natapov 	print_current_tss_info();
71b006d7ebSAndrew Jones 	if (*error_code == 0x2) /* write access, not present */
72ce71ddc7SGleb Natapov 		test_count++;
73ce71ddc7SGleb Natapov 	install_pte(phys_to_virt(read_cr3()), 1, fault_addr,
74d10d16e1SAlexander Gordeev 		    fault_phys | PT_PRESENT_MASK | PT_WRITABLE_MASK, 0);
75ce71ddc7SGleb Natapov }
76ce71ddc7SGleb Natapov 
77ce71ddc7SGleb Natapov extern void pf_tss(void);
78ce71ddc7SGleb Natapov 
79ce71ddc7SGleb Natapov asm (
80ce71ddc7SGleb Natapov 	"pf_tss: \n\t"
81ce71ddc7SGleb Natapov 	"push %esp \n\t"
82ce71ddc7SGleb Natapov 	"call do_pf_tss \n\t"
83ce71ddc7SGleb Natapov 	"add $4, %esp \n\t"
84ce71ddc7SGleb Natapov 	"iret\n\t"
85ce71ddc7SGleb Natapov 	"jmp pf_tss\n\t"
86ce71ddc7SGleb Natapov     );
87ce71ddc7SGleb Natapov 
88d21b4f12SGleb Natapov static void jmp_tss(void)
89d21b4f12SGleb Natapov {
90d21b4f12SGleb Natapov start:
91d21b4f12SGleb Natapov 	printf("JMP to task succeeded\n");
92d21b4f12SGleb Natapov 	print_current_tss_info();
93d21b4f12SGleb Natapov 	test_count++;
94d21b4f12SGleb Natapov 	asm volatile ("ljmp $" xstr(TSS_MAIN) ", $0");
95d21b4f12SGleb Natapov 	goto start;
96d21b4f12SGleb Natapov }
97d21b4f12SGleb Natapov 
98d21b4f12SGleb Natapov static void irq_tss(void)
99d21b4f12SGleb Natapov {
100d21b4f12SGleb Natapov start:
101d21b4f12SGleb Natapov 	printf("IRQ task is running\n");
102d21b4f12SGleb Natapov 	print_current_tss_info();
103d21b4f12SGleb Natapov 	test_count++;
104d21b4f12SGleb Natapov 	asm volatile ("iret");
105d21b4f12SGleb Natapov 	test_count++;
106d21b4f12SGleb Natapov 	printf("IRQ task restarts after iret.\n");
107d21b4f12SGleb Natapov 	goto start;
108d21b4f12SGleb Natapov }
109d21b4f12SGleb Natapov 
1103cdcf179SNadav Amit static void user_tss(void)
1113cdcf179SNadav Amit {
1123cdcf179SNadav Amit start:
113aa5d8048SPaolo Bonzini 	printf("Conforming task is running\n");
114aa5d8048SPaolo Bonzini 	print_current_tss_info();
1153cdcf179SNadav Amit 	test_count++;
1163cdcf179SNadav Amit 	asm volatile ("iret");
1173cdcf179SNadav Amit 	goto start;
1183cdcf179SNadav Amit }
1193cdcf179SNadav Amit 
120*06846df5SThomas Huth static void test_kernel_mode_int(void)
121d21b4f12SGleb Natapov {
122d21b4f12SGleb Natapov 	unsigned int res;
123d21b4f12SGleb Natapov 
124d21b4f12SGleb Natapov 	/* test that int $2 triggers task gate */
125d21b4f12SGleb Natapov 	test_count = 0;
126d21b4f12SGleb Natapov 	set_intr_task_gate(2, nmi_tss);
127d21b4f12SGleb Natapov 	printf("Triggering nmi 2\n");
128d21b4f12SGleb Natapov 	asm volatile ("int $2");
129d21b4f12SGleb Natapov 	printf("Return from nmi %d\n", test_count);
130d21b4f12SGleb Natapov 	report("NMI int $2", test_count == 1);
131d21b4f12SGleb Natapov 
132d21b4f12SGleb Natapov 	/* test that external NMI triggers task gate */
133d21b4f12SGleb Natapov 	test_count = 0;
134d21b4f12SGleb Natapov 	set_intr_task_gate(2, nmi_tss);
135d21b4f12SGleb Natapov 	printf("Triggering nmi through APIC\n");
136d21b4f12SGleb Natapov 	apic_icr_write(APIC_DEST_PHYSICAL | APIC_DM_NMI | APIC_INT_ASSERT, 0);
137d21b4f12SGleb Natapov 	io_delay();
138d21b4f12SGleb Natapov 	printf("Return from APIC nmi\n");
139d21b4f12SGleb Natapov 	report("NMI external", test_count == 1);
140d21b4f12SGleb Natapov 
141d21b4f12SGleb Natapov 	/* test that external interrupt triggesr task gate */
142d21b4f12SGleb Natapov 	test_count = 0;
143d21b4f12SGleb Natapov 	printf("Trigger IRQ from APIC\n");
144d21b4f12SGleb Natapov 	set_intr_task_gate(0xf0, irq_tss);
145d21b4f12SGleb Natapov 	irq_enable();
146d21b4f12SGleb Natapov 	apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_FIXED | APIC_INT_ASSERT | 0xf0, 0);
147d21b4f12SGleb Natapov 	io_delay();
148d21b4f12SGleb Natapov 	irq_disable();
149d21b4f12SGleb Natapov 	printf("Return from APIC IRQ\n");
150d21b4f12SGleb Natapov 	report("IRQ external", test_count == 1);
151d21b4f12SGleb Natapov 
152d21b4f12SGleb Natapov 	/* test that HW exception triggesr task gate */
153d21b4f12SGleb Natapov 	set_intr_task_gate(0, de_tss);
154d21b4f12SGleb Natapov 	printf("Try to devide by 0\n");
155d21b4f12SGleb Natapov 	asm volatile ("divl %3": "=a"(res)
156d21b4f12SGleb Natapov 		      : "d"(0), "a"(1500), "m"(test_divider));
157d21b4f12SGleb Natapov 	printf("Result is %d\n", res);
158d21b4f12SGleb Natapov 	report("DE exeption", res == 150);
159d21b4f12SGleb Natapov 
160d21b4f12SGleb Natapov 	/* test if call HW exeption DE by int $0 triggers task gate */
161d21b4f12SGleb Natapov 	test_count = 0;
162d21b4f12SGleb Natapov 	set_intr_task_gate(0, de_tss);
163d21b4f12SGleb Natapov 	printf("Call int 0\n");
164d21b4f12SGleb Natapov 	asm volatile ("int $0");
165d21b4f12SGleb Natapov 	printf("Return from int 0\n");
166d21b4f12SGleb Natapov 	report("int $0", test_count == 1);
167d21b4f12SGleb Natapov 
168d21b4f12SGleb Natapov 	/* test if HW exception OF triggers task gate */
169d21b4f12SGleb Natapov 	test_count = 0;
170d21b4f12SGleb Natapov 	set_intr_task_gate(4, of_tss);
171d21b4f12SGleb Natapov 	printf("Call into\n");
172d21b4f12SGleb Natapov 	asm volatile ("addb $127, %b0\ninto"::"a"(127));
173d21b4f12SGleb Natapov 	printf("Return from into\n");
174d21b4f12SGleb Natapov 	report("OF exeption", test_count);
175d21b4f12SGleb Natapov 
176d21b4f12SGleb Natapov 	/* test if HW exception BP triggers task gate */
177d21b4f12SGleb Natapov 	test_count = 0;
178d21b4f12SGleb Natapov 	set_intr_task_gate(3, bp_tss);
179d21b4f12SGleb Natapov 	printf("Call int 3\n");
180d21b4f12SGleb Natapov 	asm volatile ("int $3");
181d21b4f12SGleb Natapov 	printf("Return from int 3\n");
182d21b4f12SGleb Natapov 	report("BP exeption", test_count == 1);
183d21b4f12SGleb Natapov 
184ce71ddc7SGleb Natapov 	/*
185ce71ddc7SGleb Natapov 	 * test that PF triggers task gate and error code is placed on
186ce71ddc7SGleb Natapov 	 * exception task's stack
187ce71ddc7SGleb Natapov 	 */
188ce71ddc7SGleb Natapov 	fault_addr = alloc_vpage();
189ce71ddc7SGleb Natapov 	fault_phys = (ulong)virt_to_phys(alloc_page());
190ce71ddc7SGleb Natapov 	test_count = 0;
191ce71ddc7SGleb Natapov 	set_intr_task_gate(14, pf_tss);
192ce71ddc7SGleb Natapov 	printf("Access unmapped page\n");
193ce71ddc7SGleb Natapov 	*fault_addr = 0;
194ce71ddc7SGleb Natapov 	printf("Return from pf tss\n");
195ce71ddc7SGleb Natapov 	report("PF exeption", test_count == 1);
19667af69b7SPaolo Bonzini }
197ce71ddc7SGleb Natapov 
198*06846df5SThomas Huth static void test_gdt_task_gate(void)
19967af69b7SPaolo Bonzini {
200d21b4f12SGleb Natapov 	/* test that calling a task by lcall works */
201d21b4f12SGleb Natapov 	test_count = 0;
20267af69b7SPaolo Bonzini 	tss_intr.eip = (u32)irq_tss;
203d21b4f12SGleb Natapov 	printf("Calling task by lcall\n");
204d21b4f12SGleb Natapov 	/* hlt opcode is 0xf4 I use destination IP 0xf4f4f4f4 to catch
205d21b4f12SGleb Natapov 	   incorrect instruction length calculation */
206d21b4f12SGleb Natapov 	asm volatile("lcall $" xstr(TSS_INTR) ", $0xf4f4f4f4");
207d21b4f12SGleb Natapov 	printf("Return from call\n");
208d21b4f12SGleb Natapov 	report("lcall", test_count == 1);
209d21b4f12SGleb Natapov 
210d21b4f12SGleb Natapov 	/* call the same task again and check that it restarted after iret */
211d21b4f12SGleb Natapov 	test_count = 0;
212d21b4f12SGleb Natapov 	asm volatile("lcall $" xstr(TSS_INTR) ", $0xf4f4f4f4");
213d21b4f12SGleb Natapov 	report("lcall2", test_count == 2);
214d21b4f12SGleb Natapov 
215d21b4f12SGleb Natapov 	/* test that calling a task by ljmp works */
216d21b4f12SGleb Natapov 	test_count = 0;
21767af69b7SPaolo Bonzini 	tss_intr.eip = (u32)jmp_tss;
218d21b4f12SGleb Natapov 	printf("Jumping to a task by ljmp\n");
219d21b4f12SGleb Natapov 	asm volatile ("ljmp $" xstr(TSS_INTR) ", $0xf4f4f4f4");
220d21b4f12SGleb Natapov 	printf("Jump back succeeded\n");
221d21b4f12SGleb Natapov 	report("ljmp", test_count == 1);
222b01c8823SKevin Wolf }
223b01c8823SKevin Wolf 
224*06846df5SThomas Huth static void test_vm86_switch(void)
225b01c8823SKevin Wolf {
226b01c8823SKevin Wolf     static tss32_t main_tss;
227b01c8823SKevin Wolf     static tss32_t vm86_tss;
228b01c8823SKevin Wolf 
229b01c8823SKevin Wolf     u8 *vm86_start;
230b01c8823SKevin Wolf 
231b01c8823SKevin Wolf     /* Write a 'ud2' instruction somewhere below 1 MB */
232b01c8823SKevin Wolf     vm86_start = (void*) 0x42000;
233b01c8823SKevin Wolf     vm86_start[0] = 0x0f;
234b01c8823SKevin Wolf     vm86_start[1] = 0x0b;
235b01c8823SKevin Wolf 
236b01c8823SKevin Wolf     /* Main TSS */
23767961d18SPaolo Bonzini     set_gdt_entry(MAIN_TSS_SEL, (u32)&main_tss, sizeof(tss32_t) - 1, 0x89, 0);
23867961d18SPaolo Bonzini     ltr(MAIN_TSS_SEL);
239b01c8823SKevin Wolf     main_tss = (tss32_t) {
24067961d18SPaolo Bonzini         .prev   = VM86_TSS_SEL,
241b01c8823SKevin Wolf         .cr3    = read_cr3(),
242b01c8823SKevin Wolf     };
243b01c8823SKevin Wolf 
244b01c8823SKevin Wolf     /* VM86 TSS (marked as busy, so we can iret to it) */
24567961d18SPaolo Bonzini     set_gdt_entry(VM86_TSS_SEL, (u32)&vm86_tss, sizeof(tss32_t) - 1, 0x8b, 0);
246b01c8823SKevin Wolf     vm86_tss = (tss32_t) {
247b01c8823SKevin Wolf         .eflags = 0x20002,
248b01c8823SKevin Wolf         .cr3    = read_cr3(),
249b01c8823SKevin Wolf         .eip    = (u32) vm86_start & 0x0f,
250b01c8823SKevin Wolf         .cs     = (u32) vm86_start >> 4,
251b01c8823SKevin Wolf         .ds     = 0x1234,
252b01c8823SKevin Wolf         .es     = 0x2345,
253b01c8823SKevin Wolf     };
254b01c8823SKevin Wolf 
255b01c8823SKevin Wolf     /* Setup task gate to main TSS for #UD */
25667961d18SPaolo Bonzini     set_idt_task_gate(6, MAIN_TSS_SEL);
257b01c8823SKevin Wolf 
258b01c8823SKevin Wolf     /* Jump into VM86 task with iret, #UD lets it come back immediately */
259b01c8823SKevin Wolf     printf("Switch to VM86 task and back\n");
260b01c8823SKevin Wolf     asm volatile(
261b01c8823SKevin Wolf         "pushf\n"
262b01c8823SKevin Wolf         "orw $0x4000, (%esp)\n"
263b01c8823SKevin Wolf         "popf\n"
264b01c8823SKevin Wolf         "iret\n"
265b01c8823SKevin Wolf     );
266b01c8823SKevin Wolf     report("VM86", 1);
267b01c8823SKevin Wolf }
268b01c8823SKevin Wolf 
269aa5d8048SPaolo Bonzini #define IOPL_SHIFT 12
270aa5d8048SPaolo Bonzini 
271*06846df5SThomas Huth static void test_conforming_switch(void)
2723cdcf179SNadav Amit {
2733cdcf179SNadav Amit 	/* test lcall with conforming segment, cs.dpl != cs.rpl */
2743cdcf179SNadav Amit 	test_count = 0;
2753cdcf179SNadav Amit 
2763cdcf179SNadav Amit 	tss_intr.cs = CONFORM_CS_SEL | 3;
2773cdcf179SNadav Amit 	tss_intr.eip = (u32)user_tss;
2781034d60aSNadav Amit 	tss_intr.ss = USER_DS;
2791034d60aSNadav Amit 	tss_intr.ds = tss_intr.gs = tss_intr.es = tss_intr.fs = tss_intr.ss;
280aa5d8048SPaolo Bonzini 	tss_intr.eflags |= 3 << IOPL_SHIFT;
2813cdcf179SNadav Amit 	set_gdt_entry(CONFORM_CS_SEL, 0, 0xffffffff, 0x9f, 0xc0);
2823cdcf179SNadav Amit 	asm volatile("lcall $" xstr(TSS_INTR) ", $0xf4f4f4f4");
2833cdcf179SNadav Amit 	report("lcall with cs.rpl != cs.dpl", test_count == 1);
2843cdcf179SNadav Amit }
2853cdcf179SNadav Amit 
286*06846df5SThomas Huth int main(void)
287b01c8823SKevin Wolf {
288b01c8823SKevin Wolf 	setup_vm();
289b01c8823SKevin Wolf 	setup_idt();
290b01c8823SKevin Wolf 	setup_tss32();
291b01c8823SKevin Wolf 
29267af69b7SPaolo Bonzini 	test_gdt_task_gate();
293b01c8823SKevin Wolf 	test_kernel_mode_int();
294b01c8823SKevin Wolf 	test_vm86_switch();
2953cdcf179SNadav Amit 	test_conforming_switch();
296d21b4f12SGleb Natapov 
297f3cdd159SJan Kiszka 	return report_summary();
298d21b4f12SGleb Natapov }
299