prelude_mem_addrtype.sail

/*=======================================================================================*/
/*  This Sail RISC-V architecture model, comprising all files and                        */
/*  directories except where otherwise noted is subject the BSD                          */
/*  two-clause license in the LICENSE file.                                              */
/*                                                                                       */
/*  SPDX-License-Identifier: BSD-2-Clause                                                */
/*=======================================================================================*/

/* Note: virtaddr includes physical addresses when address translation is disabled.
 * It is used where the address would be virtual if address translation is active.
 */
type physaddrbits = bits(physaddrbits_len)

let physaddrbits_len = sizeof(physaddrbits_len)

newtype physaddr = Physaddr : physaddrbits
newtype virtaddr = Virtaddr : xlenbits

function bits_of_physaddr(Physaddr(paddr) : physaddr) -> physaddrbits = paddr

function bits_of_virtaddr(Virtaddr(vaddr) : virtaddr) -> xlenbits = vaddr

function sub_virtaddr_xlenbits(Virtaddr(addr) : virtaddr, offset : xlenbits) -> virtaddr = Virtaddr(addr - offset)

overload operator - = { sub_virtaddr_xlenbits }

overload bits_of = { bits_of_physaddr, bits_of_virtaddr }