|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Encode a linked list cons cell as a pair of addresses (but present an interface in terms of pointers). More...
#include <linked_list.h>
Public Member Functions | |
| void | cell_reset () |
| auto | cell_next () |
| auto | cell_prev () |
| bool | cell_is_singleton () |
| bool | cell_is_doubleton () |
Encode a linked list cons cell as a pair of addresses (but present an interface in terms of pointers).
CHERI bounds on the returned pointers are inherited from the pointer to this cons cell.
Definition at line 522 of file linked_list.h.
|
inline |
Definition at line 527 of file linked_list.h.
|
inline |
Definition at line 561 of file linked_list.h.
|
inline |
Definition at line 556 of file linked_list.h.
|
inline |
Definition at line 539 of file linked_list.h.
|
inline |
Definition at line 545 of file linked_list.h.
|
inline |
Definition at line 534 of file linked_list.h.