|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Equipped with a context for bounds, an address reference can be a proxy for a pointer. More...
#include <pointer.h>
Public Types | |
| using | Type = T |
Public Member Functions | |
| PtrAddr (void *c, ptraddr_t &r) | |
| operator T* () | |
| T * | operator-> () |
| PtrAddr & | operator= (T *p) |
| PtrAddr & | operator= (PtrAddr const &p) |
| bool | operator== (PtrAddr &p) |
| auto | operator<=> (PtrAddr &p) |
Equipped with a context for bounds, an address reference can be a proxy for a pointer.
| using ds::pointer::proxy::PtrAddr< T >::Type = T |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |