source: trunk/hal/x86_64/core/hal_exception.c @ 392

Last change on this file since 392 was 392, checked in by max@…, 4 years ago

Start handling page faults. Not tested.

File size: 3.6 KB
Line 
1/*
2 * hal_exception.c - Implementation of exception handler for x86_64
3 *
4 * Copyright (c) 2017 Maxime Villard
5 *
6 * This file is part of ALMOS-MKH.
7 *
8 * ALMOS-MKH is free software; you can redistribute it and/or modify it
9 * under the terms of the GNU General Public License as published by
10 * the Free Software Foundation; version 2.0 of the License.
11 *
12 * ALMOS-MKH is distributed in the hope that it will be useful, but
13 * WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15 * General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with ALMOS-MKH; if not, write to the Free Software Foundation,
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
20 */
21
22#include <hal_types.h>
23#include <hal_irqmask.h>
24#include <hal_exception.h>
25#include <thread.h>
26#include <errno.h>
27#include <core.h>
28
29#include <hal_kentry.h>
30#include <hal_internal.h>
31#include <hal_segmentation.h>
32
33static const char *exc_type[] = {
34        [T_PRIVINFLT]= "privileged instruction fault",
35        [T_BPTFLT] = "breakpoint trap",
36        [T_ARITHTRAP] = "arithmetic trap",
37        [T_ASTFLT] = "asynchronous system trap",
38        [T_PROTFLT] = "protection fault",
39        [T_TRCTRAP] = "trace trap",
40        [T_PAGEFLT] = "page fault",
41        [T_ALIGNFLT] = "alignment fault",
42        [T_DIVIDE] = "integer divide fault",
43        [T_NMI] = "non-maskable interrupt",
44        [T_OFLOW] = "overflow trap",
45        [T_BOUND] = "bounds check fault",
46        [T_DNA] = "FPU not available fault",
47        [T_DOUBLEFLT] = "double fault",
48        [T_FPOPFLT] = "FPU operand fetch fault",
49        [T_TSSFLT] = "invalid TSS fault",
50        [T_SEGNPFLT] = "segment not present fault",
51        [T_STKFLT] = "stack fault",
52        [T_MCA] = "machine check fault",
53        [T_XMM] = "SSE FP exception",
54};
55int     exc_types = __arraycount(exc_type);
56
57static void hal_exception_kern(hal_trapframe_t *tf)
58{
59        uint64_t trapno = tf->tf_trapno;
60        const char *buf;
61
62        if (trapno < exc_types) {
63                buf = exc_type[trapno];
64        } else {
65                buf = "unknown exception";
66        }
67
68        x86_lock();
69        x86_printf("\n****** EXCEPTION OCCURRED IN KERNEL MODE ******\n");
70        x86_printf("%s\n", (char *)buf);
71        x86_printf("-> rip = %Z\n", tf->tf_rip);
72        x86_printf("-> rdi = %Z\n", tf->tf_rdi);
73        x86_printf("-> rbp = %Z\n", tf->tf_rbp);
74        x86_printf("-> tls = %Z (gid=%Z)\n", (uint64_t)curtls(),
75            (uint64_t)hal_get_gid());
76        x86_printf("-> err = %Z\n", tf->tf_err);
77        if (trapno == T_PAGEFLT)
78                x86_printf("-> va  = %Z\n", rcr2());
79        x86_printf("\n***********************************************\n");
80        x86_unlock();
81
82        while (1);
83}
84
85static void hal_exception_user(hal_trapframe_t *tf)
86{
87        thread_t *thread = curtls()->tls_thr;
88        process_t *process = thread->process;
89        vseg_t *vseg;
90        intptr_t bad_vaddr;
91        error_t error;
92
93        switch (tf->tf_trapno) {
94                case T_PAGEFLT:
95                        bad_vaddr = rcr2();
96
97                        error = vmm_get_vseg(process, bad_vaddr, &vseg);
98                        if (error) {
99                                x86_panic("vseg not found!");
100                        }
101
102                        error = vmm_handle_page_fault(process, vseg,
103                            bad_vaddr >> CONFIG_PPM_PAGE_SHIFT);
104
105                        x86_printf("VA=%Z ERROR=%Z\n", bad_vaddr, (uint64_t)error);
106                        break;
107
108                default:
109                        x86_panic("userland not yet handled");
110        }
111}
112
113/*
114 * Exception handler.
115 */
116void hal_exception_entry(hal_trapframe_t *tf)
117{
118        if ((tf->tf_cs & SEL_RPL) == SEL_UPL)
119                hal_exception_user(tf);
120        else
121                hal_exception_kern(tf);
122}
123
124/* -------------------------------------------------------------------------- */
125
126void hal_do_exception( thread_t * this,
127                       reg_t    * regs_tbl )
128{
129        x86_panic((char *)__func__);
130}
131
132void hal_exception_dump( thread_t * this,
133                         reg_t    * regs_tbl )
134{
135        x86_panic((char *)__func__);
136}
137
Note: See TracBrowser for help on using the repository browser.