| 60,21 → 60,6 |
|---|
| #define EXC_VECTORS_SIZE (EXC_VECTORS * 4) |
| |
| |
| /** Kernel stack pointer. |
| * |
| * It is set when thread switches to user mode, |
| * and then used for exception handling. |
| */ |
| extern uintptr_t supervisor_sp; |
| |
| /** Temporary exception stack pointer. |
| * |
| * Temporary stack is used in exceptions handling routines |
| * before switching to thread's kernel stack. |
| */ |
| extern uintptr_t exc_stack; |
| |
| |
| /** Switches to kernel stack and saves all registers there. |
| * |
| * Temporary exception stack is used to save a few registers |