17d36db35SAvi Kivity #include "libcflat.h" 2e7c37968SGleb Natapov #include "desc.h" 323ba7b39SGleb Natapov #include "processor.h" 47d36db35SAvi Kivity 57d36db35SAvi Kivity typedef struct { 67d36db35SAvi Kivity unsigned short offset0; 77d36db35SAvi Kivity unsigned short selector; 87d36db35SAvi Kivity unsigned short ist : 3; 97d36db35SAvi Kivity unsigned short : 5; 107d36db35SAvi Kivity unsigned short type : 4; 117d36db35SAvi Kivity unsigned short : 1; 127d36db35SAvi Kivity unsigned short dpl : 2; 137d36db35SAvi Kivity unsigned short p : 1; 147d36db35SAvi Kivity unsigned short offset1; 1523ba7b39SGleb Natapov #ifdef __x86_64__ 167d36db35SAvi Kivity unsigned offset2; 177d36db35SAvi Kivity unsigned reserved; 1823ba7b39SGleb Natapov #endif 197d36db35SAvi Kivity } idt_entry_t; 207d36db35SAvi Kivity 21d21b4f12SGleb Natapov typedef struct { 22d21b4f12SGleb Natapov u16 limit_low; 23d21b4f12SGleb Natapov u16 base_low; 24d21b4f12SGleb Natapov u8 base_middle; 25d21b4f12SGleb Natapov u8 access; 26d21b4f12SGleb Natapov u8 granularity; 27d21b4f12SGleb Natapov u8 base_high; 28d21b4f12SGleb Natapov } gdt_entry_t; 29d21b4f12SGleb Natapov 30d21b4f12SGleb Natapov typedef struct { 31d21b4f12SGleb Natapov u16 prev; 32d21b4f12SGleb Natapov u16 res1; 33d21b4f12SGleb Natapov u32 esp0; 34d21b4f12SGleb Natapov u16 ss0; 35d21b4f12SGleb Natapov u16 res2; 36d21b4f12SGleb Natapov u32 esp1; 37d21b4f12SGleb Natapov u16 ss1; 38d21b4f12SGleb Natapov u16 res3; 39d21b4f12SGleb Natapov u32 esp2; 40d21b4f12SGleb Natapov u16 ss2; 41d21b4f12SGleb Natapov u16 res4; 42d21b4f12SGleb Natapov u32 cr3; 43d21b4f12SGleb Natapov u32 eip; 44d21b4f12SGleb Natapov u32 eflags; 45d21b4f12SGleb Natapov u32 eax, ecx, edx, ebx, esp, ebp, esi, edi; 46d21b4f12SGleb Natapov u16 es; 47d21b4f12SGleb Natapov u16 res5; 48d21b4f12SGleb Natapov u16 cs; 49d21b4f12SGleb Natapov u16 res6; 50d21b4f12SGleb Natapov u16 ss; 51d21b4f12SGleb Natapov u16 res7; 52d21b4f12SGleb Natapov u16 ds; 53d21b4f12SGleb Natapov u16 res8; 54d21b4f12SGleb Natapov u16 fs; 55d21b4f12SGleb Natapov u16 res9; 56d21b4f12SGleb Natapov u16 gs; 57d21b4f12SGleb Natapov u16 res10; 58d21b4f12SGleb Natapov u16 ldt; 59d21b4f12SGleb Natapov u16 res11; 60d21b4f12SGleb Natapov u16 t:1; 61d21b4f12SGleb Natapov u16 res12:15; 62d21b4f12SGleb Natapov u16 iomap_base; 63d21b4f12SGleb Natapov } tss32_t; 64d21b4f12SGleb Natapov 657d36db35SAvi Kivity static idt_entry_t idt[256]; 667d36db35SAvi Kivity 6723ba7b39SGleb Natapov void load_lidt(idt_entry_t *idt, int nentries) 687d36db35SAvi Kivity { 6923ba7b39SGleb Natapov struct descriptor_table_ptr dt; 707d36db35SAvi Kivity 717d36db35SAvi Kivity dt.limit = nentries * sizeof(*idt) - 1; 7223ba7b39SGleb Natapov dt.base = (unsigned long)idt; 7323ba7b39SGleb Natapov lidt(&dt); 747d36db35SAvi Kivity asm volatile ("lidt %0" : : "m"(dt)); 757d36db35SAvi Kivity } 767d36db35SAvi Kivity 7723ba7b39SGleb Natapov void set_idt_entry(int vec, void *addr, int dpl) 787d36db35SAvi Kivity { 7923ba7b39SGleb Natapov idt_entry_t *e = &idt[vec]; 807d36db35SAvi Kivity memset(e, 0, sizeof *e); 817d36db35SAvi Kivity e->offset0 = (unsigned long)addr; 827d36db35SAvi Kivity e->selector = read_cs(); 837d36db35SAvi Kivity e->ist = 0; 847d36db35SAvi Kivity e->type = 14; 857d36db35SAvi Kivity e->dpl = dpl; 867d36db35SAvi Kivity e->p = 1; 877d36db35SAvi Kivity e->offset1 = (unsigned long)addr >> 16; 8823ba7b39SGleb Natapov #ifdef __x86_64__ 897d36db35SAvi Kivity e->offset2 = (unsigned long)addr >> 32; 9023ba7b39SGleb Natapov #endif 917d36db35SAvi Kivity } 927d36db35SAvi Kivity 937d36db35SAvi Kivity 947d36db35SAvi Kivity struct ex_record { 957d36db35SAvi Kivity unsigned long rip; 967d36db35SAvi Kivity unsigned long handler; 977d36db35SAvi Kivity }; 987d36db35SAvi Kivity 997d36db35SAvi Kivity extern struct ex_record exception_table_start, exception_table_end; 1007d36db35SAvi Kivity 101*af11bd88SGleb Natapov static void check_exception_table(struct ex_regs *regs) 1027d36db35SAvi Kivity { 1037d36db35SAvi Kivity struct ex_record *ex; 1047d36db35SAvi Kivity unsigned ex_val; 1057d36db35SAvi Kivity 1067d36db35SAvi Kivity ex_val = regs->vector | (regs->error_code << 16); 1077d36db35SAvi Kivity 1087d36db35SAvi Kivity asm("mov %0, %%gs:4" : : "r"(ex_val)); 1097d36db35SAvi Kivity 1107d36db35SAvi Kivity for (ex = &exception_table_start; ex != &exception_table_end; ++ex) { 1117d36db35SAvi Kivity if (ex->rip == regs->rip) { 1127d36db35SAvi Kivity regs->rip = ex->handler; 1137d36db35SAvi Kivity return; 1147d36db35SAvi Kivity } 1157d36db35SAvi Kivity } 116*af11bd88SGleb Natapov printf("unhandled excecption %d\n", regs->vector); 117*af11bd88SGleb Natapov exit(7); 118*af11bd88SGleb Natapov } 119*af11bd88SGleb Natapov 120*af11bd88SGleb Natapov static void (*exception_handlers[32])(struct ex_regs *regs); 121*af11bd88SGleb Natapov 122*af11bd88SGleb Natapov 123*af11bd88SGleb Natapov void handle_exception(u8 v, void (*func)(struct ex_regs *regs)) 124*af11bd88SGleb Natapov { 125*af11bd88SGleb Natapov if (v < 32) 126*af11bd88SGleb Natapov exception_handlers[v] = func; 127*af11bd88SGleb Natapov } 128*af11bd88SGleb Natapov 129*af11bd88SGleb Natapov #ifndef __x86_64__ 130*af11bd88SGleb Natapov __attribute__((regparm(1))) 131*af11bd88SGleb Natapov #endif 132*af11bd88SGleb Natapov void do_handle_exception(struct ex_regs *regs) 133*af11bd88SGleb Natapov { 134*af11bd88SGleb Natapov if (regs->vector < 32 && exception_handlers[regs->vector]) { 135*af11bd88SGleb Natapov exception_handlers[regs->vector](regs); 136*af11bd88SGleb Natapov return; 137*af11bd88SGleb Natapov } 138*af11bd88SGleb Natapov printf("unhandled cpu excecption %d\n", regs->vector); 139*af11bd88SGleb Natapov if (regs->vector == 14) 140*af11bd88SGleb Natapov printf("PF at %p addr %p\n", regs->rip, read_cr2()); 1417d36db35SAvi Kivity exit(7); 1427d36db35SAvi Kivity } 1437d36db35SAvi Kivity 14423ba7b39SGleb Natapov #ifdef __x86_64__ 14523ba7b39SGleb Natapov # define R "r" 14623ba7b39SGleb Natapov # define W "q" 14723ba7b39SGleb Natapov # define S "8" 14823ba7b39SGleb Natapov #else 14923ba7b39SGleb Natapov # define R "e" 15023ba7b39SGleb Natapov # define W "l" 15123ba7b39SGleb Natapov # define S "4" 15223ba7b39SGleb Natapov #endif 15323ba7b39SGleb Natapov 154*af11bd88SGleb Natapov #define EX(NAME, N) extern char NAME##_fault; \ 155*af11bd88SGleb Natapov asm (".pushsection .text \n\t" \ 156*af11bd88SGleb Natapov #NAME"_fault: \n\t" \ 157*af11bd88SGleb Natapov "push"W" $0 \n\t" \ 158*af11bd88SGleb Natapov "push"W" $"#N" \n\t" \ 159*af11bd88SGleb Natapov "jmp __handle_exception \n\t" \ 160*af11bd88SGleb Natapov ".popsection") 161*af11bd88SGleb Natapov 162*af11bd88SGleb Natapov #define EX_E(NAME, N) extern char NAME##_fault; \ 163*af11bd88SGleb Natapov asm (".pushsection .text \n\t" \ 164*af11bd88SGleb Natapov #NAME"_fault: \n\t" \ 165*af11bd88SGleb Natapov "push"W" $"#N" \n\t" \ 166*af11bd88SGleb Natapov "jmp __handle_exception \n\t" \ 167*af11bd88SGleb Natapov ".popsection") 168*af11bd88SGleb Natapov 169*af11bd88SGleb Natapov EX(de, 0); 170*af11bd88SGleb Natapov EX(db, 1); 171*af11bd88SGleb Natapov EX(nmi, 2); 172*af11bd88SGleb Natapov EX(bp, 3); 173*af11bd88SGleb Natapov EX(of, 4); 174*af11bd88SGleb Natapov EX(br, 5); 175*af11bd88SGleb Natapov EX(ud, 6); 176*af11bd88SGleb Natapov EX(nm, 7); 177*af11bd88SGleb Natapov EX_E(df, 8); 178*af11bd88SGleb Natapov EX_E(ts, 10); 179*af11bd88SGleb Natapov EX_E(np, 11); 180*af11bd88SGleb Natapov EX_E(ss, 12); 181*af11bd88SGleb Natapov EX_E(gp, 13); 182*af11bd88SGleb Natapov EX_E(pf, 14); 183*af11bd88SGleb Natapov EX(mf, 16); 184*af11bd88SGleb Natapov EX_E(ac, 17); 185*af11bd88SGleb Natapov EX(mc, 18); 186*af11bd88SGleb Natapov EX(xm, 19); 187*af11bd88SGleb Natapov 1887d36db35SAvi Kivity asm (".pushsection .text \n\t" 189*af11bd88SGleb Natapov "__handle_exception: \n\t" 19023ba7b39SGleb Natapov #ifdef __x86_64__ 1917d36db35SAvi Kivity "push %r15; push %r14; push %r13; push %r12 \n\t" 1927d36db35SAvi Kivity "push %r11; push %r10; push %r9; push %r8 \n\t" 19323ba7b39SGleb Natapov #endif 19423ba7b39SGleb Natapov "push %"R"di; push %"R"si; push %"R"bp; sub $"S", %"R"sp \n\t" 19523ba7b39SGleb Natapov "push %"R"bx; push %"R"dx; push %"R"cx; push %"R"ax \n\t" 196c3b91807SGleb Natapov #ifdef __x86_64__ 19723ba7b39SGleb Natapov "mov %"R"sp, %"R"di \n\t" 198c3b91807SGleb Natapov #else 199c3b91807SGleb Natapov "mov %"R"sp, %"R"ax \n\t" 200c3b91807SGleb Natapov #endif 2017d36db35SAvi Kivity "call do_handle_exception \n\t" 20223ba7b39SGleb Natapov "pop %"R"ax; pop %"R"cx; pop %"R"dx; pop %"R"bx \n\t" 20323ba7b39SGleb Natapov "add $"S", %"R"sp; pop %"R"bp; pop %"R"si; pop %"R"di \n\t" 20423ba7b39SGleb Natapov #ifdef __x86_64__ 2057d36db35SAvi Kivity "pop %r8; pop %r9; pop %r10; pop %r11 \n\t" 2067d36db35SAvi Kivity "pop %r12; pop %r13; pop %r14; pop %r15 \n\t" 20723ba7b39SGleb Natapov #endif 20823ba7b39SGleb Natapov "add $"S", %"R"sp \n\t" 20923ba7b39SGleb Natapov "add $"S", %"R"sp \n\t" 21023ba7b39SGleb Natapov "iret"W" \n\t" 2117d36db35SAvi Kivity ".popsection"); 2127d36db35SAvi Kivity 213*af11bd88SGleb Natapov static void *idt_handlers[32] = { 214*af11bd88SGleb Natapov [0] = &de_fault, 215*af11bd88SGleb Natapov [1] = &db_fault, 216*af11bd88SGleb Natapov [2] = &nmi_fault, 217*af11bd88SGleb Natapov [3] = &bp_fault, 218*af11bd88SGleb Natapov [4] = &of_fault, 219*af11bd88SGleb Natapov [5] = &br_fault, 220*af11bd88SGleb Natapov [6] = &ud_fault, 221*af11bd88SGleb Natapov [7] = &nm_fault, 222*af11bd88SGleb Natapov [8] = &df_fault, 223*af11bd88SGleb Natapov [10] = &ts_fault, 224*af11bd88SGleb Natapov [11] = &np_fault, 225*af11bd88SGleb Natapov [12] = &ss_fault, 226*af11bd88SGleb Natapov [13] = &gp_fault, 227*af11bd88SGleb Natapov [14] = &pf_fault, 228*af11bd88SGleb Natapov [16] = &mf_fault, 229*af11bd88SGleb Natapov [17] = &ac_fault, 230*af11bd88SGleb Natapov [18] = &mc_fault, 231*af11bd88SGleb Natapov [19] = &xm_fault, 232*af11bd88SGleb Natapov }; 2337d36db35SAvi Kivity 2347d36db35SAvi Kivity void setup_idt(void) 2357d36db35SAvi Kivity { 236*af11bd88SGleb Natapov int i; 23723ba7b39SGleb Natapov load_lidt(idt, 256); 238*af11bd88SGleb Natapov for (i = 0; i < 32; i++) 239*af11bd88SGleb Natapov if (idt_handlers[i]) 240*af11bd88SGleb Natapov set_idt_entry(i, idt_handlers[i], 0); 241*af11bd88SGleb Natapov handle_exception(0, check_exception_table); 242*af11bd88SGleb Natapov handle_exception(6, check_exception_table); 243*af11bd88SGleb Natapov handle_exception(13, check_exception_table); 2447d36db35SAvi Kivity } 2457d36db35SAvi Kivity 2467d36db35SAvi Kivity unsigned exception_vector(void) 2477d36db35SAvi Kivity { 2487d36db35SAvi Kivity unsigned short vector; 2497d36db35SAvi Kivity 2507d36db35SAvi Kivity asm("mov %%gs:4, %0" : "=rm"(vector)); 2517d36db35SAvi Kivity return vector; 2527d36db35SAvi Kivity } 2537d36db35SAvi Kivity 2547d36db35SAvi Kivity unsigned exception_error_code(void) 2557d36db35SAvi Kivity { 2567d36db35SAvi Kivity unsigned short error_code; 2577d36db35SAvi Kivity 2587d36db35SAvi Kivity asm("mov %%gs:6, %0" : "=rm"(error_code)); 2597d36db35SAvi Kivity return error_code; 2607d36db35SAvi Kivity } 261d21b4f12SGleb Natapov 262d21b4f12SGleb Natapov #ifndef __x86_64__ 263d21b4f12SGleb Natapov /* 264d21b4f12SGleb Natapov * GDT, with 6 entries: 265d21b4f12SGleb Natapov * 0x00 - NULL descriptor 266d21b4f12SGleb Natapov * 0x08 - Code segment 267d21b4f12SGleb Natapov * 0x10 - Data segment 268d21b4f12SGleb Natapov * 0x18 - Not presend code segment 269d21b4f12SGleb Natapov * 0x20 - Primery task 270d21b4f12SGleb Natapov * 0x28 - Interrupt task 271d21b4f12SGleb Natapov */ 272d21b4f12SGleb Natapov 273d21b4f12SGleb Natapov static gdt_entry_t gdt[6]; 274d21b4f12SGleb Natapov #define TSS_GDT_OFFSET 4 275d21b4f12SGleb Natapov 276d21b4f12SGleb Natapov void set_gdt_entry(int num, u32 base, u32 limit, u8 access, u8 gran) 277d21b4f12SGleb Natapov { 278d21b4f12SGleb Natapov /* Setup the descriptor base address */ 279d21b4f12SGleb Natapov gdt[num].base_low = (base & 0xFFFF); 280d21b4f12SGleb Natapov gdt[num].base_middle = (base >> 16) & 0xFF; 281d21b4f12SGleb Natapov gdt[num].base_high = (base >> 24) & 0xFF; 282d21b4f12SGleb Natapov 283d21b4f12SGleb Natapov /* Setup the descriptor limits */ 284d21b4f12SGleb Natapov gdt[num].limit_low = (limit & 0xFFFF); 285d21b4f12SGleb Natapov gdt[num].granularity = ((limit >> 16) & 0x0F); 286d21b4f12SGleb Natapov 287d21b4f12SGleb Natapov /* Finally, set up the granularity and access flags */ 288d21b4f12SGleb Natapov gdt[num].granularity |= (gran & 0xF0); 289d21b4f12SGleb Natapov gdt[num].access = access; 290d21b4f12SGleb Natapov } 291d21b4f12SGleb Natapov 292d21b4f12SGleb Natapov void setup_gdt(void) 293d21b4f12SGleb Natapov { 294d21b4f12SGleb Natapov struct descriptor_table_ptr gp; 295d21b4f12SGleb Natapov /* Setup the GDT pointer and limit */ 296d21b4f12SGleb Natapov gp.limit = sizeof(gdt) - 1; 297d21b4f12SGleb Natapov gp.base = (ulong)&gdt; 298d21b4f12SGleb Natapov 299d21b4f12SGleb Natapov memset(gdt, 0, sizeof(gdt)); 300d21b4f12SGleb Natapov 301d21b4f12SGleb Natapov /* Our NULL descriptor */ 302d21b4f12SGleb Natapov set_gdt_entry(0, 0, 0, 0, 0); 303d21b4f12SGleb Natapov 304d21b4f12SGleb Natapov /* The second entry is our Code Segment. The base address 305d21b4f12SGleb Natapov * is 0, the limit is 4GBytes, it uses 4KByte granularity, 306d21b4f12SGleb Natapov * uses 32-bit opcodes, and is a Code Segment descriptor. */ 307d21b4f12SGleb Natapov set_gdt_entry(1, 0, 0xFFFFFFFF, 0x9A, 0xcf); 308d21b4f12SGleb Natapov 309d21b4f12SGleb Natapov /* The third entry is our Data Segment. It's EXACTLY the 310d21b4f12SGleb Natapov * same as our code segment, but the descriptor type in 311d21b4f12SGleb Natapov * this entry's access byte says it's a Data Segment */ 312d21b4f12SGleb Natapov set_gdt_entry(2, 0, 0xFFFFFFFF, 0x92, 0xcf); 313d21b4f12SGleb Natapov 314d21b4f12SGleb Natapov /* Same as code register above but not present */ 315d21b4f12SGleb Natapov set_gdt_entry(3, 0, 0xFFFFFFFF, 0x1A, 0xcf); 316d21b4f12SGleb Natapov 317d21b4f12SGleb Natapov 318d21b4f12SGleb Natapov /* Flush out the old GDT and install the new changes! */ 319d21b4f12SGleb Natapov lgdt(&gp); 320d21b4f12SGleb Natapov 321d21b4f12SGleb Natapov asm volatile ("mov %0, %%ds\n\t" 322d21b4f12SGleb Natapov "mov %0, %%es\n\t" 323d21b4f12SGleb Natapov "mov %0, %%fs\n\t" 324d21b4f12SGleb Natapov "mov %0, %%gs\n\t" 325d21b4f12SGleb Natapov "mov %0, %%ss\n\t" 326d21b4f12SGleb Natapov "jmp $0x08, $.Lflush2\n\t" 327d21b4f12SGleb Natapov ".Lflush2: "::"r"(0x10)); 328d21b4f12SGleb Natapov } 329d21b4f12SGleb Natapov 330d21b4f12SGleb Natapov static void set_idt_task_gate(int vec, u16 sel) 331d21b4f12SGleb Natapov { 332d21b4f12SGleb Natapov idt_entry_t *e = &idt[vec]; 333d21b4f12SGleb Natapov 334d21b4f12SGleb Natapov memset(e, 0, sizeof *e); 335d21b4f12SGleb Natapov 336d21b4f12SGleb Natapov e->selector = sel; 337d21b4f12SGleb Natapov e->ist = 0; 338d21b4f12SGleb Natapov e->type = 5; 339d21b4f12SGleb Natapov e->dpl = 0; 340d21b4f12SGleb Natapov e->p = 1; 341d21b4f12SGleb Natapov } 342d21b4f12SGleb Natapov 343d21b4f12SGleb Natapov /* 344d21b4f12SGleb Natapov * 0 - main task 345d21b4f12SGleb Natapov * 1 - interrupt task 346d21b4f12SGleb Natapov */ 347d21b4f12SGleb Natapov 348d21b4f12SGleb Natapov static tss32_t tss[2]; 349d21b4f12SGleb Natapov static char tss_stack[2][4096]; 350d21b4f12SGleb Natapov 351d21b4f12SGleb Natapov void setup_tss32(void) 352d21b4f12SGleb Natapov { 353d21b4f12SGleb Natapov u16 desc_size = sizeof(tss32_t); 354d21b4f12SGleb Natapov int i; 355d21b4f12SGleb Natapov 356d21b4f12SGleb Natapov for (i = 0; i < 2; i++) { 357d21b4f12SGleb Natapov tss[i].cr3 = read_cr3(); 358d21b4f12SGleb Natapov tss[i].ss0 = tss[i].ss1 = tss[i].ss2 = 0x10; 359d21b4f12SGleb Natapov tss[i].esp = tss[i].esp0 = tss[i].esp1 = tss[i].esp2 = 360d21b4f12SGleb Natapov (u32)tss_stack[i]; 361d21b4f12SGleb Natapov tss[i].cs = 0x08; 362d21b4f12SGleb Natapov tss[i].ds = tss[i].es = tss[i].fs = tss[i].gs = tss[i].ss = 0x10; 363d21b4f12SGleb Natapov tss[i].iomap_base = (u16)desc_size; 364d21b4f12SGleb Natapov set_gdt_entry(TSS_GDT_OFFSET + i, (u32)&tss[i], 365d21b4f12SGleb Natapov desc_size - 1, 0x89, 0x0f); 366d21b4f12SGleb Natapov } 367d21b4f12SGleb Natapov 368d21b4f12SGleb Natapov ltr(TSS_MAIN); 369d21b4f12SGleb Natapov } 370d21b4f12SGleb Natapov 371d21b4f12SGleb Natapov void set_intr_task_gate(int e, void *fn) 372d21b4f12SGleb Natapov { 373d21b4f12SGleb Natapov tss[1].eip = (u32)fn; 374d21b4f12SGleb Natapov set_idt_task_gate(e, TSS_INTR); 375d21b4f12SGleb Natapov } 376d21b4f12SGleb Natapov 377d21b4f12SGleb Natapov void print_current_tss_info(void) 378d21b4f12SGleb Natapov { 379d21b4f12SGleb Natapov u16 tr = str(); 380d21b4f12SGleb Natapov int i = (tr == TSS_MAIN) ? 0 : 1; 381d21b4f12SGleb Natapov 382d21b4f12SGleb Natapov if (tr != TSS_MAIN && tr != TSS_INTR) 383d21b4f12SGleb Natapov printf("Unknown TSS %x\n", tr); 384d21b4f12SGleb Natapov else 385d21b4f12SGleb Natapov printf("TR=%x Main TSS back link %x. Current TSS back link %x\n", 386d21b4f12SGleb Natapov tr, tss[0].prev, tss[i].prev); 387d21b4f12SGleb Natapov } 388d21b4f12SGleb Natapov #endif 389