Rev 4145 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4145 | Rev 4490 | ||
|---|---|---|---|
| Line 99... | Line 99... | ||
| 99 | 99 | ||
| 100 | /** General Protection Fault. */ |
100 | /** General Protection Fault. */ |
| 101 | static void gp_fault(int n, istate_t *istate) |
101 | static void gp_fault(int n, istate_t *istate) |
| 102 | { |
102 | { |
| 103 | if (TASK) { |
103 | if (TASK) { |
| 104 | count_t ver; |
104 | size_t ver; |
| 105 | 105 | ||
| 106 | spinlock_lock(&TASK->lock); |
106 | spinlock_lock(&TASK->lock); |
| 107 | ver = TASK->arch.iomapver; |
107 | ver = TASK->arch.iomapver; |
| 108 | spinlock_unlock(&TASK->lock); |
108 | spinlock_unlock(&TASK->lock); |
| 109 | 109 | ||