| 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) */ |