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 65*a4b87a16SGleb Natapov static idt_entry_t idt[256] __attribute__((aligned(4096))); 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 93*a4b87a16SGleb Natapov void set_idt_sel(int vec, u16 sel) 94*a4b87a16SGleb Natapov { 95*a4b87a16SGleb Natapov idt_entry_t *e = &idt[vec]; 96*a4b87a16SGleb Natapov e->selector = sel; 97*a4b87a16SGleb Natapov } 987d36db35SAvi Kivity 997d36db35SAvi Kivity struct ex_record { 1007d36db35SAvi Kivity unsigned long rip; 1017d36db35SAvi Kivity unsigned long handler; 1027d36db35SAvi Kivity }; 1037d36db35SAvi Kivity 1047d36db35SAvi Kivity extern struct ex_record exception_table_start, exception_table_end; 1057d36db35SAvi Kivity 106af11bd88SGleb Natapov static void check_exception_table(struct ex_regs *regs) 1077d36db35SAvi Kivity { 1087d36db35SAvi Kivity struct ex_record *ex; 1097d36db35SAvi Kivity unsigned ex_val; 1107d36db35SAvi Kivity 1117d36db35SAvi Kivity ex_val = regs->vector | (regs->error_code << 16); 1127d36db35SAvi Kivity 1137d36db35SAvi Kivity asm("mov %0, %%gs:4" : : "r"(ex_val)); 1147d36db35SAvi Kivity 1157d36db35SAvi Kivity for (ex = &exception_table_start; ex != &exception_table_end; ++ex) { 1167d36db35SAvi Kivity if (ex->rip == regs->rip) { 1177d36db35SAvi Kivity regs->rip = ex->handler; 1187d36db35SAvi Kivity return; 1197d36db35SAvi Kivity } 1207d36db35SAvi Kivity } 121af11bd88SGleb Natapov printf("unhandled excecption %d\n", regs->vector); 122af11bd88SGleb Natapov exit(7); 123af11bd88SGleb Natapov } 124af11bd88SGleb Natapov 125af11bd88SGleb Natapov static void (*exception_handlers[32])(struct ex_regs *regs); 126af11bd88SGleb Natapov 127af11bd88SGleb Natapov 128af11bd88SGleb Natapov void handle_exception(u8 v, void (*func)(struct ex_regs *regs)) 129af11bd88SGleb Natapov { 130af11bd88SGleb Natapov if (v < 32) 131af11bd88SGleb Natapov exception_handlers[v] = func; 132af11bd88SGleb Natapov } 133af11bd88SGleb Natapov 134af11bd88SGleb Natapov #ifndef __x86_64__ 135af11bd88SGleb Natapov __attribute__((regparm(1))) 136af11bd88SGleb Natapov #endif 137af11bd88SGleb Natapov void do_handle_exception(struct ex_regs *regs) 138af11bd88SGleb Natapov { 139af11bd88SGleb Natapov if (regs->vector < 32 && exception_handlers[regs->vector]) { 140af11bd88SGleb Natapov exception_handlers[regs->vector](regs); 141af11bd88SGleb Natapov return; 142af11bd88SGleb Natapov } 143af11bd88SGleb Natapov printf("unhandled cpu excecption %d\n", regs->vector); 144af11bd88SGleb Natapov if (regs->vector == 14) 145af11bd88SGleb Natapov printf("PF at %p addr %p\n", regs->rip, read_cr2()); 1467d36db35SAvi Kivity exit(7); 1477d36db35SAvi Kivity } 1487d36db35SAvi Kivity 14923ba7b39SGleb Natapov #ifdef __x86_64__ 15023ba7b39SGleb Natapov # define R "r" 15123ba7b39SGleb Natapov # define W "q" 15223ba7b39SGleb Natapov # define S "8" 15323ba7b39SGleb Natapov #else 15423ba7b39SGleb Natapov # define R "e" 15523ba7b39SGleb Natapov # define W "l" 15623ba7b39SGleb Natapov # define S "4" 15723ba7b39SGleb Natapov #endif 15823ba7b39SGleb Natapov 159af11bd88SGleb Natapov #define EX(NAME, N) extern char NAME##_fault; \ 160af11bd88SGleb Natapov asm (".pushsection .text \n\t" \ 161af11bd88SGleb Natapov #NAME"_fault: \n\t" \ 162af11bd88SGleb Natapov "push"W" $0 \n\t" \ 163af11bd88SGleb Natapov "push"W" $"#N" \n\t" \ 164af11bd88SGleb Natapov "jmp __handle_exception \n\t" \ 165af11bd88SGleb Natapov ".popsection") 166af11bd88SGleb Natapov 167af11bd88SGleb Natapov #define EX_E(NAME, N) extern char NAME##_fault; \ 168af11bd88SGleb Natapov asm (".pushsection .text \n\t" \ 169af11bd88SGleb Natapov #NAME"_fault: \n\t" \ 170af11bd88SGleb Natapov "push"W" $"#N" \n\t" \ 171af11bd88SGleb Natapov "jmp __handle_exception \n\t" \ 172af11bd88SGleb Natapov ".popsection") 173af11bd88SGleb Natapov 174af11bd88SGleb Natapov EX(de, 0); 175af11bd88SGleb Natapov EX(db, 1); 176af11bd88SGleb Natapov EX(nmi, 2); 177af11bd88SGleb Natapov EX(bp, 3); 178af11bd88SGleb Natapov EX(of, 4); 179af11bd88SGleb Natapov EX(br, 5); 180af11bd88SGleb Natapov EX(ud, 6); 181af11bd88SGleb Natapov EX(nm, 7); 182af11bd88SGleb Natapov EX_E(df, 8); 183af11bd88SGleb Natapov EX_E(ts, 10); 184af11bd88SGleb Natapov EX_E(np, 11); 185af11bd88SGleb Natapov EX_E(ss, 12); 186af11bd88SGleb Natapov EX_E(gp, 13); 187af11bd88SGleb Natapov EX_E(pf, 14); 188af11bd88SGleb Natapov EX(mf, 16); 189af11bd88SGleb Natapov EX_E(ac, 17); 190af11bd88SGleb Natapov EX(mc, 18); 191af11bd88SGleb Natapov EX(xm, 19); 192af11bd88SGleb Natapov 1937d36db35SAvi Kivity asm (".pushsection .text \n\t" 194af11bd88SGleb Natapov "__handle_exception: \n\t" 19523ba7b39SGleb Natapov #ifdef __x86_64__ 1967d36db35SAvi Kivity "push %r15; push %r14; push %r13; push %r12 \n\t" 1977d36db35SAvi Kivity "push %r11; push %r10; push %r9; push %r8 \n\t" 19823ba7b39SGleb Natapov #endif 19923ba7b39SGleb Natapov "push %"R"di; push %"R"si; push %"R"bp; sub $"S", %"R"sp \n\t" 20023ba7b39SGleb Natapov "push %"R"bx; push %"R"dx; push %"R"cx; push %"R"ax \n\t" 201c3b91807SGleb Natapov #ifdef __x86_64__ 20223ba7b39SGleb Natapov "mov %"R"sp, %"R"di \n\t" 203c3b91807SGleb Natapov #else 204c3b91807SGleb Natapov "mov %"R"sp, %"R"ax \n\t" 205c3b91807SGleb Natapov #endif 2067d36db35SAvi Kivity "call do_handle_exception \n\t" 20723ba7b39SGleb Natapov "pop %"R"ax; pop %"R"cx; pop %"R"dx; pop %"R"bx \n\t" 20823ba7b39SGleb Natapov "add $"S", %"R"sp; pop %"R"bp; pop %"R"si; pop %"R"di \n\t" 20923ba7b39SGleb Natapov #ifdef __x86_64__ 2107d36db35SAvi Kivity "pop %r8; pop %r9; pop %r10; pop %r11 \n\t" 2117d36db35SAvi Kivity "pop %r12; pop %r13; pop %r14; pop %r15 \n\t" 21223ba7b39SGleb Natapov #endif 21323ba7b39SGleb Natapov "add $"S", %"R"sp \n\t" 21423ba7b39SGleb Natapov "add $"S", %"R"sp \n\t" 21523ba7b39SGleb Natapov "iret"W" \n\t" 2167d36db35SAvi Kivity ".popsection"); 2177d36db35SAvi Kivity 218af11bd88SGleb Natapov static void *idt_handlers[32] = { 219af11bd88SGleb Natapov [0] = &de_fault, 220af11bd88SGleb Natapov [1] = &db_fault, 221af11bd88SGleb Natapov [2] = &nmi_fault, 222af11bd88SGleb Natapov [3] = &bp_fault, 223af11bd88SGleb Natapov [4] = &of_fault, 224af11bd88SGleb Natapov [5] = &br_fault, 225af11bd88SGleb Natapov [6] = &ud_fault, 226af11bd88SGleb Natapov [7] = &nm_fault, 227af11bd88SGleb Natapov [8] = &df_fault, 228af11bd88SGleb Natapov [10] = &ts_fault, 229af11bd88SGleb Natapov [11] = &np_fault, 230af11bd88SGleb Natapov [12] = &ss_fault, 231af11bd88SGleb Natapov [13] = &gp_fault, 232af11bd88SGleb Natapov [14] = &pf_fault, 233af11bd88SGleb Natapov [16] = &mf_fault, 234af11bd88SGleb Natapov [17] = &ac_fault, 235af11bd88SGleb Natapov [18] = &mc_fault, 236af11bd88SGleb Natapov [19] = &xm_fault, 237af11bd88SGleb Natapov }; 2387d36db35SAvi Kivity 2397d36db35SAvi Kivity void setup_idt(void) 2407d36db35SAvi Kivity { 241af11bd88SGleb Natapov int i; 24223ba7b39SGleb Natapov load_lidt(idt, 256); 243af11bd88SGleb Natapov for (i = 0; i < 32; i++) 244af11bd88SGleb Natapov if (idt_handlers[i]) 245af11bd88SGleb Natapov set_idt_entry(i, idt_handlers[i], 0); 246af11bd88SGleb Natapov handle_exception(0, check_exception_table); 247af11bd88SGleb Natapov handle_exception(6, check_exception_table); 248af11bd88SGleb Natapov handle_exception(13, check_exception_table); 2497d36db35SAvi Kivity } 2507d36db35SAvi Kivity 2517d36db35SAvi Kivity unsigned exception_vector(void) 2527d36db35SAvi Kivity { 2537d36db35SAvi Kivity unsigned short vector; 2547d36db35SAvi Kivity 2557d36db35SAvi Kivity asm("mov %%gs:4, %0" : "=rm"(vector)); 2567d36db35SAvi Kivity return vector; 2577d36db35SAvi Kivity } 2587d36db35SAvi Kivity 2597d36db35SAvi Kivity unsigned exception_error_code(void) 2607d36db35SAvi Kivity { 2617d36db35SAvi Kivity unsigned short error_code; 2627d36db35SAvi Kivity 2637d36db35SAvi Kivity asm("mov %%gs:6, %0" : "=rm"(error_code)); 2647d36db35SAvi Kivity return error_code; 2657d36db35SAvi Kivity } 266d21b4f12SGleb Natapov 267d21b4f12SGleb Natapov #ifndef __x86_64__ 268d21b4f12SGleb Natapov /* 269d21b4f12SGleb Natapov * GDT, with 6 entries: 270d21b4f12SGleb Natapov * 0x00 - NULL descriptor 271d21b4f12SGleb Natapov * 0x08 - Code segment 272d21b4f12SGleb Natapov * 0x10 - Data segment 273d21b4f12SGleb Natapov * 0x18 - Not presend code segment 274d21b4f12SGleb Natapov * 0x20 - Primery task 275d21b4f12SGleb Natapov * 0x28 - Interrupt task 276d21b4f12SGleb Natapov */ 277d21b4f12SGleb Natapov 278d21b4f12SGleb Natapov static gdt_entry_t gdt[6]; 279d21b4f12SGleb Natapov #define TSS_GDT_OFFSET 4 280d21b4f12SGleb Natapov 281d21b4f12SGleb Natapov void set_gdt_entry(int num, u32 base, u32 limit, u8 access, u8 gran) 282d21b4f12SGleb Natapov { 283d21b4f12SGleb Natapov /* Setup the descriptor base address */ 284d21b4f12SGleb Natapov gdt[num].base_low = (base & 0xFFFF); 285d21b4f12SGleb Natapov gdt[num].base_middle = (base >> 16) & 0xFF; 286d21b4f12SGleb Natapov gdt[num].base_high = (base >> 24) & 0xFF; 287d21b4f12SGleb Natapov 288d21b4f12SGleb Natapov /* Setup the descriptor limits */ 289d21b4f12SGleb Natapov gdt[num].limit_low = (limit & 0xFFFF); 290d21b4f12SGleb Natapov gdt[num].granularity = ((limit >> 16) & 0x0F); 291d21b4f12SGleb Natapov 292d21b4f12SGleb Natapov /* Finally, set up the granularity and access flags */ 293d21b4f12SGleb Natapov gdt[num].granularity |= (gran & 0xF0); 294d21b4f12SGleb Natapov gdt[num].access = access; 295d21b4f12SGleb Natapov } 296d21b4f12SGleb Natapov 297d21b4f12SGleb Natapov void setup_gdt(void) 298d21b4f12SGleb Natapov { 299d21b4f12SGleb Natapov struct descriptor_table_ptr gp; 300d21b4f12SGleb Natapov /* Setup the GDT pointer and limit */ 301d21b4f12SGleb Natapov gp.limit = sizeof(gdt) - 1; 302d21b4f12SGleb Natapov gp.base = (ulong)&gdt; 303d21b4f12SGleb Natapov 304d21b4f12SGleb Natapov memset(gdt, 0, sizeof(gdt)); 305d21b4f12SGleb Natapov 306d21b4f12SGleb Natapov /* Our NULL descriptor */ 307d21b4f12SGleb Natapov set_gdt_entry(0, 0, 0, 0, 0); 308d21b4f12SGleb Natapov 309d21b4f12SGleb Natapov /* The second entry is our Code Segment. The base address 310d21b4f12SGleb Natapov * is 0, the limit is 4GBytes, it uses 4KByte granularity, 311d21b4f12SGleb Natapov * uses 32-bit opcodes, and is a Code Segment descriptor. */ 312d21b4f12SGleb Natapov set_gdt_entry(1, 0, 0xFFFFFFFF, 0x9A, 0xcf); 313d21b4f12SGleb Natapov 314d21b4f12SGleb Natapov /* The third entry is our Data Segment. It's EXACTLY the 315d21b4f12SGleb Natapov * same as our code segment, but the descriptor type in 316d21b4f12SGleb Natapov * this entry's access byte says it's a Data Segment */ 317d21b4f12SGleb Natapov set_gdt_entry(2, 0, 0xFFFFFFFF, 0x92, 0xcf); 318d21b4f12SGleb Natapov 319d21b4f12SGleb Natapov /* Same as code register above but not present */ 320d21b4f12SGleb Natapov set_gdt_entry(3, 0, 0xFFFFFFFF, 0x1A, 0xcf); 321d21b4f12SGleb Natapov 322d21b4f12SGleb Natapov 323d21b4f12SGleb Natapov /* Flush out the old GDT and install the new changes! */ 324d21b4f12SGleb Natapov lgdt(&gp); 325d21b4f12SGleb Natapov 326d21b4f12SGleb Natapov asm volatile ("mov %0, %%ds\n\t" 327d21b4f12SGleb Natapov "mov %0, %%es\n\t" 328d21b4f12SGleb Natapov "mov %0, %%fs\n\t" 329d21b4f12SGleb Natapov "mov %0, %%gs\n\t" 330d21b4f12SGleb Natapov "mov %0, %%ss\n\t" 331d21b4f12SGleb Natapov "jmp $0x08, $.Lflush2\n\t" 332d21b4f12SGleb Natapov ".Lflush2: "::"r"(0x10)); 333d21b4f12SGleb Natapov } 334d21b4f12SGleb Natapov 335d21b4f12SGleb Natapov static void set_idt_task_gate(int vec, u16 sel) 336d21b4f12SGleb Natapov { 337d21b4f12SGleb Natapov idt_entry_t *e = &idt[vec]; 338d21b4f12SGleb Natapov 339d21b4f12SGleb Natapov memset(e, 0, sizeof *e); 340d21b4f12SGleb Natapov 341d21b4f12SGleb Natapov e->selector = sel; 342d21b4f12SGleb Natapov e->ist = 0; 343d21b4f12SGleb Natapov e->type = 5; 344d21b4f12SGleb Natapov e->dpl = 0; 345d21b4f12SGleb Natapov e->p = 1; 346d21b4f12SGleb Natapov } 347d21b4f12SGleb Natapov 348d21b4f12SGleb Natapov /* 349d21b4f12SGleb Natapov * 0 - main task 350d21b4f12SGleb Natapov * 1 - interrupt task 351d21b4f12SGleb Natapov */ 352d21b4f12SGleb Natapov 353d21b4f12SGleb Natapov static tss32_t tss[2]; 354d21b4f12SGleb Natapov static char tss_stack[2][4096]; 355d21b4f12SGleb Natapov 356d21b4f12SGleb Natapov void setup_tss32(void) 357d21b4f12SGleb Natapov { 358d21b4f12SGleb Natapov u16 desc_size = sizeof(tss32_t); 359d21b4f12SGleb Natapov int i; 360d21b4f12SGleb Natapov 361d21b4f12SGleb Natapov for (i = 0; i < 2; i++) { 362d21b4f12SGleb Natapov tss[i].cr3 = read_cr3(); 363d21b4f12SGleb Natapov tss[i].ss0 = tss[i].ss1 = tss[i].ss2 = 0x10; 364d21b4f12SGleb Natapov tss[i].esp = tss[i].esp0 = tss[i].esp1 = tss[i].esp2 = 365d21b4f12SGleb Natapov (u32)tss_stack[i]; 366d21b4f12SGleb Natapov tss[i].cs = 0x08; 367d21b4f12SGleb Natapov tss[i].ds = tss[i].es = tss[i].fs = tss[i].gs = tss[i].ss = 0x10; 368d21b4f12SGleb Natapov tss[i].iomap_base = (u16)desc_size; 369d21b4f12SGleb Natapov set_gdt_entry(TSS_GDT_OFFSET + i, (u32)&tss[i], 370d21b4f12SGleb Natapov desc_size - 1, 0x89, 0x0f); 371d21b4f12SGleb Natapov } 372d21b4f12SGleb Natapov 373d21b4f12SGleb Natapov ltr(TSS_MAIN); 374d21b4f12SGleb Natapov } 375d21b4f12SGleb Natapov 376d21b4f12SGleb Natapov void set_intr_task_gate(int e, void *fn) 377d21b4f12SGleb Natapov { 378d21b4f12SGleb Natapov tss[1].eip = (u32)fn; 379d21b4f12SGleb Natapov set_idt_task_gate(e, TSS_INTR); 380d21b4f12SGleb Natapov } 381d21b4f12SGleb Natapov 382d21b4f12SGleb Natapov void print_current_tss_info(void) 383d21b4f12SGleb Natapov { 384d21b4f12SGleb Natapov u16 tr = str(); 385d21b4f12SGleb Natapov int i = (tr == TSS_MAIN) ? 0 : 1; 386d21b4f12SGleb Natapov 387d21b4f12SGleb Natapov if (tr != TSS_MAIN && tr != TSS_INTR) 388d21b4f12SGleb Natapov printf("Unknown TSS %x\n", tr); 389d21b4f12SGleb Natapov else 390d21b4f12SGleb Natapov printf("TR=%x Main TSS back link %x. Current TSS back link %x\n", 391d21b4f12SGleb Natapov tr, tss[0].prev, tss[i].prev); 392d21b4f12SGleb Natapov } 393d21b4f12SGleb Natapov #endif 394