Rev 1888 | Rev 1891 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1888 | Rev 1890 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | 34 | ||
35 | #include <arch/mm/as.h> |
35 | #include <arch/mm/as.h> |
36 | #include <arch/mm/tlb.h> |
36 | #include <arch/mm/tlb.h> |
37 | #include <genarch/mm/as_ht.h> |
37 | #include <genarch/mm/as_ht.h> |
38 | #include <genarch/mm/asid_fifo.h> |
38 | #include <genarch/mm/asid_fifo.h> |
- | 39 | #include <debug.h> |
|
- | 40 | ||
- | 41 | #ifdef CONFIG_TSB |
|
- | 42 | #include <arch/mm/tsb.h> |
|
- | 43 | #endif |
|
39 | 44 | ||
40 | /** Architecture dependent address space init. */ |
45 | /** Architecture dependent address space init. */ |
41 | void as_arch_init(void) |
46 | void as_arch_init(void) |
42 | { |
47 | { |
43 | as_operations = &as_ht_operations; |
48 | as_operations = &as_ht_operations; |
44 | asid_fifo_init(); |
49 | asid_fifo_init(); |
45 | } |
50 | } |
46 | 51 | ||
- | 52 | /** Perform sparc64-specific tasks when an address space becomes active on the processor. |
|
- | 53 | * |
|
- | 54 | * Install ASID and map TSBs. |
|
- | 55 | * |
|
- | 56 | * @param as Address space. |
|
- | 57 | */ |
|
47 | void as_install_arch(as_t *as) |
58 | void as_install_arch(as_t *as) |
48 | { |
59 | { |
49 | tlb_context_reg_t ctx; |
60 | tlb_context_reg_t ctx; |
50 | 61 | ||
51 | /* |
62 | /* |
- | 63 | * Note that we don't lock the address space. |
|
- | 64 | * That's correct - we can afford it here |
|
- | 65 | * because we only read members that are |
|
- | 66 | * currently read-only. |
|
- | 67 | */ |
|
- | 68 | ||
- | 69 | /* |
|
52 | * Write ASID to secondary context register. |
70 | * Write ASID to secondary context register. |
53 | * The primary context register has to be set |
71 | * The primary context register has to be set |
54 | * from TL>0 so it will be filled from the |
72 | * from TL>0 so it will be filled from the |
55 | * secondary context register from the TL=1 |
73 | * secondary context register from the TL=1 |
56 | * code just before switch to userspace. |
74 | * code just before switch to userspace. |
57 | */ |
75 | */ |
58 | ctx.v = 0; |
76 | ctx.v = 0; |
59 | ctx.context = as->asid; |
77 | ctx.context = as->asid; |
60 | mmu_secondary_context_write(ctx.v); |
78 | mmu_secondary_context_write(ctx.v); |
- | 79 | ||
- | 80 | #ifdef CONFIG_TSB |
|
- | 81 | if (as != AS_KERNEL) { |
|
- | 82 | uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH); |
|
- | 83 | ||
- | 84 | ASSERT(as->arch.itsb && as->arch.dtsb); |
|
- | 85 | ||
- | 86 | uintptr_t tsb = as->arch.itsb; |
|
- | 87 | ||
- | 88 | if (!overlaps(tsb, 8*PAGE_SIZE, base, 1 << KERNEL_PAGE_WIDTH)) { |
|
- | 89 | /* |
|
- | 90 | * TSBs were allocated from memory not covered |
|
- | 91 | * by the locked 4M kernel DTLB entry. We need |
|
- | 92 | * to map both TSBs explicitly. |
|
- | 93 | */ |
|
- | 94 | dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, tsb); |
|
- | 95 | dtlb_insert_mapping(tsb, KA2PA(tsb), PAGESIZE_64K, true, true); |
|
- | 96 | } |
|
- | 97 | ||
- | 98 | /* |
|
- | 99 | * Setup TSB Base registers. |
|
- | 100 | */ |
|
- | 101 | tsb_base_reg_t tsb_base; |
|
- | 102 | ||
- | 103 | tsb_base.value = 0; |
|
- | 104 | tsb_base.size = TSB_SIZE; |
|
- | 105 | tsb_base.split = 0; |
|
- | 106 | ||
- | 107 | tsb_base.base = as->arch.itsb >> PAGE_WIDTH; |
|
- | 108 | itsb_base_write(tsb_base.value); |
|
- | 109 | tsb_base.base = as->arch.dtsb >> PAGE_WIDTH; |
|
- | 110 | dtsb_base_write(tsb_base.value); |
|
- | 111 | } |
|
- | 112 | #endif |
|
- | 113 | } |
|
- | 114 | ||
- | 115 | /** Perform sparc64-specific tasks when an address space is removed from the processor. |
|
- | 116 | * |
|
- | 117 | * Demap TSBs. |
|
- | 118 | * |
|
- | 119 | * @param as Address space. |
|
- | 120 | */ |
|
- | 121 | void as_deinstall_arch(as_t *as) |
|
- | 122 | { |
|
- | 123 | ||
- | 124 | /* |
|
- | 125 | * Note that we don't lock the address space. |
|
- | 126 | * That's correct - we can afford it here |
|
- | 127 | * because we only read members that are |
|
- | 128 | * currently read-only. |
|
- | 129 | */ |
|
- | 130 | ||
- | 131 | #ifdef CONFIG_TSB |
|
- | 132 | if (as != AS_KERNEL) { |
|
- | 133 | uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH); |
|
- | 134 | ||
- | 135 | ASSERT(as->arch.itsb && as->arch.dtsb); |
|
- | 136 | ||
- | 137 | uintptr_t tsb = as->arch.itsb; |
|
- | 138 | ||
- | 139 | if (!overlaps(tsb, 8*PAGE_SIZE, base, 1 << KERNEL_PAGE_WIDTH)) { |
|
- | 140 | /* |
|
- | 141 | * TSBs were allocated from memory not covered |
|
- | 142 | * by the locked 4M kernel DTLB entry. We need |
|
- | 143 | * to demap the entry installed by as_install_arch(). |
|
- | 144 | */ |
|
- | 145 | dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, tsb); |
|
- | 146 | } |
|
- | 147 | ||
- | 148 | } |
|
- | 149 | #endif |
|
61 | } |
150 | } |
62 | 151 | ||
63 | /** @} |
152 | /** @} |
64 | */ |
153 | */ |