Expand description
Memory access APIs
Functionsยง
- _load_
binary ๐Load a binary file into the address space - _load_
file ๐Load a (not necessarily binary) file into the physical address space - _read_
byte ๐Read a byte from a physical address - _read_
phys_ ๐memory Read physical memory at a physical address with a given length. Length must be less than or equal to 8 bytes - Retrieve physical memory tags from memory supporting physical tags, such as CHERI supported memory.
- _write_
byte ๐Write a byte to a physical address - _write_
phys_ ๐memory Write bytes to physical memory.value
must be less than or equal to 8 bytes in length. Bytes are written in little-endian format. - Set physical memory tags from memory supporting physical tags, such as CHERI supported memory.
- Load a binary file into the address space
- Load a (not necessarily binary) file into the physical address space
- Read a byte from a physical address
- Read physical memory at a physical address with a given length. Length must be less than or equal to 8 bytes
- Retrieve physical memory tags from memory supporting physical tags, such as CHERI supported memory.
- Write a byte to a physical address
- Write bytes to physical memory.
value
must be less than or equal to 8 bytes in length. Bytes are written in little-endian format. - Set physical memory tags from memory supporting physical tags, such as CHERI supported memory.