CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
ds::linked_list::cell::OffsetPtrAddr< Offset > Class Template Reference

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 ()

Detailed Description

template<ptrdiff_t Offset>
class ds::linked_list::cell::OffsetPtrAddr< Offset >

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.

Constructor & Destructor Documentation

◆ OffsetPtrAddr()

template<ptrdiff_t Offset>
ds::linked_list::cell::OffsetPtrAddr< Offset >::OffsetPtrAddr ( )
inline

Definition at line 527 of file linked_list.h.

Member Function Documentation

◆ cell_is_doubleton()

template<ptrdiff_t Offset>
bool ds::linked_list::cell::OffsetPtrAddr< Offset >::cell_is_doubleton ( )
inline

Definition at line 561 of file linked_list.h.

◆ cell_is_singleton()

template<ptrdiff_t Offset>
bool ds::linked_list::cell::OffsetPtrAddr< Offset >::cell_is_singleton ( )
inline

Definition at line 556 of file linked_list.h.

◆ cell_next()

template<ptrdiff_t Offset>
auto ds::linked_list::cell::OffsetPtrAddr< Offset >::cell_next ( )
inline

Definition at line 539 of file linked_list.h.

◆ cell_prev()

template<ptrdiff_t Offset>
auto ds::linked_list::cell::OffsetPtrAddr< Offset >::cell_prev ( )
inline

Definition at line 545 of file linked_list.h.

◆ cell_reset()

template<ptrdiff_t Offset>
void ds::linked_list::cell::OffsetPtrAddr< Offset >::cell_reset ( )
inline

Definition at line 534 of file linked_list.h.


The documentation for this class was generated from the following file: