xref: /kvm-unit-tests/lib/x86/desc.c (revision b397e5a52c02e6a15bd38e0199fe7b8c55a4634e)
17d36db35SAvi Kivity #include "libcflat.h"
2e7c37968SGleb Natapov #include "desc.h"
323ba7b39SGleb Natapov #include "processor.h"
4e5e3ed09SSean Christopherson #include "smp.h"
503f37ef2SPaolo Bonzini #include <setjmp.h>
6dbd38004SZixuan Wang #include "apic-defs.h"
77d36db35SAvi Kivity 
86b41b633SPaolo Bonzini /* Boot-related data structures */
96b41b633SPaolo Bonzini 
106b41b633SPaolo Bonzini /* IDT and IDT descriptor */
116b41b633SPaolo Bonzini idt_entry_t boot_idt[256] = {0};
126b41b633SPaolo Bonzini 
136b41b633SPaolo Bonzini struct descriptor_table_ptr idt_descr = {
146b41b633SPaolo Bonzini 	.limit = sizeof(boot_idt) - 1,
156b41b633SPaolo Bonzini 	.base = (unsigned long)boot_idt,
166b41b633SPaolo Bonzini };
176b41b633SPaolo Bonzini 
187e33895dSPaolo Bonzini #ifndef __x86_64__
19dbd38004SZixuan Wang /* GDT, TSS and descriptors */
20dbd38004SZixuan Wang gdt_entry_t gdt[TSS_MAIN / 8 + MAX_TEST_CPUS * 2] = {
21dbd38004SZixuan Wang 	{     0, 0, 0, .type_limit_flags = 0x0000}, /* 0x00 null */
227e33895dSPaolo Bonzini 	{0xffff, 0, 0, .type_limit_flags = 0xcf9b}, /* flat 32-bit code segment */
237e33895dSPaolo Bonzini 	{0xffff, 0, 0, .type_limit_flags = 0xcf93}, /* flat 32-bit data segment */
247e33895dSPaolo Bonzini 	{0xffff, 0, 0, .type_limit_flags = 0xcf1b}, /* flat 32-bit code segment, not present */
257e33895dSPaolo Bonzini 	{     0, 0, 0, .type_limit_flags = 0x0000}, /* TSS for task gates */
267e33895dSPaolo Bonzini 	{0xffff, 0, 0, .type_limit_flags = 0x8f9b}, /* 16-bit code segment */
277e33895dSPaolo Bonzini 	{0xffff, 0, 0, .type_limit_flags = 0x8f93}, /* 16-bit data segment */
287e33895dSPaolo Bonzini 	{0xffff, 0, 0, .type_limit_flags = 0xcffb}, /* 32-bit code segment (user) */
297e33895dSPaolo Bonzini 	{0xffff, 0, 0, .type_limit_flags = 0xcff3}, /* 32-bit data segment (user) */
307e33895dSPaolo Bonzini };
317e33895dSPaolo Bonzini 
327e33895dSPaolo Bonzini tss32_t tss[MAX_TEST_CPUS] = {0};
337e33895dSPaolo Bonzini #else
347e33895dSPaolo Bonzini gdt_entry_t gdt[TSS_MAIN / 8 + MAX_TEST_CPUS * 2] = {
357e33895dSPaolo Bonzini 	{     0, 0, 0, .type_limit_flags = 0x0000}, /* 0x00 null */
36dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xaf9b}, /* 0x08 64-bit code segment */
37dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xcf93}, /* 0x10 32/64-bit data segment */
38dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xaf1b}, /* 0x18 64-bit code segment, not present */
39dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xcf9b}, /* 0x20 32-bit code segment */
40dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0x8f9b}, /* 0x28 16-bit code segment */
41dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0x8f93}, /* 0x30 16-bit data segment */
42dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xcffb}, /* 0x38 32-bit code segment (user) */
43dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xcff3}, /* 0x40 32/64-bit data segment (user) */
44dbd38004SZixuan Wang 	{0xffff, 0, 0, .type_limit_flags = 0xaffb}, /* 0x48 64-bit code segment (user) */
45dbd38004SZixuan Wang };
46dbd38004SZixuan Wang 
47dbd38004SZixuan Wang tss64_t tss[MAX_TEST_CPUS] = {0};
487e33895dSPaolo Bonzini #endif
49dbd38004SZixuan Wang 
50dbd38004SZixuan Wang struct descriptor_table_ptr gdt_descr = {
51dbd38004SZixuan Wang 	.limit = sizeof(gdt) - 1,
52dbd38004SZixuan Wang 	.base = (unsigned long)gdt,
53dbd38004SZixuan Wang };
54dbd38004SZixuan Wang 
5506846df5SThomas Huth #ifndef __x86_64__
5606846df5SThomas Huth __attribute__((regparm(1)))
5706846df5SThomas Huth #endif
5806846df5SThomas Huth void do_handle_exception(struct ex_regs *regs);
5906846df5SThomas Huth 
6023ba7b39SGleb Natapov void set_idt_entry(int vec, void *addr, int dpl)
617d36db35SAvi Kivity {
621d946e07SAvi Kivity 	idt_entry_t *e = &boot_idt[vec];
637d36db35SAvi Kivity 	memset(e, 0, sizeof *e);
647d36db35SAvi Kivity 	e->offset0 = (unsigned long)addr;
657d36db35SAvi Kivity 	e->selector = read_cs();
667d36db35SAvi Kivity 	e->ist = 0;
677d36db35SAvi Kivity 	e->type = 14;
687d36db35SAvi Kivity 	e->dpl = dpl;
697d36db35SAvi Kivity 	e->p = 1;
707d36db35SAvi Kivity 	e->offset1 = (unsigned long)addr >> 16;
7123ba7b39SGleb Natapov #ifdef __x86_64__
727d36db35SAvi Kivity 	e->offset2 = (unsigned long)addr >> 32;
7323ba7b39SGleb Natapov #endif
747d36db35SAvi Kivity }
757d36db35SAvi Kivity 
767488d290SPaolo Bonzini void set_idt_dpl(int vec, u16 dpl)
777488d290SPaolo Bonzini {
787488d290SPaolo Bonzini 	idt_entry_t *e = &boot_idt[vec];
797488d290SPaolo Bonzini 	e->dpl = dpl;
807488d290SPaolo Bonzini }
817488d290SPaolo Bonzini 
82a4b87a16SGleb Natapov void set_idt_sel(int vec, u16 sel)
83a4b87a16SGleb Natapov {
841d946e07SAvi Kivity 	idt_entry_t *e = &boot_idt[vec];
85a4b87a16SGleb Natapov 	e->selector = sel;
86a4b87a16SGleb Natapov }
877d36db35SAvi Kivity 
887d36db35SAvi Kivity struct ex_record {
897d36db35SAvi Kivity 	unsigned long rip;
907d36db35SAvi Kivity 	unsigned long handler;
917d36db35SAvi Kivity };
927d36db35SAvi Kivity 
937d36db35SAvi Kivity extern struct ex_record exception_table_start, exception_table_end;
947d36db35SAvi Kivity 
95d9d7e586SAaron Lewis const char* exception_mnemonic(int vector)
96ed0a50e5SPeter Feiner {
97ed0a50e5SPeter Feiner 	switch(vector) {
98ed0a50e5SPeter Feiner 	case 0: return "#DE";
99ed0a50e5SPeter Feiner 	case 1: return "#DB";
100ed0a50e5SPeter Feiner 	case 2: return "#NMI";
101ed0a50e5SPeter Feiner 	case 3: return "#BP";
102ed0a50e5SPeter Feiner 	case 4: return "#OF";
103ed0a50e5SPeter Feiner 	case 5: return "#BR";
104ed0a50e5SPeter Feiner 	case 6: return "#UD";
105ed0a50e5SPeter Feiner 	case 7: return "#NM";
106ed0a50e5SPeter Feiner 	case 8: return "#DF";
107ed0a50e5SPeter Feiner 	case 10: return "#TS";
108ed0a50e5SPeter Feiner 	case 11: return "#NP";
109ed0a50e5SPeter Feiner 	case 12: return "#SS";
110ed0a50e5SPeter Feiner 	case 13: return "#GP";
111ed0a50e5SPeter Feiner 	case 14: return "#PF";
112ed0a50e5SPeter Feiner 	case 16: return "#MF";
113ed0a50e5SPeter Feiner 	case 17: return "#AC";
114ed0a50e5SPeter Feiner 	case 18: return "#MC";
115ed0a50e5SPeter Feiner 	case 19: return "#XM";
116ed0a50e5SPeter Feiner 	default: return "#??";
117ed0a50e5SPeter Feiner 	}
118ed0a50e5SPeter Feiner }
119ed0a50e5SPeter Feiner 
120728e71eeSPaolo Bonzini void unhandled_exception(struct ex_regs *regs, bool cpu)
121ed0a50e5SPeter Feiner {
122ed0a50e5SPeter Feiner 	printf("Unhandled %sexception %ld %s at ip %016lx\n",
123ed0a50e5SPeter Feiner 	       cpu ? "cpu " : "", regs->vector,
124ed0a50e5SPeter Feiner 	       exception_mnemonic(regs->vector), regs->rip);
125ed0a50e5SPeter Feiner 	if (regs->vector == 14)
126fd6aada0SRadim Krčmář 		printf("PF at %#lx addr %#lx\n", regs->rip, read_cr2());
127ed0a50e5SPeter Feiner 
128ed0a50e5SPeter Feiner 	printf("error_code=%04lx      rflags=%08lx      cs=%08lx\n"
129ed0a50e5SPeter Feiner 	       "rax=%016lx rcx=%016lx rdx=%016lx rbx=%016lx\n"
130ed0a50e5SPeter Feiner 	       "rbp=%016lx rsi=%016lx rdi=%016lx\n"
131ed0a50e5SPeter Feiner #ifdef __x86_64__
132ed0a50e5SPeter Feiner 	       " r8=%016lx  r9=%016lx r10=%016lx r11=%016lx\n"
133ed0a50e5SPeter Feiner 	       "r12=%016lx r13=%016lx r14=%016lx r15=%016lx\n"
134ed0a50e5SPeter Feiner #endif
135ed0a50e5SPeter Feiner 	       "cr0=%016lx cr2=%016lx cr3=%016lx cr4=%016lx\n"
136ed0a50e5SPeter Feiner #ifdef __x86_64__
137ed0a50e5SPeter Feiner 	       "cr8=%016lx\n"
138ed0a50e5SPeter Feiner #endif
139ed0a50e5SPeter Feiner 	       ,
140ed0a50e5SPeter Feiner 	       regs->error_code, regs->rflags, regs->cs,
141ed0a50e5SPeter Feiner 	       regs->rax, regs->rcx, regs->rdx, regs->rbx,
142ed0a50e5SPeter Feiner 	       regs->rbp, regs->rsi, regs->rdi,
143ed0a50e5SPeter Feiner #ifdef __x86_64__
144ed0a50e5SPeter Feiner 	       regs->r8, regs->r9, regs->r10, regs->r11,
145ed0a50e5SPeter Feiner 	       regs->r12, regs->r13, regs->r14, regs->r15,
146ed0a50e5SPeter Feiner #endif
147ed0a50e5SPeter Feiner 	       read_cr0(), read_cr2(), read_cr3(), read_cr4()
148ed0a50e5SPeter Feiner #ifdef __x86_64__
149ed0a50e5SPeter Feiner 	       , read_cr8()
150ed0a50e5SPeter Feiner #endif
151ed0a50e5SPeter Feiner 	);
152ed0a50e5SPeter Feiner 	dump_frame_stack((void*) regs->rip, (void*) regs->rbp);
153bd7ec418SAndrew Jones 	abort();
154ed0a50e5SPeter Feiner }
155ed0a50e5SPeter Feiner 
156af11bd88SGleb Natapov static void check_exception_table(struct ex_regs *regs)
1577d36db35SAvi Kivity {
1587d36db35SAvi Kivity 	struct ex_record *ex;
1597d36db35SAvi Kivity 
160e5e3ed09SSean Christopherson 	this_cpu_write_exception_vector(regs->vector);
161e5e3ed09SSean Christopherson 	this_cpu_write_exception_rflags_rf((regs->rflags >> 16) & 1);
162e5e3ed09SSean Christopherson 	this_cpu_write_exception_error_code(regs->error_code);
1637d36db35SAvi Kivity 
1647d36db35SAvi Kivity 	for (ex = &exception_table_start; ex != &exception_table_end; ++ex) {
1657d36db35SAvi Kivity 		if (ex->rip == regs->rip) {
1667d36db35SAvi Kivity 			regs->rip = ex->handler;
1677d36db35SAvi Kivity 			return;
1687d36db35SAvi Kivity 		}
1697d36db35SAvi Kivity 	}
170ed0a50e5SPeter Feiner 	unhandled_exception(regs, false);
171af11bd88SGleb Natapov }
172af11bd88SGleb Natapov 
17306d1898aSJim Mattson static handler exception_handlers[32];
174af11bd88SGleb Natapov 
17506d1898aSJim Mattson handler handle_exception(u8 v, handler fn)
176af11bd88SGleb Natapov {
17706d1898aSJim Mattson 	handler old;
17806d1898aSJim Mattson 
17906d1898aSJim Mattson 	old = exception_handlers[v];
180af11bd88SGleb Natapov 	if (v < 32)
18106d1898aSJim Mattson 		exception_handlers[v] = fn;
18206d1898aSJim Mattson 	return old;
183af11bd88SGleb Natapov }
184af11bd88SGleb Natapov 
185af11bd88SGleb Natapov #ifndef __x86_64__
186af11bd88SGleb Natapov __attribute__((regparm(1)))
187af11bd88SGleb Natapov #endif
188af11bd88SGleb Natapov void do_handle_exception(struct ex_regs *regs)
189af11bd88SGleb Natapov {
190af11bd88SGleb Natapov 	if (regs->vector < 32 && exception_handlers[regs->vector]) {
191af11bd88SGleb Natapov 		exception_handlers[regs->vector](regs);
192af11bd88SGleb Natapov 		return;
193af11bd88SGleb Natapov 	}
194ed0a50e5SPeter Feiner 	unhandled_exception(regs, true);
1957d36db35SAvi Kivity }
1967d36db35SAvi Kivity 
197af11bd88SGleb Natapov #define EX(NAME, N) extern char NAME##_fault;	\
198af11bd88SGleb Natapov 	asm (".pushsection .text \n\t"		\
199af11bd88SGleb Natapov 	     #NAME"_fault: \n\t"		\
200af11bd88SGleb Natapov 	     "push"W" $0 \n\t"			\
201af11bd88SGleb Natapov 	     "push"W" $"#N" \n\t"		\
202af11bd88SGleb Natapov 	     "jmp __handle_exception \n\t"	\
203af11bd88SGleb Natapov 	     ".popsection")
204af11bd88SGleb Natapov 
205af11bd88SGleb Natapov #define EX_E(NAME, N) extern char NAME##_fault;	\
206af11bd88SGleb Natapov 	asm (".pushsection .text \n\t"		\
207af11bd88SGleb Natapov 	     #NAME"_fault: \n\t"		\
208af11bd88SGleb Natapov 	     "push"W" $"#N" \n\t"		\
209af11bd88SGleb Natapov 	     "jmp __handle_exception \n\t"	\
210af11bd88SGleb Natapov 	     ".popsection")
211af11bd88SGleb Natapov 
212af11bd88SGleb Natapov EX(de, 0);
213af11bd88SGleb Natapov EX(db, 1);
214af11bd88SGleb Natapov EX(nmi, 2);
215af11bd88SGleb Natapov EX(bp, 3);
216af11bd88SGleb Natapov EX(of, 4);
217af11bd88SGleb Natapov EX(br, 5);
218af11bd88SGleb Natapov EX(ud, 6);
219af11bd88SGleb Natapov EX(nm, 7);
220af11bd88SGleb Natapov EX_E(df, 8);
221af11bd88SGleb Natapov EX_E(ts, 10);
222af11bd88SGleb Natapov EX_E(np, 11);
223af11bd88SGleb Natapov EX_E(ss, 12);
224af11bd88SGleb Natapov EX_E(gp, 13);
225af11bd88SGleb Natapov EX_E(pf, 14);
226af11bd88SGleb Natapov EX(mf, 16);
227af11bd88SGleb Natapov EX_E(ac, 17);
228af11bd88SGleb Natapov EX(mc, 18);
229af11bd88SGleb Natapov EX(xm, 19);
23079e53994SYang Weijiang EX_E(cp, 21);
231af11bd88SGleb Natapov 
2327d36db35SAvi Kivity asm (".pushsection .text \n\t"
233af11bd88SGleb Natapov      "__handle_exception: \n\t"
23423ba7b39SGleb Natapov #ifdef __x86_64__
2357d36db35SAvi Kivity      "push %r15; push %r14; push %r13; push %r12 \n\t"
2367d36db35SAvi Kivity      "push %r11; push %r10; push %r9; push %r8 \n\t"
23723ba7b39SGleb Natapov #endif
23823ba7b39SGleb Natapov      "push %"R "di; push %"R "si; push %"R "bp; sub $"S", %"R "sp \n\t"
23923ba7b39SGleb Natapov      "push %"R "bx; push %"R "dx; push %"R "cx; push %"R "ax \n\t"
240c3b91807SGleb Natapov #ifdef __x86_64__
24123ba7b39SGleb Natapov      "mov %"R "sp, %"R "di \n\t"
242c3b91807SGleb Natapov #else
243c3b91807SGleb Natapov      "mov %"R "sp, %"R "ax \n\t"
244c3b91807SGleb Natapov #endif
2457d36db35SAvi Kivity      "call do_handle_exception \n\t"
24623ba7b39SGleb Natapov      "pop %"R "ax; pop %"R "cx; pop %"R "dx; pop %"R "bx \n\t"
24723ba7b39SGleb Natapov      "add $"S", %"R "sp; pop %"R "bp; pop %"R "si; pop %"R "di \n\t"
24823ba7b39SGleb Natapov #ifdef __x86_64__
2497d36db35SAvi Kivity      "pop %r8; pop %r9; pop %r10; pop %r11 \n\t"
2507d36db35SAvi Kivity      "pop %r12; pop %r13; pop %r14; pop %r15 \n\t"
25123ba7b39SGleb Natapov #endif
25223ba7b39SGleb Natapov      "add $"S", %"R "sp \n\t"
25323ba7b39SGleb Natapov      "add $"S", %"R "sp \n\t"
25423ba7b39SGleb Natapov      "iret"W" \n\t"
2557d36db35SAvi Kivity      ".popsection");
2567d36db35SAvi Kivity 
257af11bd88SGleb Natapov static void *idt_handlers[32] = {
258af11bd88SGleb Natapov 	[0] = &de_fault,
259af11bd88SGleb Natapov 	[1] = &db_fault,
260af11bd88SGleb Natapov 	[2] = &nmi_fault,
261af11bd88SGleb Natapov 	[3] = &bp_fault,
262af11bd88SGleb Natapov 	[4] = &of_fault,
263af11bd88SGleb Natapov 	[5] = &br_fault,
264af11bd88SGleb Natapov 	[6] = &ud_fault,
265af11bd88SGleb Natapov 	[7] = &nm_fault,
266af11bd88SGleb Natapov 	[8] = &df_fault,
267af11bd88SGleb Natapov 	[10] = &ts_fault,
268af11bd88SGleb Natapov 	[11] = &np_fault,
269af11bd88SGleb Natapov 	[12] = &ss_fault,
270af11bd88SGleb Natapov 	[13] = &gp_fault,
271af11bd88SGleb Natapov 	[14] = &pf_fault,
272af11bd88SGleb Natapov 	[16] = &mf_fault,
273af11bd88SGleb Natapov 	[17] = &ac_fault,
274af11bd88SGleb Natapov 	[18] = &mc_fault,
275af11bd88SGleb Natapov 	[19] = &xm_fault,
27679e53994SYang Weijiang 	[21] = &cp_fault,
277af11bd88SGleb Natapov };
2787d36db35SAvi Kivity 
2797d36db35SAvi Kivity void setup_idt(void)
2807d36db35SAvi Kivity {
281af11bd88SGleb Natapov 	int i;
2824751cffbSAvi Kivity 	static bool idt_initialized = false;
2834751cffbSAvi Kivity 
284148fc69eSSean Christopherson 	if (idt_initialized)
2854751cffbSAvi Kivity 		return;
286148fc69eSSean Christopherson 
2874751cffbSAvi Kivity 	idt_initialized = true;
288148fc69eSSean Christopherson 	for (i = 0; i < 32; i++) {
289af11bd88SGleb Natapov 		if (idt_handlers[i])
290af11bd88SGleb Natapov 			set_idt_entry(i, idt_handlers[i], 0);
291148fc69eSSean Christopherson 	}
292af11bd88SGleb Natapov 	handle_exception(0, check_exception_table);
293af11bd88SGleb Natapov 	handle_exception(6, check_exception_table);
294af11bd88SGleb Natapov 	handle_exception(13, check_exception_table);
2957d36db35SAvi Kivity }
2967d36db35SAvi Kivity 
297*b397e5a5SVarad Gautam void load_idt(void)
298*b397e5a5SVarad Gautam {
299*b397e5a5SVarad Gautam 	lidt(&idt_descr);
300*b397e5a5SVarad Gautam }
301*b397e5a5SVarad Gautam 
3027d36db35SAvi Kivity unsigned exception_vector(void)
3037d36db35SAvi Kivity {
304e5e3ed09SSean Christopherson 	return this_cpu_read_exception_vector();
3057d36db35SAvi Kivity }
3067d36db35SAvi Kivity 
30740f559bcSKrish Sadhukhan int write_cr4_checking(unsigned long val)
30840f559bcSKrish Sadhukhan {
30940f559bcSKrish Sadhukhan 	asm volatile(ASM_TRY("1f")
31040f559bcSKrish Sadhukhan 		"mov %0,%%cr4\n\t"
31140f559bcSKrish Sadhukhan 		"1:": : "r" (val));
31240f559bcSKrish Sadhukhan 	return exception_vector();
31340f559bcSKrish Sadhukhan }
31440f559bcSKrish Sadhukhan 
3157d36db35SAvi Kivity unsigned exception_error_code(void)
3167d36db35SAvi Kivity {
317e5e3ed09SSean Christopherson 	return this_cpu_read_exception_error_code();
3187d36db35SAvi Kivity }
319d21b4f12SGleb Natapov 
32073f9822eSNadav Amit bool exception_rflags_rf(void)
32173f9822eSNadav Amit {
322e5e3ed09SSean Christopherson 	return this_cpu_read_exception_rflags_rf() & 1;
32373f9822eSNadav Amit }
32473f9822eSNadav Amit 
325309ca07bSPaolo Bonzini static char intr_alt_stack[4096];
326309ca07bSPaolo Bonzini 
327dbd38004SZixuan Wang void set_gdt_entry(int sel, unsigned long base,  u32 limit, u8 type, u8 flags)
328d21b4f12SGleb Natapov {
3295ed10141SPaolo Bonzini 	gdt_entry_t *entry = &gdt[sel >> 3];
33067961d18SPaolo Bonzini 
331d21b4f12SGleb Natapov 	/* Setup the descriptor base address */
3325ed10141SPaolo Bonzini 	entry->base1 = (base & 0xFFFF);
3335ed10141SPaolo Bonzini 	entry->base2 = (base >> 16) & 0xFF;
3345ed10141SPaolo Bonzini 	entry->base3 = (base >> 24) & 0xFF;
335d21b4f12SGleb Natapov 
3362e88ad23SPaolo Bonzini 	/* Setup the descriptor limits, type and flags */
3375ed10141SPaolo Bonzini 	entry->limit1 = (limit & 0xFFFF);
3385ed10141SPaolo Bonzini 	entry->type_limit_flags = ((limit & 0xF0000) >> 8) | ((flags & 0xF0) << 8) | type;
339dbd38004SZixuan Wang 
340dbd38004SZixuan Wang #ifdef __x86_64__
341dbd38004SZixuan Wang 	if (!entry->s) {
342dbd38004SZixuan Wang 		struct system_desc64 *entry16 = (struct system_desc64 *)entry;
343dbd38004SZixuan Wang 		entry16->zero = 0;
344dbd38004SZixuan Wang 		entry16->base4 = base >> 32;
345dbd38004SZixuan Wang 	}
346dbd38004SZixuan Wang #endif
347d21b4f12SGleb Natapov }
348d21b4f12SGleb Natapov 
349dbd38004SZixuan Wang #ifndef __x86_64__
3505b0bf08bSPaolo Bonzini void set_gdt_task_gate(u16 sel, u16 tss_sel)
3515b0bf08bSPaolo Bonzini {
3525b0bf08bSPaolo Bonzini 	set_gdt_entry(sel, tss_sel, 0, 0x85, 0); // task, present
3535b0bf08bSPaolo Bonzini }
3545b0bf08bSPaolo Bonzini 
355b01c8823SKevin Wolf void set_idt_task_gate(int vec, u16 sel)
356d21b4f12SGleb Natapov {
357b319491dSAvi Kivity 	idt_entry_t *e = &boot_idt[vec];
358d21b4f12SGleb Natapov 
359d21b4f12SGleb Natapov 	memset(e, 0, sizeof *e);
360d21b4f12SGleb Natapov 
361d21b4f12SGleb Natapov 	e->selector = sel;
362d21b4f12SGleb Natapov 	e->ist = 0;
363d21b4f12SGleb Natapov 	e->type = 5;
364d21b4f12SGleb Natapov 	e->dpl = 0;
365d21b4f12SGleb Natapov 	e->p = 1;
366d21b4f12SGleb Natapov }
367d21b4f12SGleb Natapov 
368d21b4f12SGleb Natapov /*
369d21b4f12SGleb Natapov  * 0 - main task
370d21b4f12SGleb Natapov  * 1 - interrupt task
371d21b4f12SGleb Natapov  */
372d21b4f12SGleb Natapov 
3735b0bf08bSPaolo Bonzini tss32_t tss_intr;
374d21b4f12SGleb Natapov 
375d21b4f12SGleb Natapov void setup_tss32(void)
376d21b4f12SGleb Natapov {
377d21b4f12SGleb Natapov 	u16 desc_size = sizeof(tss32_t);
378d21b4f12SGleb Natapov 
3797e33895dSPaolo Bonzini 	tss[0].cr3 = read_cr3();
3808f4755faSPaolo Bonzini 	tss_intr.cr3 = read_cr3();
3818f4755faSPaolo Bonzini 	tss_intr.ss0 = tss_intr.ss1 = tss_intr.ss2 = 0x10;
3828f4755faSPaolo Bonzini 	tss_intr.esp = tss_intr.esp0 = tss_intr.esp1 = tss_intr.esp2 =
383309ca07bSPaolo Bonzini 		(u32)intr_alt_stack + 4096;
3848f4755faSPaolo Bonzini 	tss_intr.cs = 0x08;
3859eef583dSPaolo Bonzini 	tss_intr.ds = tss_intr.es = tss_intr.fs = tss_intr.ss = 0x10;
3869eef583dSPaolo Bonzini 	tss_intr.gs = read_gs();
3878f4755faSPaolo Bonzini 	tss_intr.iomap_base = (u16)desc_size;
388ab7b952cSPaolo Bonzini 	set_gdt_entry(TSS_INTR, (u32)&tss_intr, desc_size - 1, 0x89, 0);
389d21b4f12SGleb Natapov }
390d21b4f12SGleb Natapov 
391d21b4f12SGleb Natapov void set_intr_task_gate(int e, void *fn)
392d21b4f12SGleb Natapov {
3938f4755faSPaolo Bonzini 	tss_intr.eip = (u32)fn;
394d21b4f12SGleb Natapov 	set_idt_task_gate(e, TSS_INTR);
395d21b4f12SGleb Natapov }
396d21b4f12SGleb Natapov 
397309ca07bSPaolo Bonzini void setup_alt_stack(void)
398309ca07bSPaolo Bonzini {
399309ca07bSPaolo Bonzini 	setup_tss32();
400309ca07bSPaolo Bonzini }
401309ca07bSPaolo Bonzini 
402309ca07bSPaolo Bonzini void set_intr_alt_stack(int e, void *fn)
403309ca07bSPaolo Bonzini {
404309ca07bSPaolo Bonzini 	set_intr_task_gate(e, fn);
405309ca07bSPaolo Bonzini }
406309ca07bSPaolo Bonzini 
407d21b4f12SGleb Natapov void print_current_tss_info(void)
408d21b4f12SGleb Natapov {
409d21b4f12SGleb Natapov 	u16 tr = str();
410d21b4f12SGleb Natapov 
411d21b4f12SGleb Natapov 	if (tr != TSS_MAIN && tr != TSS_INTR)
412d21b4f12SGleb Natapov 		printf("Unknown TSS %x\n", tr);
413d21b4f12SGleb Natapov 	else
4148f4755faSPaolo Bonzini 		printf("TR=%x (%s) Main TSS back link %x. Intr TSS back link %x\n",
4157e33895dSPaolo Bonzini 		       tr, tr ? "interrupt" : "main", tss[0].prev, tss_intr.prev);
416d21b4f12SGleb Natapov }
417309ca07bSPaolo Bonzini #else
418309ca07bSPaolo Bonzini void set_intr_alt_stack(int e, void *addr)
419309ca07bSPaolo Bonzini {
420309ca07bSPaolo Bonzini 	set_idt_entry(e, addr, 0);
421309ca07bSPaolo Bonzini 	boot_idt[e].ist = 1;
422309ca07bSPaolo Bonzini }
423309ca07bSPaolo Bonzini 
424309ca07bSPaolo Bonzini void setup_alt_stack(void)
425309ca07bSPaolo Bonzini {
426dbd38004SZixuan Wang 	tss[0].ist1 = (u64)intr_alt_stack + 4096;
427309ca07bSPaolo Bonzini }
428d21b4f12SGleb Natapov #endif
429e3f363c4SJan Kiszka 
430e3f363c4SJan Kiszka static bool exception;
43103f37ef2SPaolo Bonzini static jmp_buf *exception_jmpbuf;
43203f37ef2SPaolo Bonzini 
43303f37ef2SPaolo Bonzini static void exception_handler_longjmp(void)
43403f37ef2SPaolo Bonzini {
43503f37ef2SPaolo Bonzini 	longjmp(*exception_jmpbuf, 1);
43603f37ef2SPaolo Bonzini }
437e3f363c4SJan Kiszka 
438e3f363c4SJan Kiszka static void exception_handler(struct ex_regs *regs)
439e3f363c4SJan Kiszka {
44003f37ef2SPaolo Bonzini 	/* longjmp must happen after iret, so do not do it now.  */
441e3f363c4SJan Kiszka 	exception = true;
44203f37ef2SPaolo Bonzini 	regs->rip = (unsigned long)&exception_handler_longjmp;
443e8e04104SJim Mattson 	regs->cs = read_cs();
444e3f363c4SJan Kiszka }
445e3f363c4SJan Kiszka 
446e3f363c4SJan Kiszka bool test_for_exception(unsigned int ex, void (*trigger_func)(void *data),
447e3f363c4SJan Kiszka 			void *data)
448e3f363c4SJan Kiszka {
44906d1898aSJim Mattson 	handler old;
450932ba2d2SPaolo Bonzini 	jmp_buf jmpbuf;
451932ba2d2SPaolo Bonzini 	int ret;
452932ba2d2SPaolo Bonzini 
45306d1898aSJim Mattson 	old = handle_exception(ex, exception_handler);
454932ba2d2SPaolo Bonzini 	ret = set_exception_jmpbuf(jmpbuf);
455932ba2d2SPaolo Bonzini 	if (ret == 0)
456e3f363c4SJan Kiszka 		trigger_func(data);
45706d1898aSJim Mattson 	handle_exception(ex, old);
458932ba2d2SPaolo Bonzini 	return ret;
459e3f363c4SJan Kiszka }
460e3f363c4SJan Kiszka 
46103f37ef2SPaolo Bonzini void __set_exception_jmpbuf(jmp_buf *addr)
462e3f363c4SJan Kiszka {
46303f37ef2SPaolo Bonzini 	exception_jmpbuf = addr;
464e3f363c4SJan Kiszka }
465a7f32d87SPaolo Bonzini 
466a7f32d87SPaolo Bonzini gdt_entry_t *get_tss_descr(void)
467a7f32d87SPaolo Bonzini {
468a7f32d87SPaolo Bonzini 	struct descriptor_table_ptr gdt_ptr;
469a7f32d87SPaolo Bonzini 	gdt_entry_t *gdt;
470a7f32d87SPaolo Bonzini 
471a7f32d87SPaolo Bonzini 	sgdt(&gdt_ptr);
472a7f32d87SPaolo Bonzini 	gdt = (gdt_entry_t *)gdt_ptr.base;
473a7f32d87SPaolo Bonzini 	return &gdt[str() / 8];
474a7f32d87SPaolo Bonzini }
475a7f32d87SPaolo Bonzini 
476a7f32d87SPaolo Bonzini unsigned long get_gdt_entry_base(gdt_entry_t *entry)
477a7f32d87SPaolo Bonzini {
478a7f32d87SPaolo Bonzini 	unsigned long base;
479a7f32d87SPaolo Bonzini 	base = entry->base1 | ((u32)entry->base2 << 16) | ((u32)entry->base3 << 24);
480a7f32d87SPaolo Bonzini #ifdef __x86_64__
481a7f32d87SPaolo Bonzini 	if (!entry->s) {
482a7f32d87SPaolo Bonzini 		base |= (u64)((struct system_desc64 *)entry)->base4 << 32;
483a7f32d87SPaolo Bonzini 	}
484a7f32d87SPaolo Bonzini #endif
485a7f32d87SPaolo Bonzini 	return base;
486a7f32d87SPaolo Bonzini }
487a7f32d87SPaolo Bonzini 
488a7f32d87SPaolo Bonzini unsigned long get_gdt_entry_limit(gdt_entry_t *entry)
489a7f32d87SPaolo Bonzini {
490a7f32d87SPaolo Bonzini 	unsigned long limit;
491a7f32d87SPaolo Bonzini 	limit = entry->limit1 | ((u32)entry->limit2 << 16);
492a7f32d87SPaolo Bonzini 	if (entry->g) {
493a7f32d87SPaolo Bonzini 		limit = (limit << 12) | 0xFFF;
494a7f32d87SPaolo Bonzini 	}
495a7f32d87SPaolo Bonzini 	return limit;
496a7f32d87SPaolo Bonzini }
497