David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 1 | #ifndef _SPARC64_TSB_H |
| 2 | #define _SPARC64_TSB_H |
| 3 | |
| 4 | /* The sparc64 TSB is similar to the powerpc hashtables. It's a |
| 5 | * power-of-2 sized table of TAG/PTE pairs. The cpu precomputes |
| 6 | * pointers into this table for 8K and 64K page sizes, and also a |
| 7 | * comparison TAG based upon the virtual address and context which |
| 8 | * faults. |
| 9 | * |
| 10 | * TLB miss trap handler software does the actual lookup via something |
| 11 | * of the form: |
| 12 | * |
| 13 | * ldxa [%g0] ASI_{D,I}MMU_TSB_8KB_PTR, %g1 |
| 14 | * ldxa [%g0] ASI_{D,I}MMU, %g6 |
David S. Miller | 8b23427 | 2006-02-17 18:01:02 -0800 | [diff] [blame] | 15 | * sllx %g6, 22, %g6 |
| 16 | * srlx %g6, 22, %g6 |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 17 | * ldda [%g1] ASI_NUCLEUS_QUAD_LDD, %g4 |
| 18 | * cmp %g4, %g6 |
| 19 | * bne,pn %xcc, tsb_miss_{d,i}tlb |
| 20 | * mov FAULT_CODE_{D,I}TLB, %g3 |
| 21 | * stxa %g5, [%g0] ASI_{D,I}TLB_DATA_IN |
| 22 | * retry |
| 23 | * |
David S. Miller | 98c5584 | 2006-01-31 18:31:20 -0800 | [diff] [blame] | 24 | * |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 25 | * Each 16-byte slot of the TSB is the 8-byte tag and then the 8-byte |
| 26 | * PTE. The TAG is of the same layout as the TLB TAG TARGET mmu |
| 27 | * register which is: |
| 28 | * |
| 29 | * ------------------------------------------------- |
| 30 | * | - | CONTEXT | - | VADDR bits 63:22 | |
| 31 | * ------------------------------------------------- |
| 32 | * 63 61 60 48 47 42 41 0 |
| 33 | * |
David S. Miller | 8b23427 | 2006-02-17 18:01:02 -0800 | [diff] [blame] | 34 | * But actually, since we use per-mm TSB's, we zero out the CONTEXT |
| 35 | * field. |
| 36 | * |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 37 | * Like the powerpc hashtables we need to use locking in order to |
| 38 | * synchronize while we update the entries. PTE updates need locking |
| 39 | * as well. |
| 40 | * |
| 41 | * We need to carefully choose a lock bits for the TSB entry. We |
| 42 | * choose to use bit 47 in the tag. Also, since we never map anything |
| 43 | * at page zero in context zero, we use zero as an invalid tag entry. |
| 44 | * When the lock bit is set, this forces a tag comparison failure. |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 45 | */ |
| 46 | |
David S. Miller | 4753eb2 | 2006-01-31 18:32:44 -0800 | [diff] [blame] | 47 | #define TSB_TAG_LOCK_BIT 47 |
| 48 | #define TSB_TAG_LOCK_HIGH (1 << (TSB_TAG_LOCK_BIT - 32)) |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 49 | |
David S. Miller | 8b23427 | 2006-02-17 18:01:02 -0800 | [diff] [blame] | 50 | #define TSB_TAG_INVALID_BIT 46 |
| 51 | #define TSB_TAG_INVALID_HIGH (1 << (TSB_TAG_INVALID_BIT - 32)) |
| 52 | |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 53 | #define TSB_MEMBAR membar #StoreStore |
| 54 | |
David S. Miller | 517af33 | 2006-02-01 15:55:21 -0800 | [diff] [blame] | 55 | /* Some cpus support physical address quad loads. We want to use |
| 56 | * those if possible so we don't need to hard-lock the TSB mapping |
| 57 | * into the TLB. We encode some instruction patching in order to |
| 58 | * support this. |
| 59 | * |
| 60 | * The kernel TSB is locked into the TLB by virtue of being in the |
| 61 | * kernel image, so we don't play these games for swapper_tsb access. |
| 62 | */ |
| 63 | #ifndef __ASSEMBLY__ |
David S. Miller | d257d5d | 2006-02-06 23:44:37 -0800 | [diff] [blame] | 64 | struct tsb_ldquad_phys_patch_entry { |
| 65 | unsigned int addr; |
| 66 | unsigned int sun4u_insn; |
| 67 | unsigned int sun4v_insn; |
| 68 | }; |
| 69 | extern struct tsb_ldquad_phys_patch_entry __tsb_ldquad_phys_patch, |
| 70 | __tsb_ldquad_phys_patch_end; |
| 71 | |
David S. Miller | 517af33 | 2006-02-01 15:55:21 -0800 | [diff] [blame] | 72 | struct tsb_phys_patch_entry { |
| 73 | unsigned int addr; |
| 74 | unsigned int insn; |
| 75 | }; |
| 76 | extern struct tsb_phys_patch_entry __tsb_phys_patch, __tsb_phys_patch_end; |
| 77 | #endif |
| 78 | #define TSB_LOAD_QUAD(TSB, REG) \ |
| 79 | 661: ldda [TSB] ASI_NUCLEUS_QUAD_LDD, REG; \ |
David S. Miller | d257d5d | 2006-02-06 23:44:37 -0800 | [diff] [blame] | 80 | .section .tsb_ldquad_phys_patch, "ax"; \ |
David S. Miller | 517af33 | 2006-02-01 15:55:21 -0800 | [diff] [blame] | 81 | .word 661b; \ |
| 82 | ldda [TSB] ASI_QUAD_LDD_PHYS, REG; \ |
David S. Miller | d257d5d | 2006-02-06 23:44:37 -0800 | [diff] [blame] | 83 | ldda [TSB] ASI_QUAD_LDD_PHYS_4V, REG; \ |
David S. Miller | 517af33 | 2006-02-01 15:55:21 -0800 | [diff] [blame] | 84 | .previous |
| 85 | |
| 86 | #define TSB_LOAD_TAG_HIGH(TSB, REG) \ |
| 87 | 661: lduwa [TSB] ASI_N, REG; \ |
| 88 | .section .tsb_phys_patch, "ax"; \ |
| 89 | .word 661b; \ |
| 90 | lduwa [TSB] ASI_PHYS_USE_EC, REG; \ |
| 91 | .previous |
| 92 | |
| 93 | #define TSB_LOAD_TAG(TSB, REG) \ |
| 94 | 661: ldxa [TSB] ASI_N, REG; \ |
| 95 | .section .tsb_phys_patch, "ax"; \ |
| 96 | .word 661b; \ |
| 97 | ldxa [TSB] ASI_PHYS_USE_EC, REG; \ |
| 98 | .previous |
| 99 | |
| 100 | #define TSB_CAS_TAG_HIGH(TSB, REG1, REG2) \ |
| 101 | 661: casa [TSB] ASI_N, REG1, REG2; \ |
| 102 | .section .tsb_phys_patch, "ax"; \ |
| 103 | .word 661b; \ |
| 104 | casa [TSB] ASI_PHYS_USE_EC, REG1, REG2; \ |
| 105 | .previous |
| 106 | |
| 107 | #define TSB_CAS_TAG(TSB, REG1, REG2) \ |
| 108 | 661: casxa [TSB] ASI_N, REG1, REG2; \ |
| 109 | .section .tsb_phys_patch, "ax"; \ |
| 110 | .word 661b; \ |
| 111 | casxa [TSB] ASI_PHYS_USE_EC, REG1, REG2; \ |
| 112 | .previous |
| 113 | |
| 114 | #define TSB_STORE(ADDR, VAL) \ |
| 115 | 661: stxa VAL, [ADDR] ASI_N; \ |
| 116 | .section .tsb_phys_patch, "ax"; \ |
| 117 | .word 661b; \ |
| 118 | stxa VAL, [ADDR] ASI_PHYS_USE_EC; \ |
| 119 | .previous |
| 120 | |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 121 | #define TSB_LOCK_TAG(TSB, REG1, REG2) \ |
David S. Miller | 517af33 | 2006-02-01 15:55:21 -0800 | [diff] [blame] | 122 | 99: TSB_LOAD_TAG_HIGH(TSB, REG1); \ |
| 123 | sethi %hi(TSB_TAG_LOCK_HIGH), REG2;\ |
| 124 | andcc REG1, REG2, %g0; \ |
| 125 | bne,pn %icc, 99b; \ |
| 126 | nop; \ |
| 127 | TSB_CAS_TAG_HIGH(TSB, REG1, REG2); \ |
| 128 | cmp REG1, REG2; \ |
| 129 | bne,pn %icc, 99b; \ |
| 130 | nop; \ |
| 131 | TSB_MEMBAR |
| 132 | |
| 133 | #define TSB_WRITE(TSB, TTE, TAG) \ |
| 134 | add TSB, 0x8, TSB; \ |
| 135 | TSB_STORE(TSB, TTE); \ |
| 136 | sub TSB, 0x8, TSB; \ |
| 137 | TSB_MEMBAR; \ |
| 138 | TSB_STORE(TSB, TAG); |
| 139 | |
| 140 | #define KTSB_LOAD_QUAD(TSB, REG) \ |
| 141 | ldda [TSB] ASI_NUCLEUS_QUAD_LDD, REG; |
| 142 | |
| 143 | #define KTSB_STORE(ADDR, VAL) \ |
| 144 | stxa VAL, [ADDR] ASI_N; |
| 145 | |
| 146 | #define KTSB_LOCK_TAG(TSB, REG1, REG2) \ |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 147 | 99: lduwa [TSB] ASI_N, REG1; \ |
David S. Miller | 4753eb2 | 2006-01-31 18:32:44 -0800 | [diff] [blame] | 148 | sethi %hi(TSB_TAG_LOCK_HIGH), REG2;\ |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 149 | andcc REG1, REG2, %g0; \ |
| 150 | bne,pn %icc, 99b; \ |
| 151 | nop; \ |
| 152 | casa [TSB] ASI_N, REG1, REG2;\ |
| 153 | cmp REG1, REG2; \ |
| 154 | bne,pn %icc, 99b; \ |
| 155 | nop; \ |
| 156 | TSB_MEMBAR |
| 157 | |
David S. Miller | 517af33 | 2006-02-01 15:55:21 -0800 | [diff] [blame] | 158 | #define KTSB_WRITE(TSB, TTE, TAG) \ |
| 159 | add TSB, 0x8, TSB; \ |
| 160 | stxa TTE, [TSB] ASI_N; \ |
| 161 | sub TSB, 0x8, TSB; \ |
| 162 | TSB_MEMBAR; \ |
| 163 | stxa TAG, [TSB] ASI_N; |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 164 | |
| 165 | /* Do a kernel page table walk. Leaves physical PTE pointer in |
| 166 | * REG1. Jumps to FAIL_LABEL on early page table walk termination. |
| 167 | * VADDR will not be clobbered, but REG2 will. |
| 168 | */ |
| 169 | #define KERN_PGTABLE_WALK(VADDR, REG1, REG2, FAIL_LABEL) \ |
| 170 | sethi %hi(swapper_pg_dir), REG1; \ |
| 171 | or REG1, %lo(swapper_pg_dir), REG1; \ |
| 172 | sllx VADDR, 64 - (PGDIR_SHIFT + PGDIR_BITS), REG2; \ |
| 173 | srlx REG2, 64 - PAGE_SHIFT, REG2; \ |
| 174 | andn REG2, 0x3, REG2; \ |
| 175 | lduw [REG1 + REG2], REG1; \ |
| 176 | brz,pn REG1, FAIL_LABEL; \ |
| 177 | sllx VADDR, 64 - (PMD_SHIFT + PMD_BITS), REG2; \ |
| 178 | srlx REG2, 64 - PAGE_SHIFT, REG2; \ |
| 179 | sllx REG1, 11, REG1; \ |
| 180 | andn REG2, 0x3, REG2; \ |
| 181 | lduwa [REG1 + REG2] ASI_PHYS_USE_EC, REG1; \ |
| 182 | brz,pn REG1, FAIL_LABEL; \ |
| 183 | sllx VADDR, 64 - PMD_SHIFT, REG2; \ |
| 184 | srlx REG2, 64 - PAGE_SHIFT, REG2; \ |
| 185 | sllx REG1, 11, REG1; \ |
| 186 | andn REG2, 0x7, REG2; \ |
| 187 | add REG1, REG2, REG1; |
| 188 | |
| 189 | /* Do a user page table walk in MMU globals. Leaves physical PTE |
| 190 | * pointer in REG1. Jumps to FAIL_LABEL on early page table walk |
| 191 | * termination. Physical base of page tables is in PHYS_PGD which |
| 192 | * will not be modified. |
| 193 | * |
| 194 | * VADDR will not be clobbered, but REG1 and REG2 will. |
| 195 | */ |
| 196 | #define USER_PGTABLE_WALK_TL1(VADDR, PHYS_PGD, REG1, REG2, FAIL_LABEL) \ |
| 197 | sllx VADDR, 64 - (PGDIR_SHIFT + PGDIR_BITS), REG2; \ |
| 198 | srlx REG2, 64 - PAGE_SHIFT, REG2; \ |
| 199 | andn REG2, 0x3, REG2; \ |
| 200 | lduwa [PHYS_PGD + REG2] ASI_PHYS_USE_EC, REG1; \ |
| 201 | brz,pn REG1, FAIL_LABEL; \ |
| 202 | sllx VADDR, 64 - (PMD_SHIFT + PMD_BITS), REG2; \ |
| 203 | srlx REG2, 64 - PAGE_SHIFT, REG2; \ |
| 204 | sllx REG1, 11, REG1; \ |
| 205 | andn REG2, 0x3, REG2; \ |
| 206 | lduwa [REG1 + REG2] ASI_PHYS_USE_EC, REG1; \ |
| 207 | brz,pn REG1, FAIL_LABEL; \ |
| 208 | sllx VADDR, 64 - PMD_SHIFT, REG2; \ |
| 209 | srlx REG2, 64 - PAGE_SHIFT, REG2; \ |
| 210 | sllx REG1, 11, REG1; \ |
| 211 | andn REG2, 0x7, REG2; \ |
| 212 | add REG1, REG2, REG1; |
| 213 | |
| 214 | /* Lookup a OBP mapping on VADDR in the prom_trans[] table at TL>0. |
| 215 | * If no entry is found, FAIL_LABEL will be branched to. On success |
| 216 | * the resulting PTE value will be left in REG1. VADDR is preserved |
| 217 | * by this routine. |
| 218 | */ |
| 219 | #define OBP_TRANS_LOOKUP(VADDR, REG1, REG2, REG3, FAIL_LABEL) \ |
| 220 | sethi %hi(prom_trans), REG1; \ |
| 221 | or REG1, %lo(prom_trans), REG1; \ |
| 222 | 97: ldx [REG1 + 0x00], REG2; \ |
| 223 | brz,pn REG2, FAIL_LABEL; \ |
| 224 | nop; \ |
| 225 | ldx [REG1 + 0x08], REG3; \ |
| 226 | add REG2, REG3, REG3; \ |
| 227 | cmp REG2, VADDR; \ |
| 228 | bgu,pt %xcc, 98f; \ |
| 229 | cmp VADDR, REG3; \ |
| 230 | bgeu,pt %xcc, 98f; \ |
| 231 | ldx [REG1 + 0x10], REG3; \ |
| 232 | sub VADDR, REG2, REG2; \ |
| 233 | ba,pt %xcc, 99f; \ |
| 234 | add REG3, REG2, REG1; \ |
| 235 | 98: ba,pt %xcc, 97b; \ |
| 236 | add REG1, (3 * 8), REG1; \ |
| 237 | 99: |
| 238 | |
David S. Miller | 2f7ee7c | 2006-01-31 18:33:49 -0800 | [diff] [blame] | 239 | /* We use a 32K TSB for the whole kernel, this allows to |
| 240 | * handle about 16MB of modules and vmalloc mappings without |
| 241 | * incurring many hash conflicts. |
| 242 | */ |
| 243 | #define KERNEL_TSB_SIZE_BYTES (32 * 1024) |
| 244 | #define KERNEL_TSB_NENTRIES \ |
| 245 | (KERNEL_TSB_SIZE_BYTES / 16) |
David S. Miller | d7744a0 | 2006-02-21 22:31:11 -0800 | [diff] [blame] | 246 | #define KERNEL_TSB4M_NENTRIES 4096 |
David S. Miller | 2f7ee7c | 2006-01-31 18:33:49 -0800 | [diff] [blame] | 247 | |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 248 | /* Do a kernel TSB lookup at tl>0 on VADDR+TAG, branch to OK_LABEL |
| 249 | * on TSB hit. REG1, REG2, REG3, and REG4 are used as temporaries |
| 250 | * and the found TTE will be left in REG1. REG3 and REG4 must |
| 251 | * be an even/odd pair of registers. |
| 252 | * |
| 253 | * VADDR and TAG will be preserved and not clobbered by this macro. |
| 254 | */ |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 255 | #define KERN_TSB_LOOKUP_TL1(VADDR, TAG, REG1, REG2, REG3, REG4, OK_LABEL) \ |
| 256 | sethi %hi(swapper_tsb), REG1; \ |
| 257 | or REG1, %lo(swapper_tsb), REG1; \ |
David S. Miller | 2f7ee7c | 2006-01-31 18:33:49 -0800 | [diff] [blame] | 258 | srlx VADDR, PAGE_SHIFT, REG2; \ |
| 259 | and REG2, (KERNEL_TSB_NENTRIES - 1), REG2; \ |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 260 | sllx REG2, 4, REG2; \ |
| 261 | add REG1, REG2, REG2; \ |
David S. Miller | 517af33 | 2006-02-01 15:55:21 -0800 | [diff] [blame] | 262 | KTSB_LOAD_QUAD(REG2, REG3); \ |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 263 | cmp REG3, TAG; \ |
| 264 | be,a,pt %xcc, OK_LABEL; \ |
| 265 | mov REG4, REG1; |
| 266 | |
David S. Miller | d1acb42 | 2007-03-16 17:20:28 -0700 | [diff] [blame] | 267 | #ifndef CONFIG_DEBUG_PAGEALLOC |
David S. Miller | d7744a0 | 2006-02-21 22:31:11 -0800 | [diff] [blame] | 268 | /* This version uses a trick, the TAG is already (VADDR >> 22) so |
| 269 | * we can make use of that for the index computation. |
| 270 | */ |
| 271 | #define KERN_TSB4M_LOOKUP_TL1(TAG, REG1, REG2, REG3, REG4, OK_LABEL) \ |
| 272 | sethi %hi(swapper_4m_tsb), REG1; \ |
| 273 | or REG1, %lo(swapper_4m_tsb), REG1; \ |
David S. Miller | 2d9e276 | 2007-05-29 01:58:31 -0700 | [diff] [blame] | 274 | and TAG, (KERNEL_TSB4M_NENTRIES - 1), REG2; \ |
David S. Miller | d7744a0 | 2006-02-21 22:31:11 -0800 | [diff] [blame] | 275 | sllx REG2, 4, REG2; \ |
| 276 | add REG1, REG2, REG2; \ |
| 277 | KTSB_LOAD_QUAD(REG2, REG3); \ |
| 278 | cmp REG3, TAG; \ |
| 279 | be,a,pt %xcc, OK_LABEL; \ |
| 280 | mov REG4, REG1; |
David S. Miller | d1acb42 | 2007-03-16 17:20:28 -0700 | [diff] [blame] | 281 | #endif |
David S. Miller | d7744a0 | 2006-02-21 22:31:11 -0800 | [diff] [blame] | 282 | |
David S. Miller | 74bf431 | 2006-01-31 18:29:18 -0800 | [diff] [blame] | 283 | #endif /* !(_SPARC64_TSB_H) */ |