memmap 30.4 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 127 128
        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
        MOV     r5,#L2PT
        STR     r4,[r5,r0,LSL #2]                        ;update L2PT
129
;
Jeffrey Lee's avatar
Jeffrey Lee committed
130
        LDR     r5,=ZeroPage
131 132
        LDR     r5,[r5,#CamEntriesPointer]
        ADD     r5,r5,r6,LSL #3                          ;r5 -> CAM entry affected
133
        MOVS    r0,r0,LSL #Log2PageSize                  ;address is now ordinary again, and must be non-zero
134 135 136
        MOV     r1,#0                                    ;0 = AP for ordinary page
        STMIA   r5,{r0,r1}                               ;update CAM entry
        MOV     r12,r7
137
        MOV     pc,lr                                    ;r0 is non-zero, NE status
138 139 140 141 142
;
; 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)
143
20
144 145 146 147 148 149 150
        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 (!)
151 152
        ARM_read_FAR r5                                  ;preserve FAR in case client abort handler wants to read it
                                                         ;preserve FSR (already in r6) similarly
153 154 155 156 157
30
        LDR     r3,[r1]                                  ;bring that page in by the magic of aborts
        SUBS    r2,r2,#1
        ADD     r1,r1,#PageSize
        BNE     %BT30
158
        MSR     SPSR_cxsf,r0                             ;SPSR for original abort
159
        MOV     lr,r4                                    ;restore return address
160 161
        ARM_write_FAR r5                                 ;restore FAR
        ARM_write_FSR r6                                 ;restore FSR
162
      [ MEMM_Type = "VMSAv6"
163
        myISB   ,r0 ; Not sure if this is necessary or not; do it just in case
164
      ]
165 166
;
90
167
        MOVS    r0,#0
168
        MOV     r12,r7
169
        MOV     pc,lr                                    ;r0 is zero, EQ status
170 171 172

  ] ;AMB_LazyMapIn

173 174 175 176 177 178 179 180 181 182 183 184 185 186
; ----------------------------------------------------------------------------------

  [ 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
187
        LDR     r12,=ZeroPage+AMBControl_ws
188 189 190 191 192 193 194 195 196 197 198
        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
199 200
        bichi   lr, r0, #3                               ; ensure word aligned
        ldrhi   r1, [lr,#0]                              ;make honest if necessary (magic of abort fixups!)
201 202 203 204 205 206 207 208
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
209
        LDR     r12,=ZeroPage+AMBControl_ws
210 211 212
        LDR     r12,[r12]
        CMP     r12,#0
        BEQ     %FT90                                    ;we're dormant!
Jeffrey Lee's avatar
Jeffrey Lee committed
213
        LDR     r14,=ZeroPage
214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236
        LDR     r1,[r14,#MaxCamEntry]
        CMP     r0,r1
        BHI     %FT90                                    ;invalid page number
        LDR     r1,[r14,#CamEntriesPointer]
        LDR     r1,[r1,r0,LSL #3]                        ;logical address from CAM
        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
237 238
        bic     lr, r2, #3                               ;ensure word aligned
        ldr     r1,[lr,#0]                               ;make honest if necessary (magic of abort fixups!)
239 240 241 242
90
        Pull    "r1-r3,r12,pc"

  ] ;AMB_LazyMapIn
243 244 245

; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265
;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
266 267 268 269 270 271 272 273 274 275
        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
276 277 278 279 280 281 282 283
        SUB     r8,r8,#8
        CMP     r8,#8
        BGE     %BT10
20
        CMP     r8,#0
        BEQ     %FT35
30
        LDR     r0,[r10],#4
284
        PageNumToL2PT r0,lr,r11,r12
Neil Turton's avatar
Neil Turton committed
285 286 287 288
        STR     r0,[r9],#4
        SUBS    r8,r8,#1
        BNE     %BT30
35
289 290 291 292 293 294
      [ 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
295 296
        Pull    "r0-r10,r12,pc"

297 298
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
299 300 301 302 303 304 305 306 307 308 309
;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
        ADD     $reg,r11,$reg,LSL #3    ;r0 -> CAM entry for 1st page
        STMIA   $reg,{r9,lr}            ;store logical addr,PPL
        MEND

310 311
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327
;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
328
        LDR     r11,=ZeroPage
Neil Turton's avatar
Neil Turton committed
329 330 331 332 333 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
        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"

365 366
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
367 368 369 370 371 372 373 374 375 376 377 378 379 380
;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
381
        LDR     r11,=ZeroPage
Neil Turton's avatar
Neil Turton committed
382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408
        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"

409 410
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
411 412 413 414 415 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
;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
449 450 451 452 453 454 455 456 457 458 459
      [ 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
460 461
        Pull    "r0-r8,pc"

462 463
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
464 465 466 467 468 469 470 471 472
; 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
473

Neil Turton's avatar
Neil Turton committed
474 475 476 477 478 479 480 481 482 483 484 485
        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

;get L2PT protection etc. bits, appropriate to PPL in R9, into R11
        ADRL    r1,PPLTrans
        AND     lr,r9,#3
486
        LDR     r7,=ZeroPage
Neil Turton's avatar
Neil Turton committed
487
        LDR     r11,[r1,lr,LSL #2]
488 489 490 491 492 493 494 495 496 497 498 499 500 501
  [ 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
502 503 504 505 506
        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
507
  ]
Neil Turton's avatar
Neil Turton committed
508 509 510 511 512

        MOV     r10,r4                      ;ptr to next page number

        LDR     r2,[r10]                    ;page number of 1st page
        LDR     r7,[r7,#CamEntriesPointer]  ;r7 -> CAM
513 514
        ADD     r1,r7,r2,LSL #3             ;r1 -> CAM entry for 1st page
  [ AMB_LimpidFreePool
Neil Turton's avatar
Neil Turton committed
515
        LDR     r4,[r1]                     ;fetch old logical addr. of 1st page from CAM
516 517 518 519
        LDR     r3,[r1,#4]                  ;fetch old PPL of 1st page from CAM
  |
        LDR     r4,[r1]                     ;fetch old logical addr. of 1st page from CAM
  ]
Neil Turton's avatar
Neil Turton committed
520 521 522 523 524 525 526 527 528

        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)
529 530 531 532 533 534 535 536 537 538 539
;
  [ 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
540
        LDR     r3,=ZeroPage
541 542 543 544 545 546 547
        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
548
  ]
549 550 551
;
        MOV     r0,r4                            ;address of 1st page
        MOV     r1,r8                            ;number of pages
Jeffrey Lee's avatar
Jeffrey Lee committed
552
        LDR     r3,=ZeroPage
553
        ARMop   MMU_ChangingEntries,,,r3         ;
Neil Turton's avatar
Neil Turton committed
554 555 556 557
        MOV     r3,r5
        BL      AMB_movepagesout_L2PT
        BL      AMB_movepagesin_L2PT
        BL      AMB_movepagesin_CAM
558
        Pull    "r0-r4,r7-r11, pc"
Neil Turton's avatar
Neil Turton committed
559

560 561
;all pages sourced from same old logical page Nowhere, ie. pages currently mapped out, no cache worries
;
Neil Turton's avatar
Neil Turton committed
562 563 564 565
AMB_smme_mapin
        MOV     r3,r5
        BL      AMB_movepagesin_L2PT
        BL      AMB_movepagesin_CAM
566
        Pull    "r0-r4,r7-r11, pc"
Neil Turton's avatar
Neil Turton committed
567

568 569
;all pages destined for same new logical page Nowhere, ie. mapping them out
;
Neil Turton's avatar
Neil Turton committed
570
AMB_smme_mapout
571 572
        MOV     r0,r4                            ;address of 1st page
        MOV     r1,r8                            ;number of pages
Jeffrey Lee's avatar
Jeffrey Lee committed
573
        LDR     r3,=ZeroPage
574
        ARMop   MMU_ChangingEntries,,,r3         ;
Neil Turton's avatar
Neil Turton committed
575 576 577 578
        LDR     r3,=DuffEntry
        BL      AMB_movepagesout_L2PT
        BL      AMB_movepagesout_CAM

579
AMB_smme_exit
580 581
        Pull    "r0-r4,r7-r11, pc"

Neil Turton's avatar
Neil Turton committed
582

583 584 585 586

  [ AMB_LazyMapIn

; ----------------------------------------------------------------------------------
Neil Turton's avatar
Neil Turton committed
587
;
588
; AMB_SetMemMapEntries_SparseMapOut:
Neil Turton's avatar
Neil Turton committed
589 590
;
;
591 592 593 594 595 596 597
; 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
598

599 600 601
        CMP     r3,#0
        MOVEQ   pc,lr
        Push    "r0-r11,lr"
Neil Turton's avatar
Neil Turton committed
602

603
        MOV     r10,r4                            ;ptr to page list
Jeffrey Lee's avatar
Jeffrey Lee committed
604
        LDR     r2,=ZeroPage
605
        MOV     r9,#AP_Duff                       ;permissions for DuffEntry
Jeffrey Lee's avatar
Jeffrey Lee committed
606
        LDR     r7,[r2,#CamEntriesPointer]        ;r7 -> CAM
607
        MOV     r4,#ApplicationStart              ;log. address of first page
Jeffrey Lee's avatar
Jeffrey Lee committed
608
        LDR     r1,=DuffEntry                     ;means Nowhere, in CAM
609 610 611 612 613 614 615 616 617

        ;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
618
        ARMop   MMU_Changing,,,r2                 ;global coherency
619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636
        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
637
        LDR     r2,=ZeroPage
638 639 640 641 642 643
        MOV     r0,r4                             ;address of page
        ARMop   MMU_ChangingEntry,,,r2
14
        LDR     r0,[r10]                          ;page no.
        ADD     r0,r7,r0,LSL #3                   ;r0 -> CAM entry for page
        STMIA   r0,{r1,r9}                        ;CAM entry for page set to DuffEntry,AP_Duff
Mike Stephens's avatar
Mike Stephens committed
644
        LDR     lr,=L2PT                          ;lr -> L2PT
Jeffrey Lee's avatar
Jeffrey Lee committed
645
        MOV     r2, #0
646
        STR     r2,[lr,r4,LSR #(Log2PageSize-2)]  ;L2PT entry for page set to 0 (means translation fault)
647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664
     [ 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
     ]
665 666 667 668 669 670 671 672
        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
673 674 675
        MOV     r2, #0
        STR     r2,[r5,#-4]                       ;zero word of bitmap we've just traversed
        LDR     r2,=ZeroPage
676
        B       %BT10
Neil Turton's avatar
Neil Turton committed
677

678
20
679 680 681 682 683 684 685 686 687 688 689 690
     [ 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
     ]
691
        Pull    "r0-r11,pc"
Neil Turton's avatar
Neil Turton committed
692 693 694



695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710
; ----------------------------------------------------------------------------------
;
; 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
711
        LDR     r12,=ZeroPage+AMBControl_ws
712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740
        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
741 742


743
  ] ;AMB_LazyMapIn
Neil Turton's avatar
Neil Turton committed
744

745 746
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765
; 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
766
        LDR     r9,=ZeroPage+PhysRamTable
Neil Turton's avatar
Neil Turton committed
767
        LDMIA   r9,{r0,r1}        ;r0,r1 := phys addr,size of chunk
768 769
        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
770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804
        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"

805 806
; ----------------------------------------------------------------------------------
;
Neil Turton's avatar
Neil Turton committed
807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827
;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
828
        LDR     r9,=ZeroPage+PhysRamTable
Neil Turton's avatar
Neil Turton committed
829 830 831 832 833 834 835 836
        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
837
        MOV     r1,r1,LSR #12
Neil Turton's avatar
Neil Turton committed
838
        ADD     r11,r11,r2
839
        ADD     r1,r0,r1,LSL #12
Neil Turton's avatar
Neil Turton committed
840 841 842 843 844
        MOV     pc,lr

        LTORG

    END