Coverage improvements

This commit is contained in:
David Harris 2024-01-15 07:16:41 -08:00
parent ed9fa07ba3
commit f8c88a398a

View File

@ -40,6 +40,10 @@ main:
sw t5, 0(t0) sw t5, 0(t0)
fence.i fence.i
# Test not being able to write illegal SATP mode
li t5, 0xA000000000080010
csrw satp, t5
# Page table root address at 0x80010000; SV48 # Page table root address at 0x80010000; SV48
li t5, 0x9000000000080010 li t5, 0x9000000000080010
csrw satp, t5 csrw satp, t5