Rev 2407 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2407 | Rev 2408 | ||
---|---|---|---|
Line 66... | Line 66... | ||
66 | #define EXC_DATA_ABORT 4 |
66 | #define EXC_DATA_ABORT 4 |
67 | #define EXC_IRQ 5 |
67 | #define EXC_IRQ 5 |
68 | #define EXC_FIQ 6 |
68 | #define EXC_FIQ 6 |
69 | 69 | ||
70 | 70 | ||
- | 71 | /** Kernel stack pointer. |
|
- | 72 | * |
|
- | 73 | * It is set when thread switches to user mode, |
|
- | 74 | * and then used for exception handling. |
|
- | 75 | */ |
|
- | 76 | extern uintptr_t supervisor_sp; |
|
- | 77 | ||
- | 78 | ||
- | 79 | /** Temporary exception stack pointer. |
|
- | 80 | * |
|
- | 81 | * Temporary stack is used in exceptions handling routines |
|
- | 82 | * before switching to thread's kernel stack. |
|
- | 83 | */ |
|
- | 84 | extern uintptr_t exc_stack; |
|
- | 85 | ||
- | 86 | ||
71 | /** Structure representing CPU state saved when an exception occurs. */ |
87 | /** Structure representing CPU state saved when an exception occurs. */ |
72 | typedef struct { |
88 | typedef struct { |
73 | uint32_t spsr; |
89 | uint32_t spsr; |
74 | uint32_t sp; |
90 | uint32_t sp; |
75 | uint32_t lr; |
91 | uint32_t lr; |