aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_vmem_sv48.sail
AgeCommit message (Expand)AuthorFilesLines
2024-04-01Unify VM code Rishiyur S. Nikhil1-156/+0
2024-02-08Shorten copyright notice at the top of each fileTim Hutt1-65/+3
2024-02-05Rename string_of_int to dec_strTim Hutt1-2/+2
2024-01-31Update bitfield syntaxAlasdair1-18/+18
2023-09-12Remove effectsTim Hutt1-5/+5
2023-09-12Remove redundant type annotations on w_pte & add explicit `var`.Tim Hutt1-2/+2
2023-09-12Fix some stray tabsTim Hutt1-2/+2
2023-08-01Rename EXTZ and EXTSAlasdair1-7/+7
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2023-03-14Use not() instead of ~() for boolean negation (#210)Alexander Richardson1-1/+1
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2021-06-29vmem_svNN: Perform PTW accesses always as SupervisorNathaniel Wesley Filardo1-2/+2
2021-06-29vmem_svNN: mem_read(Read(Data), ...) the PTEsNathaniel Wesley Filardo1-1/+1
2020-06-30Split ext_ptw into pieces and add documentationNathaniel Wesley Filardo1-2/+2
2020-06-20Allow extensions to override page fault causesJessica Clarke1-1/+1
2019-11-26Tweak base case of PTW functionsThomas Bauereiss1-4/+4
2019-10-09Read/write memory values and metadata together atomicallyThomas Bauereiss1-2/+2
2019-09-04Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_extRobert Norton1-1/+1
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong1-1/+1
2019-08-09Allow accumulation of information during page-table-walk for extensions.Prashanth Mundkur1-25/+23
2019-07-22Make a custom exception code available for extensions, and remove the E_CHERI...Prashanth Mundkur1-27/+32
2019-07-16Use reserved bits in PTEs for vmem extensions on RV64, as allowed by the spec...Prashanth Mundkur1-5/+7
2019-07-15Allow extensions to types of memory access, and factor out PTE and PTW defini...Prashanth Mundkur1-2/+2
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur1-1/+1
2019-06-24Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.Prashanth Mundkur1-2/+2
2019-06-24Starting cleaning up physical memory bits for pmp integration.Prashanth Mundkur1-3/+2
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-2/+2
2019-03-12Fix missed tlb updates.Prashanth Mundkur1-2/+2
2019-03-11Add tlbs for Sv32 and Sv48, and some fixes to sfence.vma.Prashanth Mundkur1-0/+38
2019-02-22Fix address translation bug in ordering of width-extension and shift in pte. ...Prashanth Mundkur1-1/+1
2019-02-13Add Sv32 and Sv48 by essentially copying Sv39.Prashanth Mundkur1-0/+106