1d21b4f12SGleb Natapov #include "libcflat.h" 2d21b4f12SGleb Natapov #include "desc.h" 3d21b4f12SGleb Natapov #include "apic-defs.h" 4d21b4f12SGleb Natapov #include "apic.h" 5d21b4f12SGleb Natapov #include "processor.h" 6ce71ddc7SGleb Natapov #include "vm.h" 7d21b4f12SGleb Natapov 8b01c8823SKevin Wolf #define FREE_GDT_INDEX 6 9b01c8823SKevin Wolf #define MAIN_TSS_INDEX (FREE_GDT_INDEX + 0) 10b01c8823SKevin Wolf #define VM86_TSS_INDEX (FREE_GDT_INDEX + 1) 11b01c8823SKevin Wolf 12d21b4f12SGleb Natapov #define xstr(s) str(s) 13d21b4f12SGleb Natapov #define str(s) #s 14d21b4f12SGleb Natapov 15d21b4f12SGleb Natapov static volatile int test_count; 16d21b4f12SGleb Natapov static volatile unsigned int test_divider; 17d21b4f12SGleb Natapov 18ce71ddc7SGleb Natapov static char *fault_addr; 19ce71ddc7SGleb Natapov static ulong fault_phys; 20ce71ddc7SGleb Natapov 21d21b4f12SGleb Natapov static inline void io_delay(void) 22d21b4f12SGleb Natapov { 23d21b4f12SGleb Natapov } 24d21b4f12SGleb Natapov 25d21b4f12SGleb Natapov static void nmi_tss(void) 26d21b4f12SGleb Natapov { 27d21b4f12SGleb Natapov start: 28d21b4f12SGleb Natapov printf("NMI task is running\n"); 29d21b4f12SGleb Natapov print_current_tss_info(); 30d21b4f12SGleb Natapov test_count++; 31d21b4f12SGleb Natapov asm volatile ("iret"); 32d21b4f12SGleb Natapov goto start; 33d21b4f12SGleb Natapov } 34d21b4f12SGleb Natapov 35d21b4f12SGleb Natapov static void de_tss(void) 36d21b4f12SGleb Natapov { 37d21b4f12SGleb Natapov start: 38d21b4f12SGleb Natapov printf("DE task is running\n"); 39d21b4f12SGleb Natapov print_current_tss_info(); 40d21b4f12SGleb Natapov test_divider = 10; 41d21b4f12SGleb Natapov test_count++; 42d21b4f12SGleb Natapov asm volatile ("iret"); 43d21b4f12SGleb Natapov goto start; 44d21b4f12SGleb Natapov } 45d21b4f12SGleb Natapov 46d21b4f12SGleb Natapov static void of_tss(void) 47d21b4f12SGleb Natapov { 48d21b4f12SGleb Natapov start: 49d21b4f12SGleb Natapov printf("OF task is running\n"); 50d21b4f12SGleb Natapov print_current_tss_info(); 51d21b4f12SGleb Natapov test_count++; 52d21b4f12SGleb Natapov asm volatile ("iret"); 53d21b4f12SGleb Natapov goto start; 54d21b4f12SGleb Natapov } 55d21b4f12SGleb Natapov 56d21b4f12SGleb Natapov static void bp_tss(void) 57d21b4f12SGleb Natapov { 58d21b4f12SGleb Natapov start: 59d21b4f12SGleb Natapov printf("BP task is running\n"); 60d21b4f12SGleb Natapov print_current_tss_info(); 61d21b4f12SGleb Natapov test_count++; 62d21b4f12SGleb Natapov asm volatile ("iret"); 63d21b4f12SGleb Natapov goto start; 64d21b4f12SGleb Natapov } 65d21b4f12SGleb Natapov 66ce71ddc7SGleb Natapov void do_pf_tss(ulong *error_code) 67ce71ddc7SGleb Natapov { 68ce71ddc7SGleb Natapov printf("PF task is running %x %x\n", error_code, *(ulong*)error_code); 69ce71ddc7SGleb Natapov print_current_tss_info(); 70ce71ddc7SGleb Natapov if (*(ulong*)error_code == 0x2) /* write access, not present */ 71ce71ddc7SGleb Natapov test_count++; 72ce71ddc7SGleb Natapov install_pte(phys_to_virt(read_cr3()), 1, fault_addr, 73ce71ddc7SGleb Natapov fault_phys | PTE_PRESENT | PTE_WRITE, 0); 74ce71ddc7SGleb Natapov } 75ce71ddc7SGleb Natapov 76ce71ddc7SGleb Natapov extern void pf_tss(void); 77ce71ddc7SGleb Natapov 78ce71ddc7SGleb Natapov asm ( 79ce71ddc7SGleb Natapov "pf_tss: \n\t" 80ce71ddc7SGleb Natapov "push %esp \n\t" 81ce71ddc7SGleb Natapov "call do_pf_tss \n\t" 82ce71ddc7SGleb Natapov "add $4, %esp \n\t" 83ce71ddc7SGleb Natapov "iret\n\t" 84ce71ddc7SGleb Natapov "jmp pf_tss\n\t" 85ce71ddc7SGleb Natapov ); 86ce71ddc7SGleb Natapov 87d21b4f12SGleb Natapov static void jmp_tss(void) 88d21b4f12SGleb Natapov { 89d21b4f12SGleb Natapov start: 90d21b4f12SGleb Natapov printf("JMP to task succeeded\n"); 91d21b4f12SGleb Natapov print_current_tss_info(); 92d21b4f12SGleb Natapov test_count++; 93d21b4f12SGleb Natapov asm volatile ("ljmp $" xstr(TSS_MAIN) ", $0"); 94d21b4f12SGleb Natapov goto start; 95d21b4f12SGleb Natapov } 96d21b4f12SGleb Natapov 97d21b4f12SGleb Natapov static void irq_tss(void) 98d21b4f12SGleb Natapov { 99d21b4f12SGleb Natapov start: 100d21b4f12SGleb Natapov printf("IRQ task is running\n"); 101d21b4f12SGleb Natapov print_current_tss_info(); 102d21b4f12SGleb Natapov test_count++; 103d21b4f12SGleb Natapov asm volatile ("iret"); 104d21b4f12SGleb Natapov test_count++; 105d21b4f12SGleb Natapov printf("IRQ task restarts after iret.\n"); 106d21b4f12SGleb Natapov goto start; 107d21b4f12SGleb Natapov } 108d21b4f12SGleb Natapov 109b01c8823SKevin Wolf void test_kernel_mode_int() 110d21b4f12SGleb Natapov { 111d21b4f12SGleb Natapov unsigned int res; 112d21b4f12SGleb Natapov 113d21b4f12SGleb Natapov /* test that int $2 triggers task gate */ 114d21b4f12SGleb Natapov test_count = 0; 115d21b4f12SGleb Natapov set_intr_task_gate(2, nmi_tss); 116d21b4f12SGleb Natapov printf("Triggering nmi 2\n"); 117d21b4f12SGleb Natapov asm volatile ("int $2"); 118d21b4f12SGleb Natapov printf("Return from nmi %d\n", test_count); 119d21b4f12SGleb Natapov report("NMI int $2", test_count == 1); 120d21b4f12SGleb Natapov 121d21b4f12SGleb Natapov /* test that external NMI triggers task gate */ 122d21b4f12SGleb Natapov test_count = 0; 123d21b4f12SGleb Natapov set_intr_task_gate(2, nmi_tss); 124d21b4f12SGleb Natapov printf("Triggering nmi through APIC\n"); 125d21b4f12SGleb Natapov apic_icr_write(APIC_DEST_PHYSICAL | APIC_DM_NMI | APIC_INT_ASSERT, 0); 126d21b4f12SGleb Natapov io_delay(); 127d21b4f12SGleb Natapov printf("Return from APIC nmi\n"); 128d21b4f12SGleb Natapov report("NMI external", test_count == 1); 129d21b4f12SGleb Natapov 130d21b4f12SGleb Natapov /* test that external interrupt triggesr task gate */ 131d21b4f12SGleb Natapov test_count = 0; 132d21b4f12SGleb Natapov printf("Trigger IRQ from APIC\n"); 133d21b4f12SGleb Natapov set_intr_task_gate(0xf0, irq_tss); 134d21b4f12SGleb Natapov irq_enable(); 135d21b4f12SGleb Natapov apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | APIC_DM_FIXED | APIC_INT_ASSERT | 0xf0, 0); 136d21b4f12SGleb Natapov io_delay(); 137d21b4f12SGleb Natapov irq_disable(); 138d21b4f12SGleb Natapov printf("Return from APIC IRQ\n"); 139d21b4f12SGleb Natapov report("IRQ external", test_count == 1); 140d21b4f12SGleb Natapov 141d21b4f12SGleb Natapov /* test that HW exception triggesr task gate */ 142d21b4f12SGleb Natapov set_intr_task_gate(0, de_tss); 143d21b4f12SGleb Natapov printf("Try to devide by 0\n"); 144d21b4f12SGleb Natapov asm volatile ("divl %3": "=a"(res) 145d21b4f12SGleb Natapov : "d"(0), "a"(1500), "m"(test_divider)); 146d21b4f12SGleb Natapov printf("Result is %d\n", res); 147d21b4f12SGleb Natapov report("DE exeption", res == 150); 148d21b4f12SGleb Natapov 149d21b4f12SGleb Natapov /* test if call HW exeption DE by int $0 triggers task gate */ 150d21b4f12SGleb Natapov test_count = 0; 151d21b4f12SGleb Natapov set_intr_task_gate(0, de_tss); 152d21b4f12SGleb Natapov printf("Call int 0\n"); 153d21b4f12SGleb Natapov asm volatile ("int $0"); 154d21b4f12SGleb Natapov printf("Return from int 0\n"); 155d21b4f12SGleb Natapov report("int $0", test_count == 1); 156d21b4f12SGleb Natapov 157d21b4f12SGleb Natapov /* test if HW exception OF triggers task gate */ 158d21b4f12SGleb Natapov test_count = 0; 159d21b4f12SGleb Natapov set_intr_task_gate(4, of_tss); 160d21b4f12SGleb Natapov printf("Call into\n"); 161d21b4f12SGleb Natapov asm volatile ("addb $127, %b0\ninto"::"a"(127)); 162d21b4f12SGleb Natapov printf("Return from into\n"); 163d21b4f12SGleb Natapov report("OF exeption", test_count); 164d21b4f12SGleb Natapov 165d21b4f12SGleb Natapov /* test if HW exception BP triggers task gate */ 166d21b4f12SGleb Natapov test_count = 0; 167d21b4f12SGleb Natapov set_intr_task_gate(3, bp_tss); 168d21b4f12SGleb Natapov printf("Call int 3\n"); 169d21b4f12SGleb Natapov asm volatile ("int $3"); 170d21b4f12SGleb Natapov printf("Return from int 3\n"); 171d21b4f12SGleb Natapov report("BP exeption", test_count == 1); 172d21b4f12SGleb Natapov 173ce71ddc7SGleb Natapov /* 174ce71ddc7SGleb Natapov * test that PF triggers task gate and error code is placed on 175ce71ddc7SGleb Natapov * exception task's stack 176ce71ddc7SGleb Natapov */ 177ce71ddc7SGleb Natapov fault_addr = alloc_vpage(); 178ce71ddc7SGleb Natapov fault_phys = (ulong)virt_to_phys(alloc_page()); 179ce71ddc7SGleb Natapov test_count = 0; 180ce71ddc7SGleb Natapov set_intr_task_gate(14, pf_tss); 181ce71ddc7SGleb Natapov printf("Access unmapped page\n"); 182ce71ddc7SGleb Natapov *fault_addr = 0; 183ce71ddc7SGleb Natapov printf("Return from pf tss\n"); 184ce71ddc7SGleb Natapov report("PF exeption", test_count == 1); 185ce71ddc7SGleb Natapov 186d21b4f12SGleb Natapov /* test that calling a task by lcall works */ 187d21b4f12SGleb Natapov test_count = 0; 188d21b4f12SGleb Natapov set_intr_task_gate(0, irq_tss); 189d21b4f12SGleb Natapov printf("Calling task by lcall\n"); 190d21b4f12SGleb Natapov /* hlt opcode is 0xf4 I use destination IP 0xf4f4f4f4 to catch 191d21b4f12SGleb Natapov incorrect instruction length calculation */ 192d21b4f12SGleb Natapov asm volatile("lcall $" xstr(TSS_INTR) ", $0xf4f4f4f4"); 193d21b4f12SGleb Natapov printf("Return from call\n"); 194d21b4f12SGleb Natapov report("lcall", test_count == 1); 195d21b4f12SGleb Natapov 196d21b4f12SGleb Natapov /* call the same task again and check that it restarted after iret */ 197d21b4f12SGleb Natapov test_count = 0; 198d21b4f12SGleb Natapov asm volatile("lcall $" xstr(TSS_INTR) ", $0xf4f4f4f4"); 199d21b4f12SGleb Natapov report("lcall2", test_count == 2); 200d21b4f12SGleb Natapov 201d21b4f12SGleb Natapov /* test that calling a task by ljmp works */ 202d21b4f12SGleb Natapov test_count = 0; 203d21b4f12SGleb Natapov set_intr_task_gate(0, jmp_tss); 204d21b4f12SGleb Natapov printf("Jumping to a task by ljmp\n"); 205d21b4f12SGleb Natapov asm volatile ("ljmp $" xstr(TSS_INTR) ", $0xf4f4f4f4"); 206d21b4f12SGleb Natapov printf("Jump back succeeded\n"); 207d21b4f12SGleb Natapov report("ljmp", test_count == 1); 208b01c8823SKevin Wolf } 209b01c8823SKevin Wolf 210b01c8823SKevin Wolf void test_vm86_switch(void) 211b01c8823SKevin Wolf { 212b01c8823SKevin Wolf static tss32_t main_tss; 213b01c8823SKevin Wolf static tss32_t vm86_tss; 214b01c8823SKevin Wolf 215b01c8823SKevin Wolf u8 *vm86_start; 216b01c8823SKevin Wolf 217b01c8823SKevin Wolf /* Write a 'ud2' instruction somewhere below 1 MB */ 218b01c8823SKevin Wolf vm86_start = (void*) 0x42000; 219b01c8823SKevin Wolf vm86_start[0] = 0x0f; 220b01c8823SKevin Wolf vm86_start[1] = 0x0b; 221b01c8823SKevin Wolf 222b01c8823SKevin Wolf /* Main TSS */ 223b01c8823SKevin Wolf set_gdt_entry(MAIN_TSS_INDEX, (u32)&main_tss, sizeof(tss32_t) - 1, 0x89, 0); 224b01c8823SKevin Wolf ltr(MAIN_TSS_INDEX << 3); 225b01c8823SKevin Wolf main_tss = (tss32_t) { 226b01c8823SKevin Wolf .prev = VM86_TSS_INDEX << 3, 227b01c8823SKevin Wolf .cr3 = read_cr3(), 228b01c8823SKevin Wolf }; 229b01c8823SKevin Wolf 230b01c8823SKevin Wolf /* VM86 TSS (marked as busy, so we can iret to it) */ 231b01c8823SKevin Wolf set_gdt_entry(VM86_TSS_INDEX, (u32)&vm86_tss, sizeof(tss32_t) - 1, 0x8b, 0); 232b01c8823SKevin Wolf vm86_tss = (tss32_t) { 233b01c8823SKevin Wolf .eflags = 0x20002, 234b01c8823SKevin Wolf .cr3 = read_cr3(), 235b01c8823SKevin Wolf .eip = (u32) vm86_start & 0x0f, 236b01c8823SKevin Wolf .cs = (u32) vm86_start >> 4, 237b01c8823SKevin Wolf .ds = 0x1234, 238b01c8823SKevin Wolf .es = 0x2345, 239b01c8823SKevin Wolf }; 240b01c8823SKevin Wolf 241b01c8823SKevin Wolf /* Setup task gate to main TSS for #UD */ 242b01c8823SKevin Wolf set_idt_task_gate(6, MAIN_TSS_INDEX << 3); 243b01c8823SKevin Wolf 244b01c8823SKevin Wolf /* Jump into VM86 task with iret, #UD lets it come back immediately */ 245b01c8823SKevin Wolf printf("Switch to VM86 task and back\n"); 246b01c8823SKevin Wolf asm volatile( 247b01c8823SKevin Wolf "pushf\n" 248b01c8823SKevin Wolf "orw $0x4000, (%esp)\n" 249b01c8823SKevin Wolf "popf\n" 250b01c8823SKevin Wolf "iret\n" 251b01c8823SKevin Wolf ); 252b01c8823SKevin Wolf report("VM86", 1); 253b01c8823SKevin Wolf } 254b01c8823SKevin Wolf 255b01c8823SKevin Wolf int main() 256b01c8823SKevin Wolf { 257b01c8823SKevin Wolf setup_vm(); 258b01c8823SKevin Wolf setup_idt(); 259b01c8823SKevin Wolf setup_gdt(); 260b01c8823SKevin Wolf setup_tss32(); 261b01c8823SKevin Wolf 262b01c8823SKevin Wolf test_kernel_mode_int(); 263b01c8823SKevin Wolf test_vm86_switch(); 264d21b4f12SGleb Natapov 265*f3cdd159SJan Kiszka return report_summary(); 266d21b4f12SGleb Natapov } 267