1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
# See LICENSE for license details.
#*****************************************************************************
# dirty.S
#-----------------------------------------------------------------------------
#
# Test VM referenced and dirty bits.
#
#include "riscv_test.h"
#include "test_macros.h"
RVTEST_RV64M
RVTEST_CODE_BEGIN
# Turn on VM with superpage identity mapping
la a1, page_table_1
srl a1, a1, RISCV_PGSHIFT
csrw sptbr, a1
sfence.vm
li a1, ((MSTATUS_VM & ~(MSTATUS_VM<<1)) * VM_SV39) | ((MSTATUS_MPP & ~(MSTATUS_MPP<<1)) * PRV_S)
csrs mstatus, a1
la a1, 1f
csrw mepc, a1
eret
1:
# Try a faulting store to make sure dirty bit is not set
li TESTNUM, 2
li t0, 1
sd t0, dummy, t1
# Load new page table
li TESTNUM, 3
la t0, page_table_2
srl t0, t0, RISCV_PGSHIFT
csrw sptbr, t0
sfence.vm
# Try a non-faulting store to make sure dirty bit is set
sd t0, dummy, t1
# Make sure R and D bits are set
lw t0, page_table_2
li t1, PTE_R | PTE_D
and t0, t0, t1
bne t0, t1, die
RVTEST_PASS
TEST_PASSFAIL
stvec_handler:
csrr t0, scause
li t1, 2
bne TESTNUM, t1, 1f
# Make sure R bit is set
lw t0, page_table_1
li t1, PTE_R
and t0, t0, t1
bne t0, t1, die
# Make sure D bit is clear
lw t0, page_table_1
li t1, PTE_D
and t0, t0, t1
beq t0, t1, die
csrr t0, sepc
add t0, t0, 4
csrw sepc, t0
sret
die:
RVTEST_FAIL
.data
.align 12
page_table_1: .dword PTE_V | PTE_TYPE_URX_SRX
dummy: .dword 0
.align 12
page_table_2: .dword PTE_V | PTE_TYPE_URWX_SRWX
RVTEST_CODE_END
|
