Rev 1705 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1705 | Rev 1780 | ||
---|---|---|---|
Line 46... | Line 46... | ||
46 | } |
46 | } |
47 | 47 | ||
48 | /** Ensure that thread's kernel stack is locked in TLB. */ |
48 | /** Ensure that thread's kernel stack is locked in TLB. */ |
49 | void before_thread_runs_arch(void) |
49 | void before_thread_runs_arch(void) |
50 | { |
50 | { |
51 | __address base; |
51 | uintptr_t base; |
52 | 52 | ||
53 | base = ALIGN_DOWN(config.base, 1<<KERNEL_PAGE_WIDTH); |
53 | base = ALIGN_DOWN(config.base, 1<<KERNEL_PAGE_WIDTH); |
54 | 54 | ||
55 | if ((__address) THREAD->kstack < base || (__address) THREAD->kstack > base + (1<<KERNEL_PAGE_WIDTH)) { |
55 | if ((uintptr_t) THREAD->kstack < base || (uintptr_t) THREAD->kstack > base + (1<<KERNEL_PAGE_WIDTH)) { |
56 | /* |
56 | /* |
57 | * Kernel stack of this thread is not locked in DTLB. |
57 | * Kernel stack of this thread is not locked in DTLB. |
58 | * First, make sure it is not mapped already. |
58 | * First, make sure it is not mapped already. |
59 | * If not, create a locked mapping for it. |
59 | * If not, create a locked mapping for it. |
60 | */ |
60 | */ |
61 | dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, (__address) THREAD->kstack); |
61 | dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, (uintptr_t) THREAD->kstack); |
62 | dtlb_insert_mapping((__address) THREAD->kstack, KA2PA(THREAD->kstack), PAGESIZE_8K, true, true); |
62 | dtlb_insert_mapping((uintptr_t) THREAD->kstack, KA2PA(THREAD->kstack), PAGESIZE_8K, true, true); |
63 | } |
63 | } |
64 | } |
64 | } |
65 | 65 | ||
66 | /** Unlock thread's stack from TLB, if necessary. */ |
66 | /** Unlock thread's stack from TLB, if necessary. */ |
67 | void after_thread_ran_arch(void) |
67 | void after_thread_ran_arch(void) |
68 | { |
68 | { |
69 | __address base; |
69 | uintptr_t base; |
70 | 70 | ||
71 | base = ALIGN_DOWN(config.base, 1<<KERNEL_PAGE_WIDTH); |
71 | base = ALIGN_DOWN(config.base, 1<<KERNEL_PAGE_WIDTH); |
72 | 72 | ||
73 | if ((__address) THREAD->kstack < base || (__address) THREAD->kstack > base + (1<<KERNEL_PAGE_WIDTH)) { |
73 | if ((uintptr_t) THREAD->kstack < base || (uintptr_t) THREAD->kstack > base + (1<<KERNEL_PAGE_WIDTH)) { |
74 | /* |
74 | /* |
75 | * Kernel stack of this thread is locked in DTLB. |
75 | * Kernel stack of this thread is locked in DTLB. |
76 | * Destroy the mapping. |
76 | * Destroy the mapping. |
77 | */ |
77 | */ |
78 | dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, (__address) THREAD->kstack); |
78 | dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, (uintptr_t) THREAD->kstack); |
79 | } |
79 | } |
80 | } |
80 | } |
81 | 81 | ||
82 | /** @} |
82 | /** @} |
83 | */ |
83 | */ |