xref: /kvm-unit-tests/lib/x86/desc.c (revision dbd3800490429358367c717669aab76678429ef1)
17d36db35SAvi Kivity #include "libcflat.h"
2e7c37968SGleb Natapov #include "desc.h"
323ba7b39SGleb Natapov #include "processor.h"
403f37ef2SPaolo Bonzini #include <setjmp.h>
5*dbd38004SZixuan Wang #include "apic-defs.h"
67d36db35SAvi Kivity 
76b41b633SPaolo Bonzini /* Boot-related data structures */
86b41b633SPaolo Bonzini 
96b41b633SPaolo Bonzini /* IDT and IDT descriptor */
106b41b633SPaolo Bonzini idt_entry_t boot_idt[256] = {0};
116b41b633SPaolo Bonzini 
126b41b633SPaolo Bonzini struct descriptor_table_ptr idt_descr = {
136b41b633SPaolo Bonzini 	.limit = sizeof(boot_idt) - 1,
146b41b633SPaolo Bonzini 	.base = (unsigned long)boot_idt,
156b41b633SPaolo Bonzini };
166b41b633SPaolo Bonzini 
17*dbd38004SZixuan Wang #ifdef __x86_64__
18*dbd38004SZixuan Wang /* GDT, TSS and descriptors */
19*dbd38004SZixuan Wang gdt_entry_t gdt[TSS_MAIN / 8 + MAX_TEST_CPUS * 2] = {
20*dbd38004SZixuan Wang 	{     0, 0, 0, .type_limit_flags = 0x0000}, /* 0x00 null */
21*dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xaf9b}, /* 0x08 64-bit code segment */
22*dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xcf93}, /* 0x10 32/64-bit data segment */
23*dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xaf1b}, /* 0x18 64-bit code segment, not present */
24*dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xcf9b}, /* 0x20 32-bit code segment */
25*dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0x8f9b}, /* 0x28 16-bit code segment */
26*dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0x8f93}, /* 0x30 16-bit data segment */
27*dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xcffb}, /* 0x38 32-bit code segment (user) */
28*dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xcff3}, /* 0x40 32/64-bit data segment (user) */
29*dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xaffb}, /* 0x48 64-bit code segment (user) */
30*dbd38004SZixuan Wang };
31*dbd38004SZixuan Wang 
32*dbd38004SZixuan Wang tss64_t tss[MAX_TEST_CPUS] = {0};
33*dbd38004SZixuan Wang 
34*dbd38004SZixuan Wang struct descriptor_table_ptr gdt_descr = {
35*dbd38004SZixuan Wang 	.limit = sizeof(gdt) - 1,
36*dbd38004SZixuan Wang 	.base = (unsigned long)gdt,
37*dbd38004SZixuan Wang };
38*dbd38004SZixuan Wang #endif
39*dbd38004SZixuan Wang 
4006846df5SThomas Huth #ifndef __x86_64__
4106846df5SThomas Huth __attribute__((regparm(1)))
4206846df5SThomas Huth #endif
4306846df5SThomas Huth void do_handle_exception(struct ex_regs *regs);
4406846df5SThomas Huth 
4523ba7b39SGleb Natapov void set_idt_entry(int vec, void *addr, int dpl)
467d36db35SAvi Kivity {
471d946e07SAvi Kivity     idt_entry_t *e = &boot_idt[vec];
487d36db35SAvi Kivity     memset(e, 0, sizeof *e);
497d36db35SAvi Kivity     e->offset0 = (unsigned long)addr;
507d36db35SAvi Kivity     e->selector = read_cs();
517d36db35SAvi Kivity     e->ist = 0;
527d36db35SAvi Kivity     e->type = 14;
537d36db35SAvi Kivity     e->dpl = dpl;
547d36db35SAvi Kivity     e->p = 1;
557d36db35SAvi Kivity     e->offset1 = (unsigned long)addr >> 16;
5623ba7b39SGleb Natapov #ifdef __x86_64__
577d36db35SAvi Kivity     e->offset2 = (unsigned long)addr >> 32;
5823ba7b39SGleb Natapov #endif
597d36db35SAvi Kivity }
607d36db35SAvi Kivity 
617488d290SPaolo Bonzini void set_idt_dpl(int vec, u16 dpl)
627488d290SPaolo Bonzini {
637488d290SPaolo Bonzini     idt_entry_t *e = &boot_idt[vec];
647488d290SPaolo Bonzini     e->dpl = dpl;
657488d290SPaolo Bonzini }
667488d290SPaolo Bonzini 
67a4b87a16SGleb Natapov void set_idt_sel(int vec, u16 sel)
68a4b87a16SGleb Natapov {
691d946e07SAvi Kivity     idt_entry_t *e = &boot_idt[vec];
70a4b87a16SGleb Natapov     e->selector = sel;
71a4b87a16SGleb Natapov }
727d36db35SAvi Kivity 
737d36db35SAvi Kivity struct ex_record {
747d36db35SAvi Kivity     unsigned long rip;
757d36db35SAvi Kivity     unsigned long handler;
767d36db35SAvi Kivity };
777d36db35SAvi Kivity 
787d36db35SAvi Kivity extern struct ex_record exception_table_start, exception_table_end;
797d36db35SAvi Kivity 
80ed0a50e5SPeter Feiner static const char* exception_mnemonic(int vector)
81ed0a50e5SPeter Feiner {
82ed0a50e5SPeter Feiner 	switch(vector) {
83ed0a50e5SPeter Feiner 	case 0: return "#DE";
84ed0a50e5SPeter Feiner 	case 1: return "#DB";
85ed0a50e5SPeter Feiner 	case 2: return "#NMI";
86ed0a50e5SPeter Feiner 	case 3: return "#BP";
87ed0a50e5SPeter Feiner 	case 4: return "#OF";
88ed0a50e5SPeter Feiner 	case 5: return "#BR";
89ed0a50e5SPeter Feiner 	case 6: return "#UD";
90ed0a50e5SPeter Feiner 	case 7: return "#NM";
91ed0a50e5SPeter Feiner 	case 8: return "#DF";
92ed0a50e5SPeter Feiner 	case 10: return "#TS";
93ed0a50e5SPeter Feiner 	case 11: return "#NP";
94ed0a50e5SPeter Feiner 	case 12: return "#SS";
95ed0a50e5SPeter Feiner 	case 13: return "#GP";
96ed0a50e5SPeter Feiner 	case 14: return "#PF";
97ed0a50e5SPeter Feiner 	case 16: return "#MF";
98ed0a50e5SPeter Feiner 	case 17: return "#AC";
99ed0a50e5SPeter Feiner 	case 18: return "#MC";
100ed0a50e5SPeter Feiner 	case 19: return "#XM";
101ed0a50e5SPeter Feiner 	default: return "#??";
102ed0a50e5SPeter Feiner 	}
103ed0a50e5SPeter Feiner }
104ed0a50e5SPeter Feiner 
105728e71eeSPaolo Bonzini void unhandled_exception(struct ex_regs *regs, bool cpu)
106ed0a50e5SPeter Feiner {
107ed0a50e5SPeter Feiner 	printf("Unhandled %sexception %ld %s at ip %016lx\n",
108ed0a50e5SPeter Feiner 	       cpu ? "cpu " : "", regs->vector,
109ed0a50e5SPeter Feiner 	       exception_mnemonic(regs->vector), regs->rip);
110ed0a50e5SPeter Feiner 	if (regs->vector == 14)
111fd6aada0SRadim Krčmář 		printf("PF at %#lx addr %#lx\n", regs->rip, read_cr2());
112ed0a50e5SPeter Feiner 
113ed0a50e5SPeter Feiner 	printf("error_code=%04lx      rflags=%08lx      cs=%08lx\n"
114ed0a50e5SPeter Feiner 	       "rax=%016lx rcx=%016lx rdx=%016lx rbx=%016lx\n"
115ed0a50e5SPeter Feiner 	       "rbp=%016lx rsi=%016lx rdi=%016lx\n"
116ed0a50e5SPeter Feiner #ifdef __x86_64__
117ed0a50e5SPeter Feiner 	       " r8=%016lx  r9=%016lx r10=%016lx r11=%016lx\n"
118ed0a50e5SPeter Feiner 	       "r12=%016lx r13=%016lx r14=%016lx r15=%016lx\n"
119ed0a50e5SPeter Feiner #endif
120ed0a50e5SPeter Feiner 	       "cr0=%016lx cr2=%016lx cr3=%016lx cr4=%016lx\n"
121ed0a50e5SPeter Feiner #ifdef __x86_64__
122ed0a50e5SPeter Feiner 	       "cr8=%016lx\n"
123ed0a50e5SPeter Feiner #endif
124ed0a50e5SPeter Feiner 	       ,
125ed0a50e5SPeter Feiner 	       regs->error_code, regs->rflags, regs->cs,
126ed0a50e5SPeter Feiner 	       regs->rax, regs->rcx, regs->rdx, regs->rbx,
127ed0a50e5SPeter Feiner 	       regs->rbp, regs->rsi, regs->rdi,
128ed0a50e5SPeter Feiner #ifdef __x86_64__
129ed0a50e5SPeter Feiner 	       regs->r8, regs->r9, regs->r10, regs->r11,
130ed0a50e5SPeter Feiner 	       regs->r12, regs->r13, regs->r14, regs->r15,
131ed0a50e5SPeter Feiner #endif
132ed0a50e5SPeter Feiner 	       read_cr0(), read_cr2(), read_cr3(), read_cr4()
133ed0a50e5SPeter Feiner #ifdef __x86_64__
134ed0a50e5SPeter Feiner 	       , read_cr8()
135ed0a50e5SPeter Feiner #endif
136ed0a50e5SPeter Feiner 	);
137ed0a50e5SPeter Feiner 	dump_frame_stack((void*) regs->rip, (void*) regs->rbp);
138bd7ec418SAndrew Jones 	abort();
139ed0a50e5SPeter Feiner }
140ed0a50e5SPeter Feiner 
141af11bd88SGleb Natapov static void check_exception_table(struct ex_regs *regs)
1427d36db35SAvi Kivity {
1437d36db35SAvi Kivity     struct ex_record *ex;
1447d36db35SAvi Kivity     unsigned ex_val;
1457d36db35SAvi Kivity 
14673f9822eSNadav Amit     ex_val = regs->vector | (regs->error_code << 16) |
14773f9822eSNadav Amit 		(((regs->rflags >> 16) & 1) << 8);
1487d36db35SAvi Kivity     asm("mov %0, %%gs:4" : : "r"(ex_val));
1497d36db35SAvi Kivity 
1507d36db35SAvi Kivity     for (ex = &exception_table_start; ex != &exception_table_end; ++ex) {
1517d36db35SAvi Kivity         if (ex->rip == regs->rip) {
1527d36db35SAvi Kivity             regs->rip = ex->handler;
1537d36db35SAvi Kivity             return;
1547d36db35SAvi Kivity         }
1557d36db35SAvi Kivity     }
156ed0a50e5SPeter Feiner     unhandled_exception(regs, false);
157af11bd88SGleb Natapov }
158af11bd88SGleb Natapov 
15906d1898aSJim Mattson static handler exception_handlers[32];
160af11bd88SGleb Natapov 
16106d1898aSJim Mattson handler handle_exception(u8 v, handler fn)
162af11bd88SGleb Natapov {
16306d1898aSJim Mattson 	handler old;
16406d1898aSJim Mattson 
16506d1898aSJim Mattson 	old = exception_handlers[v];
166af11bd88SGleb Natapov 	if (v < 32)
16706d1898aSJim Mattson 		exception_handlers[v] = fn;
16806d1898aSJim Mattson 	return old;
169af11bd88SGleb Natapov }
170af11bd88SGleb Natapov 
171af11bd88SGleb Natapov #ifndef __x86_64__
172af11bd88SGleb Natapov __attribute__((regparm(1)))
173af11bd88SGleb Natapov #endif
174af11bd88SGleb Natapov void do_handle_exception(struct ex_regs *regs)
175af11bd88SGleb Natapov {
176af11bd88SGleb Natapov 	if (regs->vector < 32 && exception_handlers[regs->vector]) {
177af11bd88SGleb Natapov 		exception_handlers[regs->vector](regs);
178af11bd88SGleb Natapov 		return;
179af11bd88SGleb Natapov 	}
180ed0a50e5SPeter Feiner 	unhandled_exception(regs, true);
1817d36db35SAvi Kivity }
1827d36db35SAvi Kivity 
183af11bd88SGleb Natapov #define EX(NAME, N) extern char NAME##_fault;	\
184af11bd88SGleb Natapov 	asm (".pushsection .text \n\t"		\
185af11bd88SGleb Natapov 	     #NAME"_fault: \n\t"		\
186af11bd88SGleb Natapov 	     "push"W" $0 \n\t"			\
187af11bd88SGleb Natapov 	     "push"W" $"#N" \n\t"		\
188af11bd88SGleb Natapov 	     "jmp __handle_exception \n\t"	\
189af11bd88SGleb Natapov 	     ".popsection")
190af11bd88SGleb Natapov 
191af11bd88SGleb Natapov #define EX_E(NAME, N) extern char NAME##_fault;	\
192af11bd88SGleb Natapov 	asm (".pushsection .text \n\t"		\
193af11bd88SGleb Natapov 	     #NAME"_fault: \n\t"		\
194af11bd88SGleb Natapov 	     "push"W" $"#N" \n\t"		\
195af11bd88SGleb Natapov 	     "jmp __handle_exception \n\t"	\
196af11bd88SGleb Natapov 	     ".popsection")
197af11bd88SGleb Natapov 
198af11bd88SGleb Natapov EX(de, 0);
199af11bd88SGleb Natapov EX(db, 1);
200af11bd88SGleb Natapov EX(nmi, 2);
201af11bd88SGleb Natapov EX(bp, 3);
202af11bd88SGleb Natapov EX(of, 4);
203af11bd88SGleb Natapov EX(br, 5);
204af11bd88SGleb Natapov EX(ud, 6);
205af11bd88SGleb Natapov EX(nm, 7);
206af11bd88SGleb Natapov EX_E(df, 8);
207af11bd88SGleb Natapov EX_E(ts, 10);
208af11bd88SGleb Natapov EX_E(np, 11);
209af11bd88SGleb Natapov EX_E(ss, 12);
210af11bd88SGleb Natapov EX_E(gp, 13);
211af11bd88SGleb Natapov EX_E(pf, 14);
212af11bd88SGleb Natapov EX(mf, 16);
213af11bd88SGleb Natapov EX_E(ac, 17);
214af11bd88SGleb Natapov EX(mc, 18);
215af11bd88SGleb Natapov EX(xm, 19);
21679e53994SYang Weijiang EX_E(cp, 21);
217af11bd88SGleb Natapov 
2187d36db35SAvi Kivity asm (".pushsection .text \n\t"
219af11bd88SGleb Natapov      "__handle_exception: \n\t"
22023ba7b39SGleb Natapov #ifdef __x86_64__
2217d36db35SAvi Kivity      "push %r15; push %r14; push %r13; push %r12 \n\t"
2227d36db35SAvi Kivity      "push %r11; push %r10; push %r9; push %r8 \n\t"
22323ba7b39SGleb Natapov #endif
22423ba7b39SGleb Natapov      "push %"R "di; push %"R "si; push %"R "bp; sub $"S", %"R "sp \n\t"
22523ba7b39SGleb Natapov      "push %"R "bx; push %"R "dx; push %"R "cx; push %"R "ax \n\t"
226c3b91807SGleb Natapov #ifdef __x86_64__
22723ba7b39SGleb Natapov      "mov %"R "sp, %"R "di \n\t"
228c3b91807SGleb Natapov #else
229c3b91807SGleb Natapov      "mov %"R "sp, %"R "ax \n\t"
230c3b91807SGleb Natapov #endif
2317d36db35SAvi Kivity      "call do_handle_exception \n\t"
23223ba7b39SGleb Natapov      "pop %"R "ax; pop %"R "cx; pop %"R "dx; pop %"R "bx \n\t"
23323ba7b39SGleb Natapov      "add $"S", %"R "sp; pop %"R "bp; pop %"R "si; pop %"R "di \n\t"
23423ba7b39SGleb Natapov #ifdef __x86_64__
2357d36db35SAvi Kivity      "pop %r8; pop %r9; pop %r10; pop %r11 \n\t"
2367d36db35SAvi Kivity      "pop %r12; pop %r13; pop %r14; pop %r15 \n\t"
23723ba7b39SGleb Natapov #endif
23823ba7b39SGleb Natapov      "add $"S", %"R "sp \n\t"
23923ba7b39SGleb Natapov      "add $"S", %"R "sp \n\t"
24023ba7b39SGleb Natapov      "iret"W" \n\t"
2417d36db35SAvi Kivity      ".popsection");
2427d36db35SAvi Kivity 
243af11bd88SGleb Natapov static void *idt_handlers[32] = {
244af11bd88SGleb Natapov 	[0] = &de_fault,
245af11bd88SGleb Natapov 	[1] = &db_fault,
246af11bd88SGleb Natapov 	[2] = &nmi_fault,
247af11bd88SGleb Natapov 	[3] = &bp_fault,
248af11bd88SGleb Natapov 	[4] = &of_fault,
249af11bd88SGleb Natapov 	[5] = &br_fault,
250af11bd88SGleb Natapov 	[6] = &ud_fault,
251af11bd88SGleb Natapov 	[7] = &nm_fault,
252af11bd88SGleb Natapov 	[8] = &df_fault,
253af11bd88SGleb Natapov 	[10] = &ts_fault,
254af11bd88SGleb Natapov 	[11] = &np_fault,
255af11bd88SGleb Natapov 	[12] = &ss_fault,
256af11bd88SGleb Natapov 	[13] = &gp_fault,
257af11bd88SGleb Natapov 	[14] = &pf_fault,
258af11bd88SGleb Natapov 	[16] = &mf_fault,
259af11bd88SGleb Natapov 	[17] = &ac_fault,
260af11bd88SGleb Natapov 	[18] = &mc_fault,
261af11bd88SGleb Natapov 	[19] = &xm_fault,
26279e53994SYang Weijiang 	[21] = &cp_fault,
263af11bd88SGleb Natapov };
2647d36db35SAvi Kivity 
2657d36db35SAvi Kivity void setup_idt(void)
2667d36db35SAvi Kivity {
267af11bd88SGleb Natapov     int i;
2684751cffbSAvi Kivity     static bool idt_initialized = false;
2694751cffbSAvi Kivity 
2704751cffbSAvi Kivity     if (idt_initialized) {
2714751cffbSAvi Kivity         return;
2724751cffbSAvi Kivity     }
2734751cffbSAvi Kivity     idt_initialized = true;
274af11bd88SGleb Natapov     for (i = 0; i < 32; i++)
275af11bd88SGleb Natapov 	    if (idt_handlers[i])
276af11bd88SGleb Natapov 		    set_idt_entry(i, idt_handlers[i], 0);
277af11bd88SGleb Natapov     handle_exception(0, check_exception_table);
278af11bd88SGleb Natapov     handle_exception(6, check_exception_table);
279af11bd88SGleb Natapov     handle_exception(13, check_exception_table);
2807d36db35SAvi Kivity }
2817d36db35SAvi Kivity 
2827d36db35SAvi Kivity unsigned exception_vector(void)
2837d36db35SAvi Kivity {
28473f9822eSNadav Amit     unsigned char vector;
2857d36db35SAvi Kivity 
28654574ec2SSean Christopherson     asm volatile("movb %%gs:4, %0" : "=q"(vector));
2877d36db35SAvi Kivity     return vector;
2887d36db35SAvi Kivity }
2897d36db35SAvi Kivity 
29040f559bcSKrish Sadhukhan int write_cr4_checking(unsigned long val)
29140f559bcSKrish Sadhukhan {
29240f559bcSKrish Sadhukhan     asm volatile(ASM_TRY("1f")
29340f559bcSKrish Sadhukhan             "mov %0,%%cr4\n\t"
29440f559bcSKrish Sadhukhan             "1:": : "r" (val));
29540f559bcSKrish Sadhukhan     return exception_vector();
29640f559bcSKrish Sadhukhan }
29740f559bcSKrish Sadhukhan 
2987d36db35SAvi Kivity unsigned exception_error_code(void)
2997d36db35SAvi Kivity {
3007d36db35SAvi Kivity     unsigned short error_code;
3017d36db35SAvi Kivity 
30254574ec2SSean Christopherson     asm volatile("mov %%gs:6, %0" : "=r"(error_code));
3037d36db35SAvi Kivity     return error_code;
3047d36db35SAvi Kivity }
305d21b4f12SGleb Natapov 
30673f9822eSNadav Amit bool exception_rflags_rf(void)
30773f9822eSNadav Amit {
30873f9822eSNadav Amit     unsigned char rf_flag;
30973f9822eSNadav Amit 
31054574ec2SSean Christopherson     asm volatile("movb %%gs:5, %b0" : "=q"(rf_flag));
31173f9822eSNadav Amit     return rf_flag & 1;
31273f9822eSNadav Amit }
31373f9822eSNadav Amit 
314309ca07bSPaolo Bonzini static char intr_alt_stack[4096];
315309ca07bSPaolo Bonzini 
316*dbd38004SZixuan Wang void set_gdt_entry(int sel, unsigned long base,  u32 limit, u8 type, u8 flags)
317d21b4f12SGleb Natapov {
3185ed10141SPaolo Bonzini 	gdt_entry_t *entry = &gdt[sel >> 3];
31967961d18SPaolo Bonzini 
320d21b4f12SGleb Natapov 	/* Setup the descriptor base address */
3215ed10141SPaolo Bonzini 	entry->base1 = (base & 0xFFFF);
3225ed10141SPaolo Bonzini 	entry->base2 = (base >> 16) & 0xFF;
3235ed10141SPaolo Bonzini 	entry->base3 = (base >> 24) & 0xFF;
324d21b4f12SGleb Natapov 
3252e88ad23SPaolo Bonzini 	/* Setup the descriptor limits, type and flags */
3265ed10141SPaolo Bonzini 	entry->limit1 = (limit & 0xFFFF);
3275ed10141SPaolo Bonzini 	entry->type_limit_flags = ((limit & 0xF0000) >> 8) | ((flags & 0xF0) << 8) | type;
328*dbd38004SZixuan Wang 
329*dbd38004SZixuan Wang #ifdef __x86_64__
330*dbd38004SZixuan Wang 	if (!entry->s) {
331*dbd38004SZixuan Wang 		struct system_desc64 *entry16 = (struct system_desc64 *)entry;
332*dbd38004SZixuan Wang 		entry16->zero = 0;
333*dbd38004SZixuan Wang 		entry16->base4 = base >> 32;
334*dbd38004SZixuan Wang 	}
335*dbd38004SZixuan Wang #endif
336d21b4f12SGleb Natapov }
337d21b4f12SGleb Natapov 
338*dbd38004SZixuan Wang #ifndef __x86_64__
3395b0bf08bSPaolo Bonzini void set_gdt_task_gate(u16 sel, u16 tss_sel)
3405b0bf08bSPaolo Bonzini {
3415b0bf08bSPaolo Bonzini     set_gdt_entry(sel, tss_sel, 0, 0x85, 0); // task, present
3425b0bf08bSPaolo Bonzini }
3435b0bf08bSPaolo Bonzini 
344b01c8823SKevin Wolf void set_idt_task_gate(int vec, u16 sel)
345d21b4f12SGleb Natapov {
346b319491dSAvi Kivity     idt_entry_t *e = &boot_idt[vec];
347d21b4f12SGleb Natapov 
348d21b4f12SGleb Natapov     memset(e, 0, sizeof *e);
349d21b4f12SGleb Natapov 
350d21b4f12SGleb Natapov     e->selector = sel;
351d21b4f12SGleb Natapov     e->ist = 0;
352d21b4f12SGleb Natapov     e->type = 5;
353d21b4f12SGleb Natapov     e->dpl = 0;
354d21b4f12SGleb Natapov     e->p = 1;
355d21b4f12SGleb Natapov }
356d21b4f12SGleb Natapov 
357d21b4f12SGleb Natapov /*
358d21b4f12SGleb Natapov  * 0 - main task
359d21b4f12SGleb Natapov  * 1 - interrupt task
360d21b4f12SGleb Natapov  */
361d21b4f12SGleb Natapov 
3625b0bf08bSPaolo Bonzini tss32_t tss_intr;
363d21b4f12SGleb Natapov 
364d21b4f12SGleb Natapov void setup_tss32(void)
365d21b4f12SGleb Natapov {
366d21b4f12SGleb Natapov 	u16 desc_size = sizeof(tss32_t);
367d21b4f12SGleb Natapov 
3688f4755faSPaolo Bonzini 	tss.cr3 = read_cr3();
3698f4755faSPaolo Bonzini 	tss_intr.cr3 = read_cr3();
3708f4755faSPaolo Bonzini 	tss_intr.ss0 = tss_intr.ss1 = tss_intr.ss2 = 0x10;
3718f4755faSPaolo Bonzini 	tss_intr.esp = tss_intr.esp0 = tss_intr.esp1 = tss_intr.esp2 =
372309ca07bSPaolo Bonzini 		(u32)intr_alt_stack + 4096;
3738f4755faSPaolo Bonzini 	tss_intr.cs = 0x08;
3749eef583dSPaolo Bonzini 	tss_intr.ds = tss_intr.es = tss_intr.fs = tss_intr.ss = 0x10;
3759eef583dSPaolo Bonzini 	tss_intr.gs = read_gs();
3768f4755faSPaolo Bonzini 	tss_intr.iomap_base = (u16)desc_size;
377ab7b952cSPaolo Bonzini 	set_gdt_entry(TSS_INTR, (u32)&tss_intr, desc_size - 1, 0x89, 0);
378d21b4f12SGleb Natapov }
379d21b4f12SGleb Natapov 
380d21b4f12SGleb Natapov void set_intr_task_gate(int e, void *fn)
381d21b4f12SGleb Natapov {
3828f4755faSPaolo Bonzini 	tss_intr.eip = (u32)fn;
383d21b4f12SGleb Natapov 	set_idt_task_gate(e, TSS_INTR);
384d21b4f12SGleb Natapov }
385d21b4f12SGleb Natapov 
386309ca07bSPaolo Bonzini void setup_alt_stack(void)
387309ca07bSPaolo Bonzini {
388309ca07bSPaolo Bonzini 	setup_tss32();
389309ca07bSPaolo Bonzini }
390309ca07bSPaolo Bonzini 
391309ca07bSPaolo Bonzini void set_intr_alt_stack(int e, void *fn)
392309ca07bSPaolo Bonzini {
393309ca07bSPaolo Bonzini 	set_intr_task_gate(e, fn);
394309ca07bSPaolo Bonzini }
395309ca07bSPaolo Bonzini 
396d21b4f12SGleb Natapov void print_current_tss_info(void)
397d21b4f12SGleb Natapov {
398d21b4f12SGleb Natapov 	u16 tr = str();
399d21b4f12SGleb Natapov 
400d21b4f12SGleb Natapov 	if (tr != TSS_MAIN && tr != TSS_INTR)
401d21b4f12SGleb Natapov 		printf("Unknown TSS %x\n", tr);
402d21b4f12SGleb Natapov 	else
4038f4755faSPaolo Bonzini 		printf("TR=%x (%s) Main TSS back link %x. Intr TSS back link %x\n",
4048f4755faSPaolo Bonzini 		       tr, tr ? "interrupt" : "main", tss.prev, tss_intr.prev);
405d21b4f12SGleb Natapov }
406309ca07bSPaolo Bonzini #else
407309ca07bSPaolo Bonzini void set_intr_alt_stack(int e, void *addr)
408309ca07bSPaolo Bonzini {
409309ca07bSPaolo Bonzini 	set_idt_entry(e, addr, 0);
410309ca07bSPaolo Bonzini 	boot_idt[e].ist = 1;
411309ca07bSPaolo Bonzini }
412309ca07bSPaolo Bonzini 
413309ca07bSPaolo Bonzini void setup_alt_stack(void)
414309ca07bSPaolo Bonzini {
415*dbd38004SZixuan Wang 	tss[0].ist1 = (u64)intr_alt_stack + 4096;
416309ca07bSPaolo Bonzini }
417d21b4f12SGleb Natapov #endif
418e3f363c4SJan Kiszka 
419e3f363c4SJan Kiszka static bool exception;
42003f37ef2SPaolo Bonzini static jmp_buf *exception_jmpbuf;
42103f37ef2SPaolo Bonzini 
42203f37ef2SPaolo Bonzini static void exception_handler_longjmp(void)
42303f37ef2SPaolo Bonzini {
42403f37ef2SPaolo Bonzini 	longjmp(*exception_jmpbuf, 1);
42503f37ef2SPaolo Bonzini }
426e3f363c4SJan Kiszka 
427e3f363c4SJan Kiszka static void exception_handler(struct ex_regs *regs)
428e3f363c4SJan Kiszka {
42903f37ef2SPaolo Bonzini 	/* longjmp must happen after iret, so do not do it now.  */
430e3f363c4SJan Kiszka 	exception = true;
43103f37ef2SPaolo Bonzini 	regs->rip = (unsigned long)&exception_handler_longjmp;
432e8e04104SJim Mattson 	regs->cs = read_cs();
433e3f363c4SJan Kiszka }
434e3f363c4SJan Kiszka 
435e3f363c4SJan Kiszka bool test_for_exception(unsigned int ex, void (*trigger_func)(void *data),
436e3f363c4SJan Kiszka 			void *data)
437e3f363c4SJan Kiszka {
43806d1898aSJim Mattson 	handler old;
439932ba2d2SPaolo Bonzini 	jmp_buf jmpbuf;
440932ba2d2SPaolo Bonzini 	int ret;
441932ba2d2SPaolo Bonzini 
44206d1898aSJim Mattson 	old = handle_exception(ex, exception_handler);
443932ba2d2SPaolo Bonzini 	ret = set_exception_jmpbuf(jmpbuf);
444932ba2d2SPaolo Bonzini 	if (ret == 0)
445e3f363c4SJan Kiszka 		trigger_func(data);
44606d1898aSJim Mattson 	handle_exception(ex, old);
447932ba2d2SPaolo Bonzini 	return ret;
448e3f363c4SJan Kiszka }
449e3f363c4SJan Kiszka 
45003f37ef2SPaolo Bonzini void __set_exception_jmpbuf(jmp_buf *addr)
451e3f363c4SJan Kiszka {
45203f37ef2SPaolo Bonzini 	exception_jmpbuf = addr;
453e3f363c4SJan Kiszka }
454a7f32d87SPaolo Bonzini 
455a7f32d87SPaolo Bonzini gdt_entry_t *get_tss_descr(void)
456a7f32d87SPaolo Bonzini {
457a7f32d87SPaolo Bonzini 	struct descriptor_table_ptr gdt_ptr;
458a7f32d87SPaolo Bonzini 	gdt_entry_t *gdt;
459a7f32d87SPaolo Bonzini 
460a7f32d87SPaolo Bonzini 	sgdt(&gdt_ptr);
461a7f32d87SPaolo Bonzini 	gdt = (gdt_entry_t *)gdt_ptr.base;
462a7f32d87SPaolo Bonzini 	return &gdt[str() / 8];
463a7f32d87SPaolo Bonzini }
464a7f32d87SPaolo Bonzini 
465a7f32d87SPaolo Bonzini unsigned long get_gdt_entry_base(gdt_entry_t *entry)
466a7f32d87SPaolo Bonzini {
467a7f32d87SPaolo Bonzini 	unsigned long base;
468a7f32d87SPaolo Bonzini 	base = entry->base1 | ((u32)entry->base2 << 16) | ((u32)entry->base3 << 24);
469a7f32d87SPaolo Bonzini #ifdef __x86_64__
470a7f32d87SPaolo Bonzini 	if (!entry->s) {
471a7f32d87SPaolo Bonzini 		base |= (u64)((struct system_desc64 *)entry)->base4 << 32;
472a7f32d87SPaolo Bonzini 	}
473a7f32d87SPaolo Bonzini #endif
474a7f32d87SPaolo Bonzini 	return base;
475a7f32d87SPaolo Bonzini }
476a7f32d87SPaolo Bonzini 
477a7f32d87SPaolo Bonzini unsigned long get_gdt_entry_limit(gdt_entry_t *entry)
478a7f32d87SPaolo Bonzini {
479a7f32d87SPaolo Bonzini 	unsigned long limit;
480a7f32d87SPaolo Bonzini 	limit = entry->limit1 | ((u32)entry->limit2 << 16);
481a7f32d87SPaolo Bonzini 	if (entry->g) {
482a7f32d87SPaolo Bonzini 		limit = (limit << 12) | 0xFFF;
483a7f32d87SPaolo Bonzini 	}
484a7f32d87SPaolo Bonzini 	return limit;
485a7f32d87SPaolo Bonzini }
486