|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
The public view of state represented by a capability that is used to authorise heap allocations. More...
#include <stdlib.h>
Public Attributes | |
| size_t | quota |
| The number of bytes that the capability will permit to be allocated. | |
| size_t | unused |
| Reserved space for internal use. | |
| uintptr_t | reserved [2] |
| Reserved space for internal use. | |
The public view of state represented by a capability that is used to authorise heap allocations.
This should be used only when creating a new heap.
| size_t AllocatorCapabilityState::quota |
| uintptr_t AllocatorCapabilityState::reserved[2] |
| size_t AllocatorCapabilityState::unused |