diff options
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/rv64mi/dirty.S | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/isa/rv64mi/dirty.S b/isa/rv64mi/dirty.S index f343cf9..ef4e65c 100644 --- a/isa/rv64mi/dirty.S +++ b/isa/rv64mi/dirty.S @@ -73,10 +73,10 @@ die: RVTEST_FAIL .data -.align 13 -page_table_1: .dword PTE_V | PTE_SX | PTE_SR +.align 12 +page_table_1: .dword PTE_TYPE_US_SRX dummy: .dword 0 -.align 13 -page_table_2: .dword PTE_V | PTE_SX | PTE_SR | PTE_SW +.align 12 +page_table_2: .dword PTE_TYPE_US_SRWX RVTEST_CODE_END |