check that virtual addresses are sign-extended

[riscv-isa-sim.git] / riscv / mmu.h

diff --git a/riscv/mmu.h b/riscv/mmu.h
index 0c61a7798d6de859eb3de6b43535bfda890972b3..f6ca972a8cea38b71d59601d1850a208b9f5b65b 100644 (file)
--- a/riscv/mmu.h
+++ b/riscv/mmu.h
@@ -15,7 +15,9 @@ const reg_t LEVELS = sizeof(pte_t) == sizeof(uint64_t) ? 3 : 2;
 const reg_t PGSHIFT = 13;
 const reg_t PGSIZE = 1 << PGSHIFT;
 const reg_t PTIDXBITS = PGSHIFT - (sizeof(pte_t) == 8 ? 3 : 2);
+const reg_t VPN_BITS = PTIDXBITS * LEVELS;
 const reg_t PPN_BITS = 8*sizeof(reg_t) - PGSHIFT;
+const reg_t VA_BITS = VPN_BITS + PGSHIFT;
 
 // page table entry (PTE) fields
 #define PTE_T    0x001 // Entry is a page Table descriptor