xref: /kvm-unit-tests/lib/x86/desc.c (revision 06d1898a506395f86393dbe712d4bd5993b26840)
17d36db35SAvi Kivity #include "libcflat.h"
2e7c37968SGleb Natapov #include "desc.h"
323ba7b39SGleb Natapov #include "processor.h"
403f37ef2SPaolo Bonzini #include <setjmp.h>
57d36db35SAvi Kivity 
623ba7b39SGleb Natapov void set_idt_entry(int vec, void *addr, int dpl)
77d36db35SAvi Kivity {
81d946e07SAvi Kivity     idt_entry_t *e = &boot_idt[vec];
97d36db35SAvi Kivity     memset(e, 0, sizeof *e);
107d36db35SAvi Kivity     e->offset0 = (unsigned long)addr;
117d36db35SAvi Kivity     e->selector = read_cs();
127d36db35SAvi Kivity     e->ist = 0;
137d36db35SAvi Kivity     e->type = 14;
147d36db35SAvi Kivity     e->dpl = dpl;
157d36db35SAvi Kivity     e->p = 1;
167d36db35SAvi Kivity     e->offset1 = (unsigned long)addr >> 16;
1723ba7b39SGleb Natapov #ifdef __x86_64__
187d36db35SAvi Kivity     e->offset2 = (unsigned long)addr >> 32;
1923ba7b39SGleb Natapov #endif
207d36db35SAvi Kivity }
217d36db35SAvi Kivity 
227488d290SPaolo Bonzini void set_idt_dpl(int vec, u16 dpl)
237488d290SPaolo Bonzini {
247488d290SPaolo Bonzini     idt_entry_t *e = &boot_idt[vec];
257488d290SPaolo Bonzini     e->dpl = dpl;
267488d290SPaolo Bonzini }
277488d290SPaolo Bonzini 
28a4b87a16SGleb Natapov void set_idt_sel(int vec, u16 sel)
29a4b87a16SGleb Natapov {
301d946e07SAvi Kivity     idt_entry_t *e = &boot_idt[vec];
31a4b87a16SGleb Natapov     e->selector = sel;
32a4b87a16SGleb Natapov }
337d36db35SAvi Kivity 
347d36db35SAvi Kivity struct ex_record {
357d36db35SAvi Kivity     unsigned long rip;
367d36db35SAvi Kivity     unsigned long handler;
377d36db35SAvi Kivity };
387d36db35SAvi Kivity 
397d36db35SAvi Kivity extern struct ex_record exception_table_start, exception_table_end;
407d36db35SAvi Kivity 
41ed0a50e5SPeter Feiner static const char* exception_mnemonic(int vector)
42ed0a50e5SPeter Feiner {
43ed0a50e5SPeter Feiner 	switch(vector) {
44ed0a50e5SPeter Feiner 	case 0: return "#DE";
45ed0a50e5SPeter Feiner 	case 1: return "#DB";
46ed0a50e5SPeter Feiner 	case 2: return "#NMI";
47ed0a50e5SPeter Feiner 	case 3: return "#BP";
48ed0a50e5SPeter Feiner 	case 4: return "#OF";
49ed0a50e5SPeter Feiner 	case 5: return "#BR";
50ed0a50e5SPeter Feiner 	case 6: return "#UD";
51ed0a50e5SPeter Feiner 	case 7: return "#NM";
52ed0a50e5SPeter Feiner 	case 8: return "#DF";
53ed0a50e5SPeter Feiner 	case 10: return "#TS";
54ed0a50e5SPeter Feiner 	case 11: return "#NP";
55ed0a50e5SPeter Feiner 	case 12: return "#SS";
56ed0a50e5SPeter Feiner 	case 13: return "#GP";
57ed0a50e5SPeter Feiner 	case 14: return "#PF";
58ed0a50e5SPeter Feiner 	case 16: return "#MF";
59ed0a50e5SPeter Feiner 	case 17: return "#AC";
60ed0a50e5SPeter Feiner 	case 18: return "#MC";
61ed0a50e5SPeter Feiner 	case 19: return "#XM";
62ed0a50e5SPeter Feiner 	default: return "#??";
63ed0a50e5SPeter Feiner 	}
64ed0a50e5SPeter Feiner }
65ed0a50e5SPeter Feiner 
66ed0a50e5SPeter Feiner static void unhandled_exception(struct ex_regs *regs, bool cpu)
67ed0a50e5SPeter Feiner {
68ed0a50e5SPeter Feiner 	printf("Unhandled %sexception %ld %s at ip %016lx\n",
69ed0a50e5SPeter Feiner 	       cpu ? "cpu " : "", regs->vector,
70ed0a50e5SPeter Feiner 	       exception_mnemonic(regs->vector), regs->rip);
71ed0a50e5SPeter Feiner 	if (regs->vector == 14)
72fd6aada0SRadim Krčmář 		printf("PF at %#lx addr %#lx\n", regs->rip, read_cr2());
73ed0a50e5SPeter Feiner 
74ed0a50e5SPeter Feiner 	printf("error_code=%04lx      rflags=%08lx      cs=%08lx\n"
75ed0a50e5SPeter Feiner 	       "rax=%016lx rcx=%016lx rdx=%016lx rbx=%016lx\n"
76ed0a50e5SPeter Feiner 	       "rbp=%016lx rsi=%016lx rdi=%016lx\n"
77ed0a50e5SPeter Feiner #ifdef __x86_64__
78ed0a50e5SPeter Feiner 	       " r8=%016lx  r9=%016lx r10=%016lx r11=%016lx\n"
79ed0a50e5SPeter Feiner 	       "r12=%016lx r13=%016lx r14=%016lx r15=%016lx\n"
80ed0a50e5SPeter Feiner #endif
81ed0a50e5SPeter Feiner 	       "cr0=%016lx cr2=%016lx cr3=%016lx cr4=%016lx\n"
82ed0a50e5SPeter Feiner #ifdef __x86_64__
83ed0a50e5SPeter Feiner 	       "cr8=%016lx\n"
84ed0a50e5SPeter Feiner #endif
85ed0a50e5SPeter Feiner 	       ,
86ed0a50e5SPeter Feiner 	       regs->error_code, regs->rflags, regs->cs,
87ed0a50e5SPeter Feiner 	       regs->rax, regs->rcx, regs->rdx, regs->rbx,
88ed0a50e5SPeter Feiner 	       regs->rbp, regs->rsi, regs->rdi,
89ed0a50e5SPeter Feiner #ifdef __x86_64__
90ed0a50e5SPeter Feiner 	       regs->r8, regs->r9, regs->r10, regs->r11,
91ed0a50e5SPeter Feiner 	       regs->r12, regs->r13, regs->r14, regs->r15,
92ed0a50e5SPeter Feiner #endif
93ed0a50e5SPeter Feiner 	       read_cr0(), read_cr2(), read_cr3(), read_cr4()
94ed0a50e5SPeter Feiner #ifdef __x86_64__
95ed0a50e5SPeter Feiner 	       , read_cr8()
96ed0a50e5SPeter Feiner #endif
97ed0a50e5SPeter Feiner 	);
98ed0a50e5SPeter Feiner 	dump_frame_stack((void*) regs->rip, (void*) regs->rbp);
99bd7ec418SAndrew Jones 	abort();
100ed0a50e5SPeter Feiner }
101ed0a50e5SPeter Feiner 
102af11bd88SGleb Natapov static void check_exception_table(struct ex_regs *regs)
1037d36db35SAvi Kivity {
1047d36db35SAvi Kivity     struct ex_record *ex;
1057d36db35SAvi Kivity     unsigned ex_val;
1067d36db35SAvi Kivity 
10773f9822eSNadav Amit     ex_val = regs->vector | (regs->error_code << 16) |
10873f9822eSNadav Amit 		(((regs->rflags >> 16) & 1) << 8);
1097d36db35SAvi Kivity     asm("mov %0, %%gs:4" : : "r"(ex_val));
1107d36db35SAvi Kivity 
1117d36db35SAvi Kivity     for (ex = &exception_table_start; ex != &exception_table_end; ++ex) {
1127d36db35SAvi Kivity         if (ex->rip == regs->rip) {
1137d36db35SAvi Kivity             regs->rip = ex->handler;
1147d36db35SAvi Kivity             return;
1157d36db35SAvi Kivity         }
1167d36db35SAvi Kivity     }
117ed0a50e5SPeter Feiner     unhandled_exception(regs, false);
118af11bd88SGleb Natapov }
119af11bd88SGleb Natapov 
120*06d1898aSJim Mattson static handler exception_handlers[32];
121af11bd88SGleb Natapov 
122*06d1898aSJim Mattson handler handle_exception(u8 v, handler fn)
123af11bd88SGleb Natapov {
124*06d1898aSJim Mattson 	handler old;
125*06d1898aSJim Mattson 
126*06d1898aSJim Mattson 	old = exception_handlers[v];
127af11bd88SGleb Natapov 	if (v < 32)
128*06d1898aSJim Mattson 		exception_handlers[v] = fn;
129*06d1898aSJim Mattson 	return old;
130af11bd88SGleb Natapov }
131af11bd88SGleb Natapov 
132af11bd88SGleb Natapov #ifndef __x86_64__
133af11bd88SGleb Natapov __attribute__((regparm(1)))
134af11bd88SGleb Natapov #endif
135af11bd88SGleb Natapov void do_handle_exception(struct ex_regs *regs)
136af11bd88SGleb Natapov {
137af11bd88SGleb Natapov 	if (regs->vector < 32 && exception_handlers[regs->vector]) {
138af11bd88SGleb Natapov 		exception_handlers[regs->vector](regs);
139af11bd88SGleb Natapov 		return;
140af11bd88SGleb Natapov 	}
141ed0a50e5SPeter Feiner 	unhandled_exception(regs, true);
1427d36db35SAvi Kivity }
1437d36db35SAvi Kivity 
144af11bd88SGleb Natapov #define EX(NAME, N) extern char NAME##_fault;	\
145af11bd88SGleb Natapov 	asm (".pushsection .text \n\t"		\
146af11bd88SGleb Natapov 	     #NAME"_fault: \n\t"		\
147af11bd88SGleb Natapov 	     "push"W" $0 \n\t"			\
148af11bd88SGleb Natapov 	     "push"W" $"#N" \n\t"		\
149af11bd88SGleb Natapov 	     "jmp __handle_exception \n\t"	\
150af11bd88SGleb Natapov 	     ".popsection")
151af11bd88SGleb Natapov 
152af11bd88SGleb Natapov #define EX_E(NAME, N) extern char NAME##_fault;	\
153af11bd88SGleb Natapov 	asm (".pushsection .text \n\t"		\
154af11bd88SGleb Natapov 	     #NAME"_fault: \n\t"		\
155af11bd88SGleb Natapov 	     "push"W" $"#N" \n\t"		\
156af11bd88SGleb Natapov 	     "jmp __handle_exception \n\t"	\
157af11bd88SGleb Natapov 	     ".popsection")
158af11bd88SGleb Natapov 
159af11bd88SGleb Natapov EX(de, 0);
160af11bd88SGleb Natapov EX(db, 1);
161af11bd88SGleb Natapov EX(nmi, 2);
162af11bd88SGleb Natapov EX(bp, 3);
163af11bd88SGleb Natapov EX(of, 4);
164af11bd88SGleb Natapov EX(br, 5);
165af11bd88SGleb Natapov EX(ud, 6);
166af11bd88SGleb Natapov EX(nm, 7);
167af11bd88SGleb Natapov EX_E(df, 8);
168af11bd88SGleb Natapov EX_E(ts, 10);
169af11bd88SGleb Natapov EX_E(np, 11);
170af11bd88SGleb Natapov EX_E(ss, 12);
171af11bd88SGleb Natapov EX_E(gp, 13);
172af11bd88SGleb Natapov EX_E(pf, 14);
173af11bd88SGleb Natapov EX(mf, 16);
174af11bd88SGleb Natapov EX_E(ac, 17);
175af11bd88SGleb Natapov EX(mc, 18);
176af11bd88SGleb Natapov EX(xm, 19);
177af11bd88SGleb Natapov 
1787d36db35SAvi Kivity asm (".pushsection .text \n\t"
179af11bd88SGleb Natapov      "__handle_exception: \n\t"
18023ba7b39SGleb Natapov #ifdef __x86_64__
1817d36db35SAvi Kivity      "push %r15; push %r14; push %r13; push %r12 \n\t"
1827d36db35SAvi Kivity      "push %r11; push %r10; push %r9; push %r8 \n\t"
18323ba7b39SGleb Natapov #endif
18423ba7b39SGleb Natapov      "push %"R "di; push %"R "si; push %"R "bp; sub $"S", %"R "sp \n\t"
18523ba7b39SGleb Natapov      "push %"R "bx; push %"R "dx; push %"R "cx; push %"R "ax \n\t"
186c3b91807SGleb Natapov #ifdef __x86_64__
18723ba7b39SGleb Natapov      "mov %"R "sp, %"R "di \n\t"
188c3b91807SGleb Natapov #else
189c3b91807SGleb Natapov      "mov %"R "sp, %"R "ax \n\t"
190c3b91807SGleb Natapov #endif
1917d36db35SAvi Kivity      "call do_handle_exception \n\t"
19223ba7b39SGleb Natapov      "pop %"R "ax; pop %"R "cx; pop %"R "dx; pop %"R "bx \n\t"
19323ba7b39SGleb Natapov      "add $"S", %"R "sp; pop %"R "bp; pop %"R "si; pop %"R "di \n\t"
19423ba7b39SGleb Natapov #ifdef __x86_64__
1957d36db35SAvi Kivity      "pop %r8; pop %r9; pop %r10; pop %r11 \n\t"
1967d36db35SAvi Kivity      "pop %r12; pop %r13; pop %r14; pop %r15 \n\t"
19723ba7b39SGleb Natapov #endif
19823ba7b39SGleb Natapov      "add $"S", %"R "sp \n\t"
19923ba7b39SGleb Natapov      "add $"S", %"R "sp \n\t"
20023ba7b39SGleb Natapov      "iret"W" \n\t"
2017d36db35SAvi Kivity      ".popsection");
2027d36db35SAvi Kivity 
203af11bd88SGleb Natapov static void *idt_handlers[32] = {
204af11bd88SGleb Natapov 	[0] = &de_fault,
205af11bd88SGleb Natapov 	[1] = &db_fault,
206af11bd88SGleb Natapov 	[2] = &nmi_fault,
207af11bd88SGleb Natapov 	[3] = &bp_fault,
208af11bd88SGleb Natapov 	[4] = &of_fault,
209af11bd88SGleb Natapov 	[5] = &br_fault,
210af11bd88SGleb Natapov 	[6] = &ud_fault,
211af11bd88SGleb Natapov 	[7] = &nm_fault,
212af11bd88SGleb Natapov 	[8] = &df_fault,
213af11bd88SGleb Natapov 	[10] = &ts_fault,
214af11bd88SGleb Natapov 	[11] = &np_fault,
215af11bd88SGleb Natapov 	[12] = &ss_fault,
216af11bd88SGleb Natapov 	[13] = &gp_fault,
217af11bd88SGleb Natapov 	[14] = &pf_fault,
218af11bd88SGleb Natapov 	[16] = &mf_fault,
219af11bd88SGleb Natapov 	[17] = &ac_fault,
220af11bd88SGleb Natapov 	[18] = &mc_fault,
221af11bd88SGleb Natapov 	[19] = &xm_fault,
222af11bd88SGleb Natapov };
2237d36db35SAvi Kivity 
2247d36db35SAvi Kivity void setup_idt(void)
2257d36db35SAvi Kivity {
226af11bd88SGleb Natapov     int i;
2274751cffbSAvi Kivity     static bool idt_initialized = false;
2284751cffbSAvi Kivity 
2294751cffbSAvi Kivity     if (idt_initialized) {
2304751cffbSAvi Kivity         return;
2314751cffbSAvi Kivity     }
2324751cffbSAvi Kivity     idt_initialized = true;
233af11bd88SGleb Natapov     for (i = 0; i < 32; i++)
234af11bd88SGleb Natapov 	    if (idt_handlers[i])
235af11bd88SGleb Natapov 		    set_idt_entry(i, idt_handlers[i], 0);
236af11bd88SGleb Natapov     handle_exception(0, check_exception_table);
237af11bd88SGleb Natapov     handle_exception(6, check_exception_table);
238af11bd88SGleb Natapov     handle_exception(13, check_exception_table);
2397d36db35SAvi Kivity }
2407d36db35SAvi Kivity 
2417d36db35SAvi Kivity unsigned exception_vector(void)
2427d36db35SAvi Kivity {
24373f9822eSNadav Amit     unsigned char vector;
2447d36db35SAvi Kivity 
24573f9822eSNadav Amit     asm("movb %%gs:4, %0" : "=q"(vector));
2467d36db35SAvi Kivity     return vector;
2477d36db35SAvi Kivity }
2487d36db35SAvi Kivity 
2497d36db35SAvi Kivity unsigned exception_error_code(void)
2507d36db35SAvi Kivity {
2517d36db35SAvi Kivity     unsigned short error_code;
2527d36db35SAvi Kivity 
2537d36db35SAvi Kivity     asm("mov %%gs:6, %0" : "=rm"(error_code));
2547d36db35SAvi Kivity     return error_code;
2557d36db35SAvi Kivity }
256d21b4f12SGleb Natapov 
25773f9822eSNadav Amit bool exception_rflags_rf(void)
25873f9822eSNadav Amit {
25973f9822eSNadav Amit     unsigned char rf_flag;
26073f9822eSNadav Amit 
26173f9822eSNadav Amit     asm("movb %%gs:5, %b0" : "=q"(rf_flag));
26273f9822eSNadav Amit     return rf_flag & 1;
26373f9822eSNadav Amit }
26473f9822eSNadav Amit 
265309ca07bSPaolo Bonzini static char intr_alt_stack[4096];
266309ca07bSPaolo Bonzini 
267d21b4f12SGleb Natapov #ifndef __x86_64__
26867961d18SPaolo Bonzini void set_gdt_entry(int sel, u32 base,  u32 limit, u8 access, u8 gran)
269d21b4f12SGleb Natapov {
27067961d18SPaolo Bonzini 	int num = sel >> 3;
27167961d18SPaolo Bonzini 
272d21b4f12SGleb Natapov 	/* Setup the descriptor base address */
2738f4755faSPaolo Bonzini 	gdt32[num].base_low = (base & 0xFFFF);
2748f4755faSPaolo Bonzini 	gdt32[num].base_middle = (base >> 16) & 0xFF;
2758f4755faSPaolo Bonzini 	gdt32[num].base_high = (base >> 24) & 0xFF;
276d21b4f12SGleb Natapov 
277d21b4f12SGleb Natapov 	/* Setup the descriptor limits */
2788f4755faSPaolo Bonzini 	gdt32[num].limit_low = (limit & 0xFFFF);
2798f4755faSPaolo Bonzini 	gdt32[num].granularity = ((limit >> 16) & 0x0F);
280d21b4f12SGleb Natapov 
281d21b4f12SGleb Natapov 	/* Finally, set up the granularity and access flags */
2828f4755faSPaolo Bonzini 	gdt32[num].granularity |= (gran & 0xF0);
2838f4755faSPaolo Bonzini 	gdt32[num].access = access;
284d21b4f12SGleb Natapov }
285d21b4f12SGleb Natapov 
2865b0bf08bSPaolo Bonzini void set_gdt_task_gate(u16 sel, u16 tss_sel)
2875b0bf08bSPaolo Bonzini {
2885b0bf08bSPaolo Bonzini     set_gdt_entry(sel, tss_sel, 0, 0x85, 0); // task, present
2895b0bf08bSPaolo Bonzini }
2905b0bf08bSPaolo Bonzini 
291b01c8823SKevin Wolf void set_idt_task_gate(int vec, u16 sel)
292d21b4f12SGleb Natapov {
293b319491dSAvi Kivity     idt_entry_t *e = &boot_idt[vec];
294d21b4f12SGleb Natapov 
295d21b4f12SGleb Natapov     memset(e, 0, sizeof *e);
296d21b4f12SGleb Natapov 
297d21b4f12SGleb Natapov     e->selector = sel;
298d21b4f12SGleb Natapov     e->ist = 0;
299d21b4f12SGleb Natapov     e->type = 5;
300d21b4f12SGleb Natapov     e->dpl = 0;
301d21b4f12SGleb Natapov     e->p = 1;
302d21b4f12SGleb Natapov }
303d21b4f12SGleb Natapov 
304d21b4f12SGleb Natapov /*
305d21b4f12SGleb Natapov  * 0 - main task
306d21b4f12SGleb Natapov  * 1 - interrupt task
307d21b4f12SGleb Natapov  */
308d21b4f12SGleb Natapov 
3095b0bf08bSPaolo Bonzini tss32_t tss_intr;
310d21b4f12SGleb Natapov 
311d21b4f12SGleb Natapov void setup_tss32(void)
312d21b4f12SGleb Natapov {
313d21b4f12SGleb Natapov 	u16 desc_size = sizeof(tss32_t);
314d21b4f12SGleb Natapov 
3158f4755faSPaolo Bonzini 	tss.cr3 = read_cr3();
3168f4755faSPaolo Bonzini 	tss_intr.cr3 = read_cr3();
3178f4755faSPaolo Bonzini 	tss_intr.ss0 = tss_intr.ss1 = tss_intr.ss2 = 0x10;
3188f4755faSPaolo Bonzini 	tss_intr.esp = tss_intr.esp0 = tss_intr.esp1 = tss_intr.esp2 =
319309ca07bSPaolo Bonzini 		(u32)intr_alt_stack + 4096;
3208f4755faSPaolo Bonzini 	tss_intr.cs = 0x08;
3218f4755faSPaolo Bonzini 	tss_intr.ds = tss_intr.es = tss_intr.fs = tss_intr.gs = tss_intr.ss = 0x10;
3228f4755faSPaolo Bonzini 	tss_intr.iomap_base = (u16)desc_size;
3238f4755faSPaolo Bonzini 	set_gdt_entry(TSS_INTR, (u32)&tss_intr, desc_size - 1, 0x89, 0x0f);
324d21b4f12SGleb Natapov }
325d21b4f12SGleb Natapov 
326d21b4f12SGleb Natapov void set_intr_task_gate(int e, void *fn)
327d21b4f12SGleb Natapov {
3288f4755faSPaolo Bonzini 	tss_intr.eip = (u32)fn;
329d21b4f12SGleb Natapov 	set_idt_task_gate(e, TSS_INTR);
330d21b4f12SGleb Natapov }
331d21b4f12SGleb Natapov 
332309ca07bSPaolo Bonzini void setup_alt_stack(void)
333309ca07bSPaolo Bonzini {
334309ca07bSPaolo Bonzini 	setup_tss32();
335309ca07bSPaolo Bonzini }
336309ca07bSPaolo Bonzini 
337309ca07bSPaolo Bonzini void set_intr_alt_stack(int e, void *fn)
338309ca07bSPaolo Bonzini {
339309ca07bSPaolo Bonzini 	set_intr_task_gate(e, fn);
340309ca07bSPaolo Bonzini }
341309ca07bSPaolo Bonzini 
342d21b4f12SGleb Natapov void print_current_tss_info(void)
343d21b4f12SGleb Natapov {
344d21b4f12SGleb Natapov 	u16 tr = str();
345d21b4f12SGleb Natapov 
346d21b4f12SGleb Natapov 	if (tr != TSS_MAIN && tr != TSS_INTR)
347d21b4f12SGleb Natapov 		printf("Unknown TSS %x\n", tr);
348d21b4f12SGleb Natapov 	else
3498f4755faSPaolo Bonzini 		printf("TR=%x (%s) Main TSS back link %x. Intr TSS back link %x\n",
3508f4755faSPaolo Bonzini 		       tr, tr ? "interrupt" : "main", tss.prev, tss_intr.prev);
351d21b4f12SGleb Natapov }
352309ca07bSPaolo Bonzini #else
353309ca07bSPaolo Bonzini void set_intr_alt_stack(int e, void *addr)
354309ca07bSPaolo Bonzini {
355309ca07bSPaolo Bonzini 	set_idt_entry(e, addr, 0);
356309ca07bSPaolo Bonzini 	boot_idt[e].ist = 1;
357309ca07bSPaolo Bonzini }
358309ca07bSPaolo Bonzini 
359309ca07bSPaolo Bonzini void setup_alt_stack(void)
360309ca07bSPaolo Bonzini {
361309ca07bSPaolo Bonzini 	tss.ist1 = (u64)intr_alt_stack + 4096;
362309ca07bSPaolo Bonzini }
363d21b4f12SGleb Natapov #endif
364e3f363c4SJan Kiszka 
365e3f363c4SJan Kiszka static bool exception;
36603f37ef2SPaolo Bonzini static jmp_buf *exception_jmpbuf;
36703f37ef2SPaolo Bonzini 
36803f37ef2SPaolo Bonzini static void exception_handler_longjmp(void)
36903f37ef2SPaolo Bonzini {
37003f37ef2SPaolo Bonzini 	longjmp(*exception_jmpbuf, 1);
37103f37ef2SPaolo Bonzini }
372e3f363c4SJan Kiszka 
373e3f363c4SJan Kiszka static void exception_handler(struct ex_regs *regs)
374e3f363c4SJan Kiszka {
37503f37ef2SPaolo Bonzini 	/* longjmp must happen after iret, so do not do it now.  */
376e3f363c4SJan Kiszka 	exception = true;
37703f37ef2SPaolo Bonzini 	regs->rip = (unsigned long)&exception_handler_longjmp;
378e3f363c4SJan Kiszka }
379e3f363c4SJan Kiszka 
380e3f363c4SJan Kiszka bool test_for_exception(unsigned int ex, void (*trigger_func)(void *data),
381e3f363c4SJan Kiszka 			void *data)
382e3f363c4SJan Kiszka {
383*06d1898aSJim Mattson 	handler old;
384932ba2d2SPaolo Bonzini 	jmp_buf jmpbuf;
385932ba2d2SPaolo Bonzini 	int ret;
386932ba2d2SPaolo Bonzini 
387*06d1898aSJim Mattson 	old = handle_exception(ex, exception_handler);
388932ba2d2SPaolo Bonzini 	ret = set_exception_jmpbuf(jmpbuf);
389932ba2d2SPaolo Bonzini 	if (ret == 0)
390e3f363c4SJan Kiszka 		trigger_func(data);
391*06d1898aSJim Mattson 	handle_exception(ex, old);
392932ba2d2SPaolo Bonzini 	return ret;
393e3f363c4SJan Kiszka }
394e3f363c4SJan Kiszka 
39503f37ef2SPaolo Bonzini void __set_exception_jmpbuf(jmp_buf *addr)
396e3f363c4SJan Kiszka {
39703f37ef2SPaolo Bonzini 	exception_jmpbuf = addr;
398e3f363c4SJan Kiszka }
399