github-mirrors/cvw
1
0
Fork 0
mirror of https://github.com/openhwgroup/cvw.git synced 2025-04-22 12:57:23 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Modified eub.S tests to turn off A/D bits in non-leaf PTEs to avoid throwing page fault exceptions, which are not correctly detected

Browse source
This commit is contained in:
David Harris 2025-02-26 09:32:10 -08:00
parent 65f35d9bbc
commit 2d000a3957
1 changed files with 43 additions and 43 deletions
Download patch file Download diff file Expand all files Collapse all files

86
tests/coverage/ebu.S
View file

@ -167,56 +167,56 @@ label1:
.align 16
# root Page table situated at 0x80010000
pagetable:
.8byte 0x200044C1 # 0x00000000-0x80_00000000: PTE at 0x80011000 C1 dirty, accessed, valid
.8byte 0x00000000000010CF # misaligned terapage at 0x80_00000000
.8byte 0x20004401 # 0x00000000-0x80_00000000: PTE at 0x80011000 01 valid
.8byte 0x000000000000100F # misaligned terapage at 0x80_00000000
# next page table at 0x80011000
.align 12
.8byte 0x00000000000010CF # misaligned gigapage at 0x00000000
.8byte 0x00000000200058C1 # PTE for pages at 0x40000000
.8byte 0x00000000200048C1 # gigapage at 0x80000000 pointing to 0x80120000
.8byte 0x000000000000100F # misaligned gigapage at 0x00000000
.8byte 0x0000000020005801 # PTE for pages at 0x40000000
.8byte 0x0000000020004801 # gigapage at 0x80000000 pointing to 0x80120000
# Next page table at 0x80012000 for gigapage at 0x80000000
.align 12
.8byte 0x0000000020004CC1 # for VA starting at 80000000 (pointer to NAPOT 64 KiB pages)
.8byte 0x0000000020014CCF # for VA starting at 80200000 (misaligned megapage)
.8byte 0x00000000200050C1 # for VA starting at 80400000 (bad PBMT pages)
.8byte 0x4000000020004CC1 # for VA starting at 80600000 (bad entry: nonleaf PTE can't have PBMT != 0)
.8byte 0x00000000200054C1 # for VA starting at 80800000 (testing rwx permissiosn with cbom/cboz)
.8byte 0x00000000200058C1 # for VA starting at 80A00000 (pointer to NAPOT 64 KiB pages like at 80000000)
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004CC1
.8byte 0x0000000020004C01 # for VA starting at 80000000 (pointer to NAPOT 64 KiB pages)
.8byte 0x0000000020014C0F # for VA starting at 80200000 (misaligned megapage)
.8byte 0x0000000020005001 # for VA starting at 80400000 (bad PBMT pages)
.8byte 0x4000000020004C01 # for VA starting at 80600000 (bad entry: nonleaf PTE can't have PBMT != 0)
.8byte 0x0000000020005401 # for VA starting at 80800000 (testing rwx permissiosn with cbom/cboz)
.8byte 0x0000000020005801 # for VA starting at 80A00000 (pointer to NAPOT 64 KiB pages like at 80000000)
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
.8byte 0x0000000020004C01
# Leaf page table at 0x80013000 with NAPOT pages
.align 12