Rev 3672 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3672 | Rev 4490 | ||
---|---|---|---|
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 |