memmap 31.3 KB
Newer Older
Neil Turton's avatar
Neil Turton committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
; Copyright 1996 Acorn Computers Ltd
;
; Licensed under the Apache License, Version 2.0 (the "License");
; you may not use this file except in compliance with the License.
; You may obtain a copy of the License at
;
;     http://www.apache.org/licenses/LICENSE-2.0
;
; Unless required by applicable law or agreed to in writing, software
; distributed under the License is distributed on an "AS IS" BASIS,
; WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
; See the License for the specific language governing permissions and
; limitations under the License.
;
; > s.memmap

; low level memory mapping
;
19 20 21
; ----------------------------------------------------------------------------------
;
;convert page number in $pnum to L2PT entry (physical address+protection bits),
Neil Turton's avatar
Neil Turton committed
22 23
;using PhysBin table for speed
;
24 25
;entry: $ptable -> PhysBin table, $pbits = protection bits
;exit:  $temp corrupted
Neil Turton's avatar
Neil Turton committed
26 27
;
        MACRO
28 29 30 31 32 33
        PageNumToL2PT $pnum,$ptable,$pbits,$temp
        BIC     $temp,$pnum,#(3:SHL:(AMBPhysBinShift-2))       ;word alignment for PhysBin lookup
        LDR     $temp,[$ptable,$temp,LSR #(AMBPhysBinShift-2)] ;start physical address of bin
        AND     $pnum,$pnum,#AMBPhysBinMask                    ;no. pages into bin
        ADD     $pnum,$temp,$pnum,LSL #Log2PageSize            ;physical address of page
        ORR     $pnum,$pnum,$pbits                             ;munge in protection bits
Neil Turton's avatar
Neil Turton committed
34 35
        MEND

36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58

  [ AMB_LazyMapIn

; ----------------------------------------------------------------------------------
;
;AMB_LazyFixUp
;
; *Only* for ARMs where the abort handler can restart instructions
;
; Routine to be used in abort handlers (in abort32 mode), that checks to see if abort
; is expected, and fixes things up if so, ready to restart instruction.
;
; Fix up consists of mapping in affected page, and updating AMBMappedInRegister. This
; may seem like a lot of work, but remember that the L2PT and CAM updates for each page are
; needed anyway in non-lazy scheme, so there is really only a housekeeping overhead.
;
; There is no cache clean/flush consideration here, since the map is a map in from Nowhere.
; TLB flush consideration is left to main abort handler code - in fact there may not
; be a TLB flush consideration at all, if ARM TLB can be assumed not to cache an
; entry which is a translation fault, as seems rational.
;
; entry: r0 = aborting address (data address for data abort, instruction address
;        for prefetch abort), r1-r7 trashable, no stack
59
;        r2 = 1 for prefetch abort, 0 for data abort
60
;        FSR valid for data aborts, unpredictable for prefetch aborts
61
; exit:  r0 = non-zero (NE status) if abort was expected and fixed up, zero (EQ status) if not
62
;        FAR,FSR,SPSR_abt,lr_abt preserved
63 64 65
;
AMB_LazyFixUp ROUT
        MOV     r7,r12
Jeffrey Lee's avatar
Jeffrey Lee committed
66
        LDR     r12,=ZeroPage+AMBControl_ws
67 68
        LDR     r12,[r12]
        CMP     r12,#0
69
        BEQ     %FT90                                    ;not initialised!
70 71
        LDR     r1,AMBFlags
        TST     r1,#AMBFlag_LazyMapIn_disable :OR: AMBFlag_LazyMapIn_suspend
72
        BNE     %FT90                                    ;not active
73 74
        LDR     r1,AMBMappedInNode
        CMP     r1,#0
75
        BEQ     %FT90                                    ;no current node
76
        ARM_read_FSR r6                                  ;hang onto FSR in case we have to preserve it
77
        TEQ     r2,#1                                    ;if data abort
78 79 80
        ANDNE   r3,r6,#&F
        TEQNE   r3,#7                                    ; and not a page translation fault
        BNE     %FT20                                    ; then not a lazy abort (and FAR may be invalid anyway)
81
        LDR     r2,[r1,#AMBNode_Npages]
82
        SUBS    r0,r0,#ApplicationStart
83
        BLO     %FT20                                    ;abort not in current app space
84
        MOV     r0,r0,LSR #Log2PageSize                  ;address now in terms of pages from ApplicationStart
85 86
        CMP     r0,r2
        BHS     %FT20                                    ;abort not in current app space
87
;
88 89 90
; check/update the MappedIn bitmap
;
        ADR     r2,AMBMappedInRegister
91
        MOV     r5,#1
92 93 94 95 96
        ADD     r2,r2,r0,LSR #5-2
        BIC     r2,r2,#3                                 ;r2 -> bitmap word affected
        AND     r3,r0,#31
        MOV     r5,r5,LSL r3                             ;mask for bit affected in bitmap word
        LDR     r3,[r2]
97
        LDR     r4,AMBMappedInNpages                     ;count it
98 99 100 101
        TST     r3,r5                                    ;if page already mapped in, not a lazy abort
        BNE     %FT20
        ORR     r3,r3,r5                                 ;ok, mark that we are going to map this page in
        STR     r3,[r2]
102 103
        ADD     r4,r4,#1
        STR     r4,AMBMappedInNpages
104 105
;
; now map in the the page that went pop
106 107 108 109
;
        ADD     r1,r1,#AMBNode_pages
        ADD     r1,r1,r0,LSL #2                          ;r1 -> page involved, in node page list
        LDR     r2,AMBPhysBin
110 111

; Calculate the L2PT protection bits in a nice way that won't produce broken code if we change MMU model
112
; This should match the AP_Full entry from the PPLTrans table that gets used by BangCam (plus C+B bits)
113 114 115
   [ MEMM_Type = "VMSAv6"
        MOV     r3,#(AP_Full*L2X_APMult)+L2_ExtPage+L2_C+L2_B
   |
116
        ASSERT  (AP_Full*L2_APMult)+L2_SmallPage+L2_C+L2_B = &FFE
117
        MOV     r3,#&FF0
118 119
        ORR     r3,r3,#&E
   ]
120 121 122 123 124 125 126
        LDR     r4,[r1]
        MOV     r6,r4
        PageNumToL2PT r4,r2,r3,r5
;
;here, r6 = page number of page involved, r4 = new L2PT entry value to map in page
;
        ADD     r0,r0,#ApplicationStart:SHR:Log2PageSize ;address now in terms of pages from 0
127
        LDR     r5,=L2PT
128
        STR     r4,[r5,r0,LSL #2]                        ;update L2PT
129
;
Jeffrey Lee's avatar
Jeffrey Lee committed
130
        LDR     r5,=ZeroPage
131
        LDR     r5,[r5,#CamEntriesPointer]
132
        ADD     r5,r5,r6,LSL #CAM_EntrySizeLog2          ;r5 -> CAM entry affected
133
        MOVS    r0,r0,LSL #Log2PageSize                  ;address is now ordinary again, and must be non-zero
134
        MOV     r1,#0                                    ;0 = AP for ordinary page
135 136
        ASSERT  CAM_LogAddr=0
        ASSERT  CAM_PageFlags=4
137 138
        STMIA   r5,{r0,r1}                               ;update CAM entry
        MOV     r12,r7
139
        MOV     pc,lr                                    ;r0 is non-zero, NE status
140 141 142 143 144
;
; not our abort, but is possible that client abort handler is in app space, so force all
; app space pages in now (so that client abort handler does not cause lazy abort, scribbling over original abort details)
;
        ASSERT  No26bitCode                              ;assumes we have an abort stack! (recursive lazy fixup aborts may occur)
145
20
146 147 148 149 150 151 152
        MOV     r1,#ApplicationStart                     ;good old page walk to provoke lazy fixups
        LDR     r2,AMBMappedInNode
        LDR     r2,[r2,#AMBNode_Npages]
        CMP     r2,#0
        BEQ     %FT90
        MRS     r0,SPSR                                  ;preserve SPSR_abort for original abort details
        MOV     r4,lr                                    ;preserve lr_abort so we can return properly (!)
153 154
        ARM_read_FAR r5                                  ;preserve FAR in case client abort handler wants to read it
                                                         ;preserve FSR (already in r6) similarly
155 156 157 158 159
30
        LDR     r3,[r1]                                  ;bring that page in by the magic of aborts
        SUBS    r2,r2,#1
        ADD     r1,r1,#PageSize
        BNE     %BT30
160
        MSR     SPSR_cxsf,r0                             ;SPSR for original abort
161
        MOV     lr,r4                                    ;restore return address
162 163
        ARM_write_FAR r5                                 ;restore FAR
        ARM_write_FSR r6                                 ;restore FSR
164
      [ MEMM_Type = "VMSAv6"
165
        myISB   ,r0 ; Not sure if this is necessary or not; do it just in case
166
      ]
167 168
;
90
169
        MOVS    r0,#0
170
        MOV     r12,r7
171
        MOV     pc,lr                                    ;r0 is zero, EQ status
172 173 174

  ] ;AMB_LazyMapIn

175 176 177 178 179 180 181 182 183 184 185 186 187 188
; ----------------------------------------------------------------------------------

  [ AMB_LazyMapIn

;
; If page of given logical address (r0) is in current app space, make sure page is
; 'honest' ie. properly mapped in. This is for things like FindMemMapEntries
; that must return sensible info (and presumably their client needs a consistent
; view of app space mapping, so that laziness is transparent)
;
AMB_MakeHonestLA  ROUT
        CMP     r0,#AbsMaxAppSize                        ;quick dismiss if definitely not app address
        MOVHS   pc,lr
        Push    "r1,r12,lr"
Jeffrey Lee's avatar
Jeffrey Lee committed
189
        LDR     r12,=ZeroPage+AMBControl_ws
190 191 192 193 194 195 196 197 198 199 200
        LDR     r12,[r12]
        CMP     r12,#0
        BEQ     %FT90                                    ;we're dormant!
        SUBS    r14,r0,#ApplicationStart
        BMI     %FT90                                    ;below app space
        MOV     r14,r14,LSR #Log2PageSize                ;pages from ApplicationStart
        LDR     r1,AMBMappedInNode
        CMP     r1,#0
        BEQ     %FT90                                    ;no node mapped in
        LDR     r1,[r1,#AMBNode_Npages]
        CMP     r1,r14                                   ;HI if log addr is in current app space
201 202
        bichi   lr, r0, #3                               ; ensure word aligned
        ldrhi   r1, [lr,#0]                              ;make honest if necessary (magic of abort fixups!)
203 204 205 206 207 208 209 210
90
        Pull    "r1,r12,pc"


; similar to AMB_MakeHonestLA, but for page of given page number (r0)
;
AMB_MakeHonestPN  ROUT
        Push    "r1-r3,r12,lr"
Jeffrey Lee's avatar
Jeffrey Lee committed
211
        LDR     r12,=ZeroPage+AMBControl_ws
212 213 214
        LDR     r12,[r12]
        CMP     r12,#0
        BEQ     %FT90                                    ;we're dormant!
Jeffrey Lee's avatar
Jeffrey Lee committed
215
        LDR     r14,=ZeroPage
216 217 218 219
        LDR     r1,[r14,#MaxCamEntry]
        CMP     r0,r1
        BHI     %FT90                                    ;invalid page number
        LDR     r1,[r14,#CamEntriesPointer]
220 221
        ASSERT  CAM_LogAddr = 0
        LDR     r1,[r1,r0,LSL #CAM_EntrySizeLog2]       ;logical address from CAM
222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239
        LDR     r14,=Nowhere
        TEQ     r1,r14
        BNE     %FT90                                    ;only a page at Nowhere might be dishonest
        LDR     r1,AMBMappedInNode                       ;let's check the current node
        CMP     r1,#0
        BEQ     %FT90                                    ;no node mapped in
        LDR     r14,[r1,#AMBNode_Npages]
        MOV     r14,r14,LSL #Log2PageSize
        ADD     r14,r14,#ApplicationStart                ;top of current app space
        ADD     r1,r1,#AMBNode_pages                     ;[r1] is page number
        MOV     r2,#ApplicationStart                     ;r2 is logical address for page
10
        CMP     r2,r14
        BHS     %FT90
        LDR     r3,[r1],#4                               ;next page number in node
        TEQ     r3,r0                                    ;see if its the one that wants to be honest
        ADDNE   r2,r2,#PageSize                          ;next logical address
        BNE     %BT10
240 241
        bic     lr, r2, #3                               ;ensure word aligned
        ldr     r1,[lr,#0]                               ;make honest if necessary (magic of abort fixups!)
242 243 244 245
90
        Pull    "r1-r3,r12,pc"

  ] ;AMB_LazyMapIn
246 247 248

; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268
;AMB_movepagesin_L2PT
;
;updates L2PT for new logical page positions, does not update CAM
;
; entry:
;       r3  =  new logical address of 1st page
;       r8  =  number of pages
;       r10 -> page list
;       r11 =  protection/control bits for L2PT
;
AMB_movepagesin_L2PT ROUT
        Push    "r0-r10,r12,lr"

        LDR     lr,AMBPhysBin                  ;lr -> PhysBin
        LDR     r9,=L2PT
        ADD     r9,r9,r3,LSR #(Log2PageSize-2) ;r9 -> L2PT for 1st new logical page

        CMP     r8,#8
        BLT     %FT20
10
269 270 271 272 273 274 275 276 277 278
        LDMIA   r10!,{r0-r7}         ;next 8 page numbers
        PageNumToL2PT r0,lr,r11,r12
        PageNumToL2PT r1,lr,r11,r12
        PageNumToL2PT r2,lr,r11,r12
        PageNumToL2PT r3,lr,r11,r12
        PageNumToL2PT r4,lr,r11,r12
        PageNumToL2PT r5,lr,r11,r12
        PageNumToL2PT r6,lr,r11,r12
        PageNumToL2PT r7,lr,r11,r12
        STMIA   r9!,{r0-r7}          ;write 8 L2PT entries
Neil Turton's avatar
Neil Turton committed
279 280 281 282 283 284 285 286
        SUB     r8,r8,#8
        CMP     r8,#8
        BGE     %BT10
20
        CMP     r8,#0
        BEQ     %FT35
30
        LDR     r0,[r10],#4
287
        PageNumToL2PT r0,lr,r11,r12
Neil Turton's avatar
Neil Turton committed
288 289 290 291
        STR     r0,[r9],#4
        SUBS    r8,r8,#1
        BNE     %BT30
35
292 293 294 295 296 297
      [ MEMM_Type = "VMSAv6"
        ; DSB + ISB required to ensure effect of page table write is fully
        ; visible (after overwriting a faulting entry)
        myDSB   ,r0
        myISB   ,r0,,y
      ]
Neil Turton's avatar
Neil Turton committed
298 299
        Pull    "r0-r10,r12,pc"

300 301
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
302 303 304 305 306 307 308
;update CAM entry for page number in $reg
;
;entry: r11 -> CAM, r9 = logical addr of page, lr = PPL of page
;exit: $reg = addr of CAM entry
;
        MACRO
        UpdateCAM $reg
309 310 311
        ADD     $reg,r11,$reg,LSL #CAM_EntrySizeLog2 ;r0 -> CAM entry for 1st page
        ASSERT  CAM_LogAddr=0
        ASSERT  CAM_PageFlags=4
Neil Turton's avatar
Neil Turton committed
312 313 314
        STMIA   $reg,{r9,lr}            ;store logical addr,PPL
        MEND

315 316
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332
;AMB_movepagesin_CAM
;
;updates CAM, does not update L2PT
;
; entry:
;       r3  =  new logical address of 1st page
;       r8  =  number of pages
;       r9  =  PPL for CAM
;       r10 -> page list
;
AMB_movepagesin_CAM ROUT
        Push    "r0-r11,lr"


        MOV     lr,r9
        MOV     r9,r3
Jeffrey Lee's avatar
Jeffrey Lee committed
333
        LDR     r11,=ZeroPage
Neil Turton's avatar
Neil Turton committed
334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369
        LDR     r11,[r11,#CamEntriesPointer]   ;r11 -> CAM

        CMP     r8,#8
        BLT     %FT20
10
        LDMIA   r10!,{r0-r7}                   ;next 8 page numbers
        UpdateCAM r0
        ADD     r9,r9,#PageSize                ;next logical addr
        UpdateCAM r1
        ADD     r9,r9,#PageSize
        UpdateCAM r2
        ADD     r9,r9,#PageSize
        UpdateCAM r3
        ADD     r9,r9,#PageSize
        UpdateCAM r4
        ADD     r9,r9,#PageSize
        UpdateCAM r5
        ADD     r9,r9,#PageSize
        UpdateCAM r6
        ADD     r9,r9,#PageSize
        UpdateCAM r7
        ADD     r9,r9,#PageSize
        SUB     r8,r8,#8
        CMP     r8,#8
        BGE     %BT10
20
        CMP     r8,#0
        Pull    "r0-r11,pc",EQ
30
        LDR     r0,[r10],#4
        UpdateCAM r0
        ADD     r9,r9,#PageSize
        SUBS    r8,r8,#1
        BNE     %BT30
        Pull    "r0-r11,pc"

370 371
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
372 373 374 375 376 377 378 379 380 381 382 383 384 385
;AMB_movepagesout_CAM
;
;updates CAM, does not update L2PT
;
; entry:
;       r8  =  number of pages
;       r9  =  PPL for CAM
;       r10 -> page list
;
AMB_movepagesout_CAM ROUT
        Push    "r0-r11,lr"

        MOV     lr,r9
        LDR     r9,=DuffEntry
Jeffrey Lee's avatar
Jeffrey Lee committed
386
        LDR     r11,=ZeroPage
Neil Turton's avatar
Neil Turton committed
387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413
        LDR     r11,[r11,#CamEntriesPointer]   ;r11 -> CAM

        CMP     r8,#8
        BLT     %FT20
10
        LDMIA   r10!,{r0-r7}                   ;next 8 page numbers
        UpdateCAM r0
        UpdateCAM r1
        UpdateCAM r2
        UpdateCAM r3
        UpdateCAM r4
        UpdateCAM r5
        UpdateCAM r6
        UpdateCAM r7
        SUB     r8,r8,#8
        CMP     r8,#8
        BGE     %BT10
20
        CMP     r8,#0
        Pull    "r0-r11,pc",EQ
30
        LDR     r0,[r10],#4
        UpdateCAM r0
        SUBS    r8,r8,#1
        BNE     %BT30
        Pull    "r0-r11,pc"

414 415
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453
;AMB_movepagesout_L2PT
;
;updates L2PT for old logical page positions, does not update CAM
;
; entry:
;       r4  =  old logical address of 1st page
;       r8  =  number of pages
;
AMB_movepagesout_L2PT ROUT
        Push    "r0-r8,lr"

        LDR     lr,=L2PT
        ADD     lr,lr,r4,LSR #(Log2PageSize-2)    ;lr -> L2PT 1st entry

        MOV     r0,#0                             ;0 means translation fault
        MOV     r1,#0
        MOV     r2,#0
        MOV     r3,#0
        MOV     r4,#0
        MOV     r5,#0
        MOV     r6,#0
        MOV     r7,#0

        CMP     r8,#8
        BLT     %FT20
10
        STMIA   lr!,{r0-r7}                       ;blam! (8 entries)
        SUB     r8,r8,#8
        CMP     r8,#8
        BGE     %BT10
20
        CMP     r8,#0
        BEQ     %FT35
30
        STR     r0,[lr],#4
        SUBS    r8,r8,#1
        BNE     %BT30
35
454 455 456 457 458 459 460 461 462 463 464
      [ MEMM_Type = "VMSAv6"
        ; In order to guarantee that the result of a page table write is
        ; visible, the ARMv6+ memory order model requires us to perform TLB
        ; maintenance (equivalent to the MMU_ChangingUncached ARMop) after we've
        ; performed the write. Performing the maintenance beforehand (as we've
        ; done traditionally) will work most of the time, but not always.
        LDR     r0, [sp, #4*4]
        LDR     r1, [sp, #8*4]
        LDR     r2, =ZeroPage
        ARMop   MMU_ChangingUncachedEntries,,,r2
      ]
Neil Turton's avatar
Neil Turton committed
465 466
        Pull    "r0-r8,pc"

467 468
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
469 470 471 472 473 474 475 476 477
; AMB_SetMemMapEntries:
;
; entry:
;   R3 =  no. of pages
;   R4 -> list of page entries (1 word per entry, giving page no.)
;   R5 =  start logical address of mapping (-1 means 'out of the way')
;   R6 =  PPL ('page protection level') for mapping
;
AMB_SetMemMapEntries ROUT
478

Neil Turton's avatar
Neil Turton committed
479 480 481 482 483 484 485 486 487
        Push    "r0-r4,r7-r11,lr"

        MOVS    r8,r3
        BEQ     AMB_smme_exit

        CMP     r5,#-1
        MOVEQ   r9,#AP_Duff  ;PPL for mapped out pages
        MOVNE   r9,r6        ;PPL for mapped in pages

488
01
Neil Turton's avatar
Neil Turton committed
489 490 491
;get L2PT protection etc. bits, appropriate to PPL in R9, into R11
        ADRL    r1,PPLTrans
        AND     lr,r9,#3
492
        LDR     r7,=ZeroPage
Neil Turton's avatar
Neil Turton committed
493
        LDR     r11,[r1,lr,LSL #2]
494 495 496 497 498 499 500 501 502 503 504 505 506 507
  [ MEMM_Type = "VMSAv6"
        ; VMSAv6 is tricky, use XCBTable/PCBTrans
        ASSERT  DynAreaFlags_CPBits = 7*XCB_P :SHL: 10
        ASSERT  DynAreaFlags_NotCacheable = XCB_NC :SHL: 4
        ASSERT  DynAreaFlags_NotBufferable = XCB_NB :SHL: 4
        LDR     r2,[r7,#MMU_PCBTrans]
        TST     r9,#PageFlags_TempUncacheableBits
        AND     r1,r9,#DynAreaFlags_NotCacheable + DynAreaFlags_NotBufferable
        AND     r0,r9,#DynAreaFlags_CPBits
        ORRNE   r1,r1,#XCB_TU<<4            ; if temp uncache, set TU bit
        ORR     r1,r1,r0,LSR #10-4
        LDRB    r1,[r2,r1,LSR #4]           ; convert to X, C and B bits for this CPU
        ORR     r11,r11,r1
  |
Neil Turton's avatar
Neil Turton committed
508 509 510 511 512
        TST     r9,#DynAreaFlags_NotCacheable
        TSTEQ   r9,#PageFlags_TempUncacheableBits
        ORREQ   r11,r11,#L2_C         ;if cacheable (area bit CLEAR + temp count zero), then OR in C bit
        TST     r9,#DynAreaFlags_NotBufferable
        ORREQ   r11,r11,#L2_B         ;if bufferable (area bit CLEAR), then OR in B bit
513
  ]
Neil Turton's avatar
Neil Turton committed
514 515 516 517 518

        MOV     r10,r4                      ;ptr to next page number

        LDR     r2,[r10]                    ;page number of 1st page
        LDR     r7,[r7,#CamEntriesPointer]  ;r7 -> CAM
519
        ADD     r1,r7,r2,LSL #CAM_EntrySizeLog2 ;r1 -> CAM entry for 1st page
520
  [ AMB_LimpidFreePool
521 522
        LDR     r4,[r1,#CAM_LogAddr]        ;fetch old logical addr. of 1st page from CAM
        LDR     r3,[r1,#CAM_PageFlags]      ;fetch old PPL of 1st page from CAM
523
  |
524
        LDR     r4,[r1,#CAM_LogAddr]        ;fetch old logical addr. of 1st page from CAM
525
  ]
Neil Turton's avatar
Neil Turton committed
526 527 528 529 530 531 532 533 534

        CMP     r5,#-1
        BEQ     AMB_smme_mapout
;map or mapin
        LDR     r1,=DuffEntry
        CMP     r4,r1
        BEQ     AMB_smme_mapin

;map from somewhere to somewhere (should be App Space <-> Free Pool)
535 536 537 538 539 540 541 542 543 544 545
;
  [ AMB_LimpidFreePool
    ;can avoid cache clean/flush for moving pages out from FreePool, since FreePool pages are uncacheable
    ;
        TST     r3, #DynAreaFlags_NotCacheable  ;test PPL of 1st page for not cacheable bit set
        BEQ     AMB_smme_mapnotlimpid           ;if clear, must do full map somewhere with cache clean/flush
    ;
    ;this should be map FreePool -> App Space then
    ;
        MOV     r0,r4                            ;address of 1st page
        MOV     r1,r8                            ;number of pages
Jeffrey Lee's avatar
Jeffrey Lee committed
546
        LDR     r3,=ZeroPage
547 548 549 550 551 552 553
        ARMop   MMU_ChangingUncachedEntries,,,r3 ;no cache worries, hoorah
        MOV     r3,r5
        BL      AMB_movepagesout_L2PT            ;unmap 'em from where they are
        BL      AMB_movepagesin_L2PT             ;map 'em to where they now be
        BL      AMB_movepagesin_CAM              ;keep the bloomin' soft CAM up to date
        Pull    "r0-r4,r7-r11, pc"
AMB_smme_mapnotlimpid
Kevin Bracey's avatar
Kevin Bracey committed
554
  ]
555 556 557
;
        MOV     r0,r4                            ;address of 1st page
        MOV     r1,r8                            ;number of pages
Jeffrey Lee's avatar
Jeffrey Lee committed
558
        LDR     r3,=ZeroPage
559
        ARMop   MMU_ChangingEntries,,,r3         ;
Neil Turton's avatar
Neil Turton committed
560 561 562 563
        MOV     r3,r5
        BL      AMB_movepagesout_L2PT
        BL      AMB_movepagesin_L2PT
        BL      AMB_movepagesin_CAM
564
        Pull    "r0-r4,r7-r11, pc"
Neil Turton's avatar
Neil Turton committed
565

566 567
;all pages sourced from same old logical page Nowhere, ie. pages currently mapped out, no cache worries
;
Neil Turton's avatar
Neil Turton committed
568 569 570 571
AMB_smme_mapin
        MOV     r3,r5
        BL      AMB_movepagesin_L2PT
        BL      AMB_movepagesin_CAM
572
        Pull    "r0-r4,r7-r11, pc"
Neil Turton's avatar
Neil Turton committed
573

574 575
;all pages destined for same new logical page Nowhere, ie. mapping them out
;
Neil Turton's avatar
Neil Turton committed
576
AMB_smme_mapout
577 578 579
        LDR     r3,=DuffEntry
        CMP     r4,r3
        BEQ     %FT50                            ;pages already mapped out - just update CAM for new ownership
580 581
        MOV     r0,r4                            ;address of 1st page
        MOV     r1,r8                            ;number of pages
Jeffrey Lee's avatar
Jeffrey Lee committed
582
        LDR     r3,=ZeroPage
583
        ARMop   MMU_ChangingEntries,,,r3         ;
Neil Turton's avatar
Neil Turton committed
584
        BL      AMB_movepagesout_L2PT
585
50
Neil Turton's avatar
Neil Turton committed
586 587
        BL      AMB_movepagesout_CAM

588
AMB_smme_exit
589 590
        Pull    "r0-r4,r7-r11, pc"

591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608
; ----------------------------------------------------------------------------------
;
; AMB_SetMemMapEntries_MyPPL:
;
; As above, but uses provided PPL when mapping out instead of forcing to AP_Duff
;
; entry:
;   R3 =  no. of pages
;   R4 -> list of page entries (1 word per entry, giving page no.)
;   R5 =  start logical address of mapping (-1 means 'out of the way')
;   R6 =  PPL ('page protection level') for mapping
;
AMB_SetMemMapEntries_MyPPL
        Push    "r0-r4,r7-r11,lr"
        MOVS    r8,r3
        MOV     r9,r6
        BNE     %BT01
        B       AMB_smme_exit
Neil Turton's avatar
Neil Turton committed
609

610 611 612 613

  [ AMB_LazyMapIn

; ----------------------------------------------------------------------------------
Neil Turton's avatar
Neil Turton committed
614
;
615
; AMB_SetMemMapEntries_SparseMapOut:
Neil Turton's avatar
Neil Turton committed
616 617
;
;
618 619 620 621 622 623 624
; entry:
;   R3  =  no. of pages currently mapped in (0=none)
;   R4  -> list of page entries (1 word per entry, giving page no.)
;   R5  -> bitmap of pages mapped in (1 bit per page in whole page list)
;   R6  =  total no. of pages in slot
;
AMB_SetMemMapEntries_SparseMapOut ROUT
Neil Turton's avatar
Neil Turton committed
625

626 627 628
        CMP     r3,#0
        MOVEQ   pc,lr
        Push    "r0-r11,lr"
Neil Turton's avatar
Neil Turton committed
629

630
        MOV     r10,r4                            ;ptr to page list
Jeffrey Lee's avatar
Jeffrey Lee committed
631
        LDR     r2,=ZeroPage
632
        MOV     r9,#AP_Duff                       ;permissions for DuffEntry
Jeffrey Lee's avatar
Jeffrey Lee committed
633
        LDR     r7,[r2,#CamEntriesPointer]        ;r7 -> CAM
634
        MOV     r4,#ApplicationStart              ;log. address of first page
Jeffrey Lee's avatar
Jeffrey Lee committed
635
        LDR     r1,=DuffEntry                     ;means Nowhere, in CAM
636 637 638 639 640 641 642 643 644

        ;if the number of pages mapped in is small enough, we'll do cache/TLB coherency on
        ;just those pages, else global (performance decision, threshold probably not critical)

        ARMop   Cache_RangeThreshold,,,r2         ;returns threshold (bytes) in r0
        CMP     r3,r0,LSR #Log2PageSize
        MOVLO   r6,#0                             ;r6 := 0 if we are to do coherency as we go
        BLO     %FT10                             ;let's do it

Mike Stephens's avatar
Mike Stephens committed
645
        ARMop   MMU_Changing,,,r2                 ;global coherency
646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663
        B       %FT10

;skip next 32 pages then continue
06
        ADD     r10,r10,#32*4
        ADD     r4,r4,#32*PageSize

;find the sparsely mapped pages, map them out, doing coherency as we go if enabled
10
        MOV     r8,#1                             ;initial bitmap mask for new bitmap word
        LDR     r11,[r5],#4                       ;next word of bitmap
        CMP     r11,#0                            ;if next 32 bits of bitmap clear, skip
        BEQ     %BT06                             ;skip loop must terminate if r3 > 0
12
        TST     r11,r8                            ;page is currently mapped in if bit set
        BEQ     %FT16
        TEQ     r6, #0
        BNE     %FT14                             ;check for coherency as we go
Jeffrey Lee's avatar
Jeffrey Lee committed
664
        LDR     r2,=ZeroPage
665 666 667 668
        MOV     r0,r4                             ;address of page
        ARMop   MMU_ChangingEntry,,,r2
14
        LDR     r0,[r10]                          ;page no.
669 670 671
        ADD     r0,r7,r0,LSL #CAM_EntrySizeLog2   ;r0 -> CAM entry for page
        ASSERT  CAM_LogAddr=0
        ASSERT  CAM_PageFlags=4
672
        STMIA   r0,{r1,r9}                        ;CAM entry for page set to DuffEntry,AP_Duff
Mike Stephens's avatar
Mike Stephens committed
673
        LDR     lr,=L2PT                          ;lr -> L2PT
Jeffrey Lee's avatar
Jeffrey Lee committed
674
        MOV     r2, #0
675
        STR     r2,[lr,r4,LSR #(Log2PageSize-2)]  ;L2PT entry for page set to 0 (means translation fault)
676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693
     [ MEMM_Type = "VMSAv6"
        ; In order to guarantee that the result of a page table write is
        ; visible, the ARMv6+ memory order model requires us to perform TLB
        ; maintenance (equivalent to the MMU_ChangingUncached ARMop) after we've
        ; performed the write. Performing the maintenance beforehand (as we've
        ; done traditionally) will work most of the time, but not always.
        TEQ     r6, #0
        BNE     %FT15
      [ ZeroPage != 0
        LDR     r2,=ZeroPage
      ]
        MOV     r0,r4
        ARMop   MMU_ChangingUncachedEntry,,,r2
      [ ZeroPage != 0
        MOV     r2,#0
      ]
15
     ]
694 695 696 697 698 699 700 701
        SUBS    r3,r3,#1
        STREQ   r2,[r5,#-4]                       ;make sure we clear last word of bitmap, and...
        BEQ     %FT20                             ;done
16
        ADD     r10,r10,#4                        ;next page no.
        ADD     r4,r4,#PageSize                   ;next logical address
        MOVS    r8,r8,LSL #1                      ;if 32 bits processed...
        BNE     %BT12
Jeffrey Lee's avatar
Jeffrey Lee committed
702 703 704
        MOV     r2, #0
        STR     r2,[r5,#-4]                       ;zero word of bitmap we've just traversed
        LDR     r2,=ZeroPage
705
        B       %BT10
Neil Turton's avatar
Neil Turton committed
706

707
20
708 709 710 711 712 713 714 715 716 717 718 719
     [ MEMM_Type = "VMSAv6"
        ; In order to guarantee that the result of a page table write is
        ; visible, the ARMv6+ memory order model requires us to perform TLB
        ; maintenance (equivalent to the MMU_ChangingUncached ARMop) after we've
        ; performed the write. Performing the maintenance beforehand (as we've
        ; done traditionally) will work most of the time, but not always.
        TEQ     r6, #0
        BEQ     %FT25
        LDR     r2,=ZeroPage
        ARMop   MMU_ChangingUncached,,,r2
25
     ]
720
        Pull    "r0-r11,pc"
Neil Turton's avatar
Neil Turton committed
721 722 723



724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739
; ----------------------------------------------------------------------------------
;
; AMB_MakeUnsparse
;
; entry: r0 = size of area (at top of current slot) to ensure is not sparsely mapped
;
; action: walk over space involved, to force abort handler fix up to map in any
;         pages not already there
;
AMB_MakeUnsparse ROUT
        Push    "r0-r2,r12,lr"
;  Debug AMB,"AMB_MakeUnsparse r0",r0
        ADD     r0,r0,#PageSize
        SUB     r0,r0,#1
        MOVS    r0,r0,LSR #Log2PageSize
        BEQ     %FT20
Jeffrey Lee's avatar
Jeffrey Lee committed
740
        LDR     r12,=ZeroPage+AMBControl_ws
741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769
        LDR     r12,[r12]
        CMP     r12,#0
        BEQ     %FT20
        LDR     r1,AMBMappedInNode
        CMP     r1,#0
        BEQ     %FT20
        LDR     r2,AMBFlags
        TST     r2,#AMBFlag_LazyMapIn_disable :OR: AMBFlag_LazyMapIn_suspend
        BNE     %FT20
  [ AMB_ChocTrace
        LDR     r2,AMBNmakeunsparse
        ADD     r2,r2,#1
        STR     r2,AMBNmakeunsparse
  ]
        LDR     r2,[r1,#AMBNode_Npages]
; Debug AMB,"AMB_MakeUnsparse pages Npages ",r0,r2
        CMP     r0,r2
        MOVHI   r0,r2
        SUB     lr,r2,r0
        MOV     lr,lr,LSL #Log2PageSize
        ADD     lr,lr,#ApplicationStart
;  Debug AMB,"AMB_MakeUnsparse MappedInNode addr pages ",r1,lr,r0
10
        LDR     r2,[lr]                ;tends to wash data cache a bit, but this should be called rarely
        ADD     lr,lr,#PageSize
        SUBS    r0,r0,#1
        BNE     %BT10
20
        Pull    "r0-r2,r12,pc"
Neil Turton's avatar
Neil Turton committed
770 771


772
  ] ;AMB_LazyMapIn
Neil Turton's avatar
Neil Turton committed
773

774 775
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794
; AMB_FindMemMapEntries
;
; finds page numbers for pages currently at given logical start address,
; and fills in buffer; pages must exist
;
; (does not have any page number guesses)
;
; entry:
;   R3 =  no. of pages
;   R4 -> buffer for page entries
;   R5 =  logical address of 1st page
; exit:
;   buffer at R4 filled in with page numbers
;
AMB_FindMemMapEntries ROUT

        Push    "r0-r11,lr"

;initialise r0,r1,r2 as physical RAM chunk cache for AMB_r11topagenum routine
Jeffrey Lee's avatar
Jeffrey Lee committed
795
        LDR     r9,=ZeroPage+PhysRamTable
Neil Turton's avatar
Neil Turton committed
796
        LDMIA   r9,{r0,r1}        ;r0,r1 := phys addr,size of chunk
797 798
        MOV     r1,r1,LSR #12
        ADD     r1,r0,r1,LSL #12  ;r0,r1 := lowest addr,highest addr + 1 of chunk
Neil Turton's avatar
Neil Turton committed
799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833
        MOV     r2,#0             ;r2    := first page number of chunk

        LDR     r10,=L2PT
        ADD     r10,r10,r5,LSR #(Log2PageSize-2) ;r10 -> L2 entry for 1st page
        CMP     r3,#4                            ;handle pages in chunks of 4
        BLT     %FT20
10
        LDMIA   r10!,{r5-r8}                     ;next 4 L2PT entries
        MOV     r11,r5,LSR #Log2PageSize         ;r11 := phys_addr/page_size
        BL      AMB_r11topagenum
        MOV     r5,r11
        MOV     r11,r6,LSR #Log2PageSize
        BL      AMB_r11topagenum
        MOV     r6,r11
        MOV     r11,r7,LSR #Log2PageSize
        BL      AMB_r11topagenum
        MOV     r7,r11
        MOV     r11,r8,LSR #Log2PageSize
        BL      AMB_r11topagenum
        STMIA   r4!,{r5-r7,r11}                  ;fill in next 4 page numbers
        SUB     r3,r3,#4
        CMP     r3,#4
        BGE     %BT10
20
        CMP     r3,#0
        Pull    "r0-r11,pc",EQ
30
        LDR     r11,[r10],#4
        MOV     r11,r11,LSR #Log2PageSize
        BL      AMB_r11topagenum
        STR     r11,[r4],#4
        SUBS    r3,r3,#1
        BNE     %BT30
        Pull    "r0-r11,pc"

834 835
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856
;AMB_r11topagenum
;entry:
;     r0,r1,r2 = lowest addr,highest addr +1,first page no.
;                (cached physical RAM chunk)
;     r11      = physical_addr/page_size for page
;
;exit:
;     r11      = page number of page
;     r0,r1,r2 cache updated if necessary
;     r9       corrupted
;
AMB_r11topagenum ROUT
        CMP     r11,r0,LSR #Log2PageSize
        BLO     %FT10
        CMP     r11,r1,LSR #Log2PageSize
        BHS     %FT10
;cache hit (phys address in range of cached chunk)
        SUB     r11,r11,r0,LSR #Log2PageSize    ;pages into chunk
        ADD     r11,r11,r2                      ;page number
        MOV     pc,lr
10
Jeffrey Lee's avatar
Jeffrey Lee committed
857
        LDR     r9,=ZeroPage+PhysRamTable
Neil Turton's avatar
Neil Turton committed
858 859 860 861 862 863 864 865
        MOV     r2,#0                        ;start at page number 0
20
        LDMIA   r9!,{r0,r1}                  ;r0,r1 := phys addr,size of chunk
        SUB     r11,r11,r0,LSR #Log2PageSize
        CMP     r11,r1,LSR #Log2PageSize
        ADDHS   r11,r11,r0,LSR #Log2PageSize
        ADDHS   r2,r2,r1,LSR #Log2PageSize
        BHS     %BT20
866
        MOV     r1,r1,LSR #12
Neil Turton's avatar
Neil Turton committed
867
        ADD     r11,r11,r2
868
        ADD     r1,r0,r1,LSL #12
Neil Turton's avatar
Neil Turton committed
869 870 871 872 873
        MOV     pc,lr

        LTORG

    END