xref: /kvm-unit-tests/lib/x86/desc.c (revision 7488d290863e45a65829ef1e994a0205bfd59ace)
17d36db35SAvi Kivity #include "libcflat.h"
2e7c37968SGleb Natapov #include "desc.h"
323ba7b39SGleb Natapov #include "processor.h"
47d36db35SAvi Kivity 
523ba7b39SGleb Natapov void set_idt_entry(int vec, void *addr, int dpl)
67d36db35SAvi Kivity {
71d946e07SAvi Kivity     idt_entry_t *e = &boot_idt[vec];
87d36db35SAvi Kivity     memset(e, 0, sizeof *e);
97d36db35SAvi Kivity     e->offset0 = (unsigned long)addr;
107d36db35SAvi Kivity     e->selector = read_cs();
117d36db35SAvi Kivity     e->ist = 0;
127d36db35SAvi Kivity     e->type = 14;
137d36db35SAvi Kivity     e->dpl = dpl;
147d36db35SAvi Kivity     e->p = 1;
157d36db35SAvi Kivity     e->offset1 = (unsigned long)addr >> 16;
1623ba7b39SGleb Natapov #ifdef __x86_64__
177d36db35SAvi Kivity     e->offset2 = (unsigned long)addr >> 32;
1823ba7b39SGleb Natapov #endif
197d36db35SAvi Kivity }
207d36db35SAvi Kivity 
21*7488d290SPaolo Bonzini void set_idt_dpl(int vec, u16 dpl)
22*7488d290SPaolo Bonzini {
23*7488d290SPaolo Bonzini     idt_entry_t *e = &boot_idt[vec];
24*7488d290SPaolo Bonzini     e->dpl = dpl;
25*7488d290SPaolo Bonzini }
26*7488d290SPaolo Bonzini 
27a4b87a16SGleb Natapov void set_idt_sel(int vec, u16 sel)
28a4b87a16SGleb Natapov {
291d946e07SAvi Kivity     idt_entry_t *e = &boot_idt[vec];
30a4b87a16SGleb Natapov     e->selector = sel;
31a4b87a16SGleb Natapov }
327d36db35SAvi Kivity 
337d36db35SAvi Kivity struct ex_record {
347d36db35SAvi Kivity     unsigned long rip;
357d36db35SAvi Kivity     unsigned long handler;
367d36db35SAvi Kivity };
377d36db35SAvi Kivity 
387d36db35SAvi Kivity extern struct ex_record exception_table_start, exception_table_end;
397d36db35SAvi Kivity 
40af11bd88SGleb Natapov static void check_exception_table(struct ex_regs *regs)
417d36db35SAvi Kivity {
427d36db35SAvi Kivity     struct ex_record *ex;
437d36db35SAvi Kivity     unsigned ex_val;
447d36db35SAvi Kivity 
4573f9822eSNadav Amit     ex_val = regs->vector | (regs->error_code << 16) |
4673f9822eSNadav Amit 		(((regs->rflags >> 16) & 1) << 8);
477d36db35SAvi Kivity     asm("mov %0, %%gs:4" : : "r"(ex_val));
487d36db35SAvi Kivity 
497d36db35SAvi Kivity     for (ex = &exception_table_start; ex != &exception_table_end; ++ex) {
507d36db35SAvi Kivity         if (ex->rip == regs->rip) {
517d36db35SAvi Kivity             regs->rip = ex->handler;
527d36db35SAvi Kivity             return;
537d36db35SAvi Kivity         }
547d36db35SAvi Kivity     }
5574d51c58SLevente Kurusa     printf("unhandled exception %d\n", regs->vector);
56af11bd88SGleb Natapov     exit(7);
57af11bd88SGleb Natapov }
58af11bd88SGleb Natapov 
59af11bd88SGleb Natapov static void (*exception_handlers[32])(struct ex_regs *regs);
60af11bd88SGleb Natapov 
61af11bd88SGleb Natapov 
62af11bd88SGleb Natapov void handle_exception(u8 v, void (*func)(struct ex_regs *regs))
63af11bd88SGleb Natapov {
64af11bd88SGleb Natapov 	if (v < 32)
65af11bd88SGleb Natapov 		exception_handlers[v] = func;
66af11bd88SGleb Natapov }
67af11bd88SGleb Natapov 
68af11bd88SGleb Natapov #ifndef __x86_64__
69af11bd88SGleb Natapov __attribute__((regparm(1)))
70af11bd88SGleb Natapov #endif
71af11bd88SGleb Natapov void do_handle_exception(struct ex_regs *regs)
72af11bd88SGleb Natapov {
73af11bd88SGleb Natapov 	if (regs->vector < 32 && exception_handlers[regs->vector]) {
74af11bd88SGleb Natapov 		exception_handlers[regs->vector](regs);
75af11bd88SGleb Natapov 		return;
76af11bd88SGleb Natapov 	}
7774d51c58SLevente Kurusa 	printf("unhandled cpu exception %d\n", regs->vector);
78af11bd88SGleb Natapov 	if (regs->vector == 14)
79af11bd88SGleb Natapov 		printf("PF at %p addr %p\n", regs->rip, read_cr2());
807d36db35SAvi Kivity 	exit(7);
817d36db35SAvi Kivity }
827d36db35SAvi Kivity 
83af11bd88SGleb Natapov #define EX(NAME, N) extern char NAME##_fault;	\
84af11bd88SGleb Natapov 	asm (".pushsection .text \n\t"		\
85af11bd88SGleb Natapov 	     #NAME"_fault: \n\t"		\
86af11bd88SGleb Natapov 	     "push"W" $0 \n\t"			\
87af11bd88SGleb Natapov 	     "push"W" $"#N" \n\t"		\
88af11bd88SGleb Natapov 	     "jmp __handle_exception \n\t"	\
89af11bd88SGleb Natapov 	     ".popsection")
90af11bd88SGleb Natapov 
91af11bd88SGleb Natapov #define EX_E(NAME, N) extern char NAME##_fault;	\
92af11bd88SGleb Natapov 	asm (".pushsection .text \n\t"		\
93af11bd88SGleb Natapov 	     #NAME"_fault: \n\t"		\
94af11bd88SGleb Natapov 	     "push"W" $"#N" \n\t"		\
95af11bd88SGleb Natapov 	     "jmp __handle_exception \n\t"	\
96af11bd88SGleb Natapov 	     ".popsection")
97af11bd88SGleb Natapov 
98af11bd88SGleb Natapov EX(de, 0);
99af11bd88SGleb Natapov EX(db, 1);
100af11bd88SGleb Natapov EX(nmi, 2);
101af11bd88SGleb Natapov EX(bp, 3);
102af11bd88SGleb Natapov EX(of, 4);
103af11bd88SGleb Natapov EX(br, 5);
104af11bd88SGleb Natapov EX(ud, 6);
105af11bd88SGleb Natapov EX(nm, 7);
106af11bd88SGleb Natapov EX_E(df, 8);
107af11bd88SGleb Natapov EX_E(ts, 10);
108af11bd88SGleb Natapov EX_E(np, 11);
109af11bd88SGleb Natapov EX_E(ss, 12);
110af11bd88SGleb Natapov EX_E(gp, 13);
111af11bd88SGleb Natapov EX_E(pf, 14);
112af11bd88SGleb Natapov EX(mf, 16);
113af11bd88SGleb Natapov EX_E(ac, 17);
114af11bd88SGleb Natapov EX(mc, 18);
115af11bd88SGleb Natapov EX(xm, 19);
116af11bd88SGleb Natapov 
1177d36db35SAvi Kivity asm (".pushsection .text \n\t"
118af11bd88SGleb Natapov      "__handle_exception: \n\t"
11923ba7b39SGleb Natapov #ifdef __x86_64__
1207d36db35SAvi Kivity      "push %r15; push %r14; push %r13; push %r12 \n\t"
1217d36db35SAvi Kivity      "push %r11; push %r10; push %r9; push %r8 \n\t"
12223ba7b39SGleb Natapov #endif
12323ba7b39SGleb Natapov      "push %"R "di; push %"R "si; push %"R "bp; sub $"S", %"R "sp \n\t"
12423ba7b39SGleb Natapov      "push %"R "bx; push %"R "dx; push %"R "cx; push %"R "ax \n\t"
125c3b91807SGleb Natapov #ifdef __x86_64__
12623ba7b39SGleb Natapov      "mov %"R "sp, %"R "di \n\t"
127c3b91807SGleb Natapov #else
128c3b91807SGleb Natapov      "mov %"R "sp, %"R "ax \n\t"
129c3b91807SGleb Natapov #endif
1307d36db35SAvi Kivity      "call do_handle_exception \n\t"
13123ba7b39SGleb Natapov      "pop %"R "ax; pop %"R "cx; pop %"R "dx; pop %"R "bx \n\t"
13223ba7b39SGleb Natapov      "add $"S", %"R "sp; pop %"R "bp; pop %"R "si; pop %"R "di \n\t"
13323ba7b39SGleb Natapov #ifdef __x86_64__
1347d36db35SAvi Kivity      "pop %r8; pop %r9; pop %r10; pop %r11 \n\t"
1357d36db35SAvi Kivity      "pop %r12; pop %r13; pop %r14; pop %r15 \n\t"
13623ba7b39SGleb Natapov #endif
13723ba7b39SGleb Natapov      "add $"S", %"R "sp \n\t"
13823ba7b39SGleb Natapov      "add $"S", %"R "sp \n\t"
13923ba7b39SGleb Natapov      "iret"W" \n\t"
1407d36db35SAvi Kivity      ".popsection");
1417d36db35SAvi Kivity 
142af11bd88SGleb Natapov static void *idt_handlers[32] = {
143af11bd88SGleb Natapov 	[0] = &de_fault,
144af11bd88SGleb Natapov 	[1] = &db_fault,
145af11bd88SGleb Natapov 	[2] = &nmi_fault,
146af11bd88SGleb Natapov 	[3] = &bp_fault,
147af11bd88SGleb Natapov 	[4] = &of_fault,
148af11bd88SGleb Natapov 	[5] = &br_fault,
149af11bd88SGleb Natapov 	[6] = &ud_fault,
150af11bd88SGleb Natapov 	[7] = &nm_fault,
151af11bd88SGleb Natapov 	[8] = &df_fault,
152af11bd88SGleb Natapov 	[10] = &ts_fault,
153af11bd88SGleb Natapov 	[11] = &np_fault,
154af11bd88SGleb Natapov 	[12] = &ss_fault,
155af11bd88SGleb Natapov 	[13] = &gp_fault,
156af11bd88SGleb Natapov 	[14] = &pf_fault,
157af11bd88SGleb Natapov 	[16] = &mf_fault,
158af11bd88SGleb Natapov 	[17] = &ac_fault,
159af11bd88SGleb Natapov 	[18] = &mc_fault,
160af11bd88SGleb Natapov 	[19] = &xm_fault,
161af11bd88SGleb Natapov };
1627d36db35SAvi Kivity 
1637d36db35SAvi Kivity void setup_idt(void)
1647d36db35SAvi Kivity {
165af11bd88SGleb Natapov     int i;
1664751cffbSAvi Kivity     static bool idt_initialized = false;
1674751cffbSAvi Kivity 
1684751cffbSAvi Kivity     if (idt_initialized) {
1694751cffbSAvi Kivity         return;
1704751cffbSAvi Kivity     }
1714751cffbSAvi Kivity     idt_initialized = true;
172af11bd88SGleb Natapov     for (i = 0; i < 32; i++)
173af11bd88SGleb Natapov 	    if (idt_handlers[i])
174af11bd88SGleb Natapov 		    set_idt_entry(i, idt_handlers[i], 0);
175af11bd88SGleb Natapov     handle_exception(0, check_exception_table);
176af11bd88SGleb Natapov     handle_exception(6, check_exception_table);
177af11bd88SGleb Natapov     handle_exception(13, check_exception_table);
1787d36db35SAvi Kivity }
1797d36db35SAvi Kivity 
1807d36db35SAvi Kivity unsigned exception_vector(void)
1817d36db35SAvi Kivity {
18273f9822eSNadav Amit     unsigned char vector;
1837d36db35SAvi Kivity 
18473f9822eSNadav Amit     asm("movb %%gs:4, %0" : "=q"(vector));
1857d36db35SAvi Kivity     return vector;
1867d36db35SAvi Kivity }
1877d36db35SAvi Kivity 
1887d36db35SAvi Kivity unsigned exception_error_code(void)
1897d36db35SAvi Kivity {
1907d36db35SAvi Kivity     unsigned short error_code;
1917d36db35SAvi Kivity 
1927d36db35SAvi Kivity     asm("mov %%gs:6, %0" : "=rm"(error_code));
1937d36db35SAvi Kivity     return error_code;
1947d36db35SAvi Kivity }
195d21b4f12SGleb Natapov 
19673f9822eSNadav Amit bool exception_rflags_rf(void)
19773f9822eSNadav Amit {
19873f9822eSNadav Amit     unsigned char rf_flag;
19973f9822eSNadav Amit 
20073f9822eSNadav Amit     asm("movb %%gs:5, %b0" : "=q"(rf_flag));
20173f9822eSNadav Amit     return rf_flag & 1;
20273f9822eSNadav Amit }
20373f9822eSNadav Amit 
204309ca07bSPaolo Bonzini static char intr_alt_stack[4096];
205309ca07bSPaolo Bonzini 
206d21b4f12SGleb Natapov #ifndef __x86_64__
207d21b4f12SGleb Natapov /*
208d21b4f12SGleb Natapov  * GDT, with 6 entries:
209d21b4f12SGleb Natapov  * 0x00 - NULL descriptor
21069d8fe0eSPaolo Bonzini  * 0x08 - Code segment (ring 0)
21169d8fe0eSPaolo Bonzini  * 0x10 - Data segment (ring 0)
21269d8fe0eSPaolo Bonzini  * 0x18 - Not present code segment (ring 0)
21369d8fe0eSPaolo Bonzini  * 0x20 - Code segment (ring 3)
21469d8fe0eSPaolo Bonzini  * 0x28 - Data segment (ring 3)
21569d8fe0eSPaolo Bonzini  * 0x30 - Interrupt task
21669d8fe0eSPaolo Bonzini  * 0x38 to 0x78 - Free to use for test cases
2178f4755faSPaolo Bonzini  * 0x80 - Primary task (CPU 0)
218d21b4f12SGleb Natapov  */
219d21b4f12SGleb Natapov 
22067961d18SPaolo Bonzini void set_gdt_entry(int sel, u32 base,  u32 limit, u8 access, u8 gran)
221d21b4f12SGleb Natapov {
22267961d18SPaolo Bonzini 	int num = sel >> 3;
22367961d18SPaolo Bonzini 
224d21b4f12SGleb Natapov 	/* Setup the descriptor base address */
2258f4755faSPaolo Bonzini 	gdt32[num].base_low = (base & 0xFFFF);
2268f4755faSPaolo Bonzini 	gdt32[num].base_middle = (base >> 16) & 0xFF;
2278f4755faSPaolo Bonzini 	gdt32[num].base_high = (base >> 24) & 0xFF;
228d21b4f12SGleb Natapov 
229d21b4f12SGleb Natapov 	/* Setup the descriptor limits */
2308f4755faSPaolo Bonzini 	gdt32[num].limit_low = (limit & 0xFFFF);
2318f4755faSPaolo Bonzini 	gdt32[num].granularity = ((limit >> 16) & 0x0F);
232d21b4f12SGleb Natapov 
233d21b4f12SGleb Natapov 	/* Finally, set up the granularity and access flags */
2348f4755faSPaolo Bonzini 	gdt32[num].granularity |= (gran & 0xF0);
2358f4755faSPaolo Bonzini 	gdt32[num].access = access;
236d21b4f12SGleb Natapov }
237d21b4f12SGleb Natapov 
2385b0bf08bSPaolo Bonzini void set_gdt_task_gate(u16 sel, u16 tss_sel)
2395b0bf08bSPaolo Bonzini {
2405b0bf08bSPaolo Bonzini     set_gdt_entry(sel, tss_sel, 0, 0x85, 0); // task, present
2415b0bf08bSPaolo Bonzini }
2425b0bf08bSPaolo Bonzini 
243b01c8823SKevin Wolf void set_idt_task_gate(int vec, u16 sel)
244d21b4f12SGleb Natapov {
245b319491dSAvi Kivity     idt_entry_t *e = &boot_idt[vec];
246d21b4f12SGleb Natapov 
247d21b4f12SGleb Natapov     memset(e, 0, sizeof *e);
248d21b4f12SGleb Natapov 
249d21b4f12SGleb Natapov     e->selector = sel;
250d21b4f12SGleb Natapov     e->ist = 0;
251d21b4f12SGleb Natapov     e->type = 5;
252d21b4f12SGleb Natapov     e->dpl = 0;
253d21b4f12SGleb Natapov     e->p = 1;
254d21b4f12SGleb Natapov }
255d21b4f12SGleb Natapov 
256d21b4f12SGleb Natapov /*
257d21b4f12SGleb Natapov  * 0 - main task
258d21b4f12SGleb Natapov  * 1 - interrupt task
259d21b4f12SGleb Natapov  */
260d21b4f12SGleb Natapov 
2615b0bf08bSPaolo Bonzini tss32_t tss_intr;
262d21b4f12SGleb Natapov 
263d21b4f12SGleb Natapov void setup_tss32(void)
264d21b4f12SGleb Natapov {
265d21b4f12SGleb Natapov 	u16 desc_size = sizeof(tss32_t);
266d21b4f12SGleb Natapov 
2678f4755faSPaolo Bonzini 	tss.cr3 = read_cr3();
2688f4755faSPaolo Bonzini 	tss_intr.cr3 = read_cr3();
2698f4755faSPaolo Bonzini 	tss_intr.ss0 = tss_intr.ss1 = tss_intr.ss2 = 0x10;
2708f4755faSPaolo Bonzini 	tss_intr.esp = tss_intr.esp0 = tss_intr.esp1 = tss_intr.esp2 =
271309ca07bSPaolo Bonzini 		(u32)intr_alt_stack + 4096;
2728f4755faSPaolo Bonzini 	tss_intr.cs = 0x08;
2738f4755faSPaolo Bonzini 	tss_intr.ds = tss_intr.es = tss_intr.fs = tss_intr.gs = tss_intr.ss = 0x10;
2748f4755faSPaolo Bonzini 	tss_intr.iomap_base = (u16)desc_size;
2758f4755faSPaolo Bonzini 	set_gdt_entry(TSS_INTR, (u32)&tss_intr, desc_size - 1, 0x89, 0x0f);
276d21b4f12SGleb Natapov }
277d21b4f12SGleb Natapov 
278d21b4f12SGleb Natapov void set_intr_task_gate(int e, void *fn)
279d21b4f12SGleb Natapov {
2808f4755faSPaolo Bonzini 	tss_intr.eip = (u32)fn;
281d21b4f12SGleb Natapov 	set_idt_task_gate(e, TSS_INTR);
282d21b4f12SGleb Natapov }
283d21b4f12SGleb Natapov 
284309ca07bSPaolo Bonzini void setup_alt_stack(void)
285309ca07bSPaolo Bonzini {
286309ca07bSPaolo Bonzini 	setup_tss32();
287309ca07bSPaolo Bonzini }
288309ca07bSPaolo Bonzini 
289309ca07bSPaolo Bonzini void set_intr_alt_stack(int e, void *fn)
290309ca07bSPaolo Bonzini {
291309ca07bSPaolo Bonzini 	set_intr_task_gate(e, fn);
292309ca07bSPaolo Bonzini }
293309ca07bSPaolo Bonzini 
294d21b4f12SGleb Natapov void print_current_tss_info(void)
295d21b4f12SGleb Natapov {
296d21b4f12SGleb Natapov 	u16 tr = str();
297d21b4f12SGleb Natapov 
298d21b4f12SGleb Natapov 	if (tr != TSS_MAIN && tr != TSS_INTR)
299d21b4f12SGleb Natapov 		printf("Unknown TSS %x\n", tr);
300d21b4f12SGleb Natapov 	else
3018f4755faSPaolo Bonzini 		printf("TR=%x (%s) Main TSS back link %x. Intr TSS back link %x\n",
3028f4755faSPaolo Bonzini 		       tr, tr ? "interrupt" : "main", tss.prev, tss_intr.prev);
303d21b4f12SGleb Natapov }
304309ca07bSPaolo Bonzini #else
305309ca07bSPaolo Bonzini void set_intr_alt_stack(int e, void *addr)
306309ca07bSPaolo Bonzini {
307309ca07bSPaolo Bonzini 	set_idt_entry(e, addr, 0);
308309ca07bSPaolo Bonzini 	boot_idt[e].ist = 1;
309309ca07bSPaolo Bonzini }
310309ca07bSPaolo Bonzini 
311309ca07bSPaolo Bonzini void setup_alt_stack(void)
312309ca07bSPaolo Bonzini {
313309ca07bSPaolo Bonzini 	tss.ist1 = (u64)intr_alt_stack + 4096;
314309ca07bSPaolo Bonzini }
315d21b4f12SGleb Natapov #endif
316e3f363c4SJan Kiszka 
317e3f363c4SJan Kiszka static bool exception;
318e3f363c4SJan Kiszka static void *exception_return;
319e3f363c4SJan Kiszka 
320e3f363c4SJan Kiszka static void exception_handler(struct ex_regs *regs)
321e3f363c4SJan Kiszka {
322e3f363c4SJan Kiszka 	exception = true;
323e3f363c4SJan Kiszka 	regs->rip = (unsigned long)exception_return;
324e3f363c4SJan Kiszka }
325e3f363c4SJan Kiszka 
326e3f363c4SJan Kiszka bool test_for_exception(unsigned int ex, void (*trigger_func)(void *data),
327e3f363c4SJan Kiszka 			void *data)
328e3f363c4SJan Kiszka {
329e3f363c4SJan Kiszka 	handle_exception(ex, exception_handler);
330e3f363c4SJan Kiszka 	exception = false;
331e3f363c4SJan Kiszka 	trigger_func(data);
332e3f363c4SJan Kiszka 	handle_exception(ex, NULL);
333e3f363c4SJan Kiszka 	return exception;
334e3f363c4SJan Kiszka }
335e3f363c4SJan Kiszka 
336e3f363c4SJan Kiszka void set_exception_return(void *addr)
337e3f363c4SJan Kiszka {
338e3f363c4SJan Kiszka 	exception_return = addr;
339e3f363c4SJan Kiszka }
340