diff options
Diffstat (limited to 'isa/hypervisor')
| -rw-r--r-- | isa/hypervisor/2-stage_translation_implicit_load_error.S | 121 | ||||
| -rw-r--r-- | isa/hypervisor/2-stage_translation_implicit_load_error_hs.S | 129 | ||||
| -rw-r--r-- | isa/hypervisor/Makefrag | 2 |
3 files changed, 252 insertions, 0 deletions
diff --git a/isa/hypervisor/2-stage_translation_implicit_load_error.S b/isa/hypervisor/2-stage_translation_implicit_load_error.S new file mode 100644 index 0000000..fbd19ae --- /dev/null +++ b/isa/hypervisor/2-stage_translation_implicit_load_error.S @@ -0,0 +1,121 @@ +# See LICENSE for license details. + +#***************************************************************************** +# 2-stage_translation_implicit_load_error.S +#----------------------------------------------------------------------------- +# +# Tests that an implicit G-stage load fault during a VS-stage page table +# walk is correctly reported to M-mode. +# + +#include "riscv_test.h" +#include "test_macros.h" + +#define LOAD_PSEUDOINSTRUCTION_RV64 0x3000 + +# Address used as GVA, GPA, and SPA (identity-mapped gigapage) +#define IDENTITY_ADDR 0x80000000 + +RVTEST_RV64M +RVTEST_CODE_BEGIN + +li TESTNUM, 2 + +# Map GVA 0x80000000 -> GPA 0x80000000 +vs_pt_init: + li t0, IDENTITY_ADDR + srl t0, t0, RISCV_PGSHIFT - PTE_PPN_SHIFT + ori t0, t0, PTE_V | PTE_R | PTE_W | PTE_X + la t1, vspt_0 + li t2, 2 # VPN[2] = 2 for GVA 0x80000000 under Sv39 + sll t2, t2, 3 # byte offset = 2 * 8 (PTE size) + add t1, t1, t2 # vspt_0 + byte offset + sd t0, 0(t1) # vspt_0[2] = pte + +init_vsatp: + li t0, (SATP_MODE & ~(SATP_MODE<<1)) * SATP_MODE_SV39 + la t1, vspt_0 + srl t1, t1, RISCV_PGSHIFT + or t1, t1, t0 + csrw vsatp, t1 + hfence.vvma + +# Map GPA 0x80000000 -> SPA 0x80000000 +# +# PTE_V is omitted so that G-stage translation of the VS-stage page table +# itself fails, causing the implicit PTE load during the VS-stage walk to +# fault. +guest_pt_init: + li t0, IDENTITY_ADDR + srl t0, t0, RISCV_PGSHIFT - PTE_PPN_SHIFT + ori t0, t0, PTE_R | PTE_W | PTE_X | PTE_U # No PTE_V + la t1, gpt_0 + li t2, 2 + sll t2, t2, 3 + add t1, t1, t2 + sd t0, 0(t1) + +init_hgatp: + li t0, (SATP_MODE & ~(SATP_MODE<<1)) * SATP_MODE_SV39 + la t1, gpt_0 + srl t1, t1, RISCV_PGSHIFT + or t1, t1, t0 + csrw hgatp, t1 + hfence.gvma + +hstatus_init: + li t0, HSTATUS_SPVP + csrs hstatus, t0 + + la t0, check_fault + csrw mtvec, t0 + + li t0, IDENTITY_ADDR + hlv.w t2, 0(t0) + + j fail # Should not reach here + +check_fault: + la t0, trap_vector + csrw mtvec, t0 + + # Check mcause + csrr t0, mcause + li t1, CAUSE_LOAD_GUEST_PAGE_FAULT + bne t0, t1, fail + + # Check mtval + csrr t0, mtval + li t1, IDENTITY_ADDR + bne t0, t1, fail + + # Check mtval2 == faulting PTE address (&vspt_0[2]) >> 2 + la t0, vspt_0 + li t1, 2 + sll t1, t1, 3 + add t0, t0, t1 + srli t0, t0, 2 + csrr t2, mtval2 + bne t2, t0, fail + + # Check mtinst + csrr t0, mtinst + li t1, LOAD_PSEUDOINSTRUCTION_RV64 + bne t0, t1, fail + + RVTEST_PASS + TEST_PASSFAIL + +RVTEST_CODE_END + +.data +RVTEST_DATA_BEGIN + TEST_DATA + +.align 12 +vspt_0: .dword 0 # 4 KiB, Sv39 root page table + +.align 14 +gpt_0: .fill 512, 8, 0 # 16 KiB, Sv39x4 G-stage root page table + +RVTEST_DATA_END diff --git a/isa/hypervisor/2-stage_translation_implicit_load_error_hs.S b/isa/hypervisor/2-stage_translation_implicit_load_error_hs.S new file mode 100644 index 0000000..2808226 --- /dev/null +++ b/isa/hypervisor/2-stage_translation_implicit_load_error_hs.S @@ -0,0 +1,129 @@ +# See LICENSE for license details. + +#***************************************************************************** +# 2-stage_translation_implicit_load_error_hs.S +#----------------------------------------------------------------------------- +# +# Tests that an implicit G-stage load fault during a VS-stage page table +# walk is correctly delegated to HS-mode. +# + +#include "riscv_test.h" +#include "test_macros.h" + +#define LOAD_PSEUDOINSTRUCTION_RV64 0x3000 + +# Address used as GVA, GPA, and SPA (identity-mapped gigapage) +#define IDENTITY_ADDR 0x80000000 + +RVTEST_RV64M +RVTEST_CODE_BEGIN + +li TESTNUM, 2 + +machine_setup: + RVTEST_ENABLE_SUPERVISOR + la a0, vs_pt_init + csrw mepc, a0 + + # Delegate to HS-Mode + li t0, (1 << CAUSE_LOAD_GUEST_PAGE_FAULT) + csrw medeleg, t0 + + mret + +# Map GVA 0x80000000 -> GPA 0x80000000 +vs_pt_init: + li t0, IDENTITY_ADDR + srl t0, t0, RISCV_PGSHIFT - PTE_PPN_SHIFT + ori t0, t0, PTE_V | PTE_R | PTE_W | PTE_X + la t1, vspt_0 + li t2, 2 # VPN[2] = 2 for GVA 0x80000000 under Sv39 + sll t2, t2, 3 # byte offset = 2 * 8 (PTE size) + add t1, t1, t2 # vspt_0 + byte offset + sd t0, 0(t1) # vspt_0[2] = pte + +init_vsatp: + li t0, (SATP_MODE & ~(SATP_MODE<<1)) * SATP_MODE_SV39 + la t1, vspt_0 + srl t1, t1, RISCV_PGSHIFT + or t1, t1, t0 + csrw vsatp, t1 + hfence.vvma + +# Map GPA 0x80000000 -> SPA 0x80000000 +# +# PTE_V is omitted so that G-stage translation of the VS-stage page table +# itself fails, causing the implicit PTE load during the VS-stage walk to +# fault. +guest_pt_init: + li t0, IDENTITY_ADDR + srl t0, t0, RISCV_PGSHIFT - PTE_PPN_SHIFT + ori t0, t0, PTE_R | PTE_W | PTE_X | PTE_U # No PTE_V + la t1, gpt_0 + li t2, 2 + sll t2, t2, 3 + add t1, t1, t2 + sd t0, 0(t1) + +init_hgatp: + li t0, (SATP_MODE & ~(SATP_MODE<<1)) * SATP_MODE_SV39 + la t1, gpt_0 + srl t1, t1, RISCV_PGSHIFT + or t1, t1, t0 + csrw hgatp, t1 + hfence.gvma + +hstatus_init: + li t0, HSTATUS_SPVP + csrs hstatus, t0 + + la t0, check_fault + csrw stvec, t0 + + li t0, IDENTITY_ADDR + hlv.w t2, 0(t0) + + j fail # Should not reach here + +check_fault: + # Check scause + csrr t0, scause + li t1, CAUSE_LOAD_GUEST_PAGE_FAULT + bne t0, t1, fail + + # Check stval + csrr t0, stval + li t1, IDENTITY_ADDR + bne t0, t1, fail + + # Check htval == faulting PTE address (&vspt_0[2]) >> 2 + la t0, vspt_0 + li t1, 2 + sll t1, t1, 3 + add t0, t0, t1 + srli t0, t0, 2 + csrr t2, htval + bne t2, t0, fail + + # Check htinst + csrr t0, htinst + li t1, LOAD_PSEUDOINSTRUCTION_RV64 + bne t0, t1, fail + + RVTEST_PASS + TEST_PASSFAIL + +RVTEST_CODE_END + +.data +RVTEST_DATA_BEGIN + TEST_DATA + +.align 12 +vspt_0: .dword 0 # 4 KiB, Sv39 root page table + +.align 14 +gpt_0: .fill 512, 8, 0 # 16 KiB, Sv39x4 G-stage root page table + +RVTEST_DATA_END diff --git a/isa/hypervisor/Makefrag b/isa/hypervisor/Makefrag index 08f711a..2a48722 100644 --- a/isa/hypervisor/Makefrag +++ b/isa/hypervisor/Makefrag @@ -4,5 +4,7 @@ hypervisor_sc_tests = \ 2-stage_translation \ + 2-stage_translation_implicit_load_error \ + 2-stage_translation_implicit_load_error_hs \ hypervisor_p_tests = $(addprefix hypervisor-p-, $(hypervisor_sc_tests)) |