| /* | |
| * Copyright 2010 Siemens AG | |
| * Author: Jan Kiszka | |
| * | |
| * Released under GPLv2. | |
| */ | |
| #include "libcflat.h" | |
| #include "x86/desc.h" | |
| #include "vmalloc.h" | |
| #define TSS_RETURN (FIRST_SPARE_SEL) | |
| void fault_entry(void); | |
| static __attribute__((used, regparm(1))) void | |
| fault_handler(unsigned long error_code) | |
| { | |
| print_current_tss_info(); | |
| printf("error code %lx\n", error_code); | |
| tss[0].eip += 2; | |
| gdt[TSS_MAIN / 8].type &= ~DESC_BUSY; | |
| set_gdt_task_gate(TSS_RETURN, tss_intr.prev); | |
| } | |
| asm ( | |
| "fault_entry:\n" | |
| " mov (%esp),%eax\n" | |
| " call fault_handler\n" | |
| " jmp $" xstr(TSS_RETURN) ", $0\n" | |
| ); | |
| int main(int ac, char **av) | |
| { | |
| const long invalid_segment = 0x1234; | |
| setup_tss32(); | |
| set_intr_task_gate(13, fault_entry); | |
| asm ( | |
| "mov %0,%%es\n" | |
| : : "r" (invalid_segment) : "edi" | |
| ); | |
| printf("post fault\n"); | |
| return 0; | |
| } |