Expand description
The memory subsystem.
Generally, we use Pointer to denote memory addresses. However, some operations
have a “size”-like parameter, and they take Scalar for the address because
if the size is 0, then the pointer can also be a (properly aligned, non-null)
integer. It is crucial that these operations call check_align before
short-circuiting the empty case!
Structs§
- Alloc
Info - Metadata about an
AllocId. - Alloc
Ref - A reference to some allocation that was already bounds-checked for the given region and had the on-access machine hooks run.
- Alloc
RefMut - A reference to some allocation that was already bounds-checked for the given region and had the on-access machine hooks run.
- Memory
Enums§
- Alloc
Kind - The return value of
get_alloc_infoindicates the “kind” of the allocation. - FnVal
- The value of a function pointer.
- Memory
Kind