mirror of
https://github.com/openhwgroup/cvw.git
synced 2025-04-24 13:57:07 -04:00
Fixed more coverage tests with bad non-leaf PTEs containing A or D bits
This commit is contained in:
parent
db9689e60f
commit
057a30521b
4 changed files with 17 additions and 17 deletions
|
@ -64,16 +64,16 @@ finished:
|
|||
.align 16
|
||||
# Page table situated at 0x80010000
|
||||
pagetable:
|
||||
.8byte 0x200044C1 // old page table was 200040 which just pointed to itself! wrong
|
||||
.8byte 0x20004401 // old page table was 200040 which just pointed to itself! wrong
|
||||
|
||||
.align 12
|
||||
.8byte 0x0000000000000000
|
||||
.8byte 0x00000000200048C1
|
||||
.8byte 0x00000000200048C1
|
||||
.8byte 0x0000000020004801
|
||||
.8byte 0x0000000020004801
|
||||
|
||||
|
||||
.align 12
|
||||
.8byte 0x0000000020004CC1
|
||||
.8byte 0x0000000020004C01
|
||||
//.8byte 0x00000200800CF// ADD IN THE MEGAPAGE should 3 nibbles of zeros be removed?
|
||||
|
||||
.align 12
|
||||
|
|
|
@ -60,17 +60,17 @@ finished:
|
|||
.align 16
|
||||
# Page table situated at 0x80010000
|
||||
pagetable:
|
||||
.8byte 0x200044C1
|
||||
.8byte 0x200044C1
|
||||
.8byte 0x20004401
|
||||
.8byte 0x20004401
|
||||
|
||||
.align 12
|
||||
.8byte 0x40000040200048C1
|
||||
.8byte 0x00000000200048C1
|
||||
.8byte 0x00000000200048C1
|
||||
.8byte 0x4000004020004801
|
||||
.8byte 0x0000000020004801
|
||||
.8byte 0x0000000020004801
|
||||
|
||||
|
||||
.align 12
|
||||
.8byte 0x0000000020004CC1
|
||||
.8byte 0x0000000020004C01
|
||||
|
||||
.align 12
|
||||
#80000000
|
||||
|
|
|
@ -64,7 +64,7 @@ finished:
|
|||
.align 16
|
||||
# Page table situated at 0x80010000
|
||||
pagetable:
|
||||
.8byte 0x200044C1
|
||||
.8byte 0x20004401
|
||||
|
||||
.align 12
|
||||
.8byte 0x000000CF //8000 0000
|
||||
|
|
|
@ -69,17 +69,17 @@ finished:
|
|||
.align 16
|
||||
# Page table situated at 0x80010000
|
||||
pagetable:
|
||||
.8byte 0x200044C1
|
||||
.8byte 0x20004401
|
||||
|
||||
.align 12
|
||||
.8byte 0x00000000200048C1
|
||||
.8byte 0x00000000200048C1
|
||||
.8byte 0x00000000200048C1
|
||||
.8byte 0x0000000020004801
|
||||
.8byte 0x0000000020004801
|
||||
.8byte 0x0000000020004801
|
||||
|
||||
|
||||
.align 12
|
||||
.8byte 0x0000000020004CC1
|
||||
//.8byte 0x00000200800CF// ADD IN THE MEGAPAGE should 3 nibbles of zeros be removed?
|
||||
.8byte 0x0000000020004C01
|
||||
//.8byte 0x000002008000F// ADD IN THE MEGAPAGE should 3 nibbles of zeros be removed?
|
||||
|
||||
.align 12
|
||||
#80000000
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue