Rev 3674 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3674 | Rev 4691 | ||
|---|---|---|---|
| Line 87... | Line 87... | ||
| 87 | #ifdef CONFIG_TSB |
87 | #ifdef CONFIG_TSB |
| 88 | /* |
88 | /* |
| 89 | * The count must be calculated with respect to the emualted 16K page |
89 | * The count must be calculated with respect to the emualted 16K page |
| 90 | * size. |
90 | * size. |
| 91 | */ |
91 | */ |
| 92 | count_t cnt = ((ITSB_ENTRY_COUNT + DTSB_ENTRY_COUNT) * |
92 | size_t cnt = ((ITSB_ENTRY_COUNT + DTSB_ENTRY_COUNT) * |
| 93 | sizeof(tsb_entry_t)) >> FRAME_WIDTH; |
93 | sizeof(tsb_entry_t)) >> FRAME_WIDTH; |
| 94 | frame_free(KA2PA((uintptr_t) as->arch.itsb)); |
94 | frame_free(KA2PA((uintptr_t) as->arch.itsb)); |
| 95 | return cnt; |
95 | return cnt; |
| 96 | #else |
96 | #else |
| 97 | return 0; |
97 | return 0; |
| Line 99... | Line 99... | ||
| 99 | } |
99 | } |
| 100 | 100 | ||
| 101 | int as_create_arch(as_t *as, int flags) |
101 | int as_create_arch(as_t *as, int flags) |
| 102 | { |
102 | { |
| 103 | #ifdef CONFIG_TSB |
103 | #ifdef CONFIG_TSB |
| 104 | tsb_invalidate(as, 0, (count_t) -1); |
104 | tsb_invalidate(as, 0, (size_t) -1); |
| 105 | #endif |
105 | #endif |
| 106 | return 0; |
106 | return 0; |
| 107 | } |
107 | } |
| 108 | 108 | ||
| 109 | /** Perform sparc64-specific tasks when an address space becomes active on the |
109 | /** Perform sparc64-specific tasks when an address space becomes active on the |