| 50,11 → 50,11 |
|---|
| /** Prepare kernel stack pointers in bank 0 r22 and r23 and make sure the stack is mapped in DTR. */ |
| void before_thread_runs_arch(void) |
| { |
| __address base; |
| uintptr_t base; |
| |
| base = ALIGN_DOWN(config.base, 1<<KERNEL_PAGE_WIDTH); |
| |
| if ((__address) THREAD->kstack < base || (__address) THREAD->kstack > base + (1<<(KERNEL_PAGE_WIDTH))) { |
| if ((uintptr_t) THREAD->kstack < base || (uintptr_t) THREAD->kstack > base + (1<<(KERNEL_PAGE_WIDTH))) { |
| /* |
| * Kernel stack of this thread is not mapped by DTR[TR_KERNEL]. |
| * Use DTR[TR_KSTACK1] and DTR[TR_KSTACK2] to map it. |
| 61,11 → 61,11 |
|---|
| */ |
| |
| /* purge DTR[TR_STACK1] and DTR[TR_STACK2] */ |
| dtr_purge((__address) THREAD->kstack, PAGE_WIDTH+1); |
| dtr_purge((uintptr_t) THREAD->kstack, PAGE_WIDTH+1); |
| |
| /* insert DTR[TR_STACK1] and DTR[TR_STACK2] */ |
| dtlb_kernel_mapping_insert((__address) THREAD->kstack, KA2PA(THREAD->kstack), true, DTR_KSTACK1); |
| dtlb_kernel_mapping_insert((__address) THREAD->kstack + PAGE_SIZE, KA2PA(THREAD->kstack) + FRAME_SIZE, true, DTR_KSTACK2); |
| dtlb_kernel_mapping_insert((uintptr_t) THREAD->kstack, KA2PA(THREAD->kstack), true, DTR_KSTACK1); |
| dtlb_kernel_mapping_insert((uintptr_t) THREAD->kstack + PAGE_SIZE, KA2PA(THREAD->kstack) + FRAME_SIZE, true, DTR_KSTACK2); |
| } |
| |
| /* |