|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
the absolute system tick value since boot, 64-bit, assuming never overflows More...
#include <thread.h>
Public Attributes | |
| uint32_t | lo |
| low 32 bits of the system tick | |
| uint32_t | hi |
| hi 32 bits | |
the absolute system tick value since boot, 64-bit, assuming never overflows
| uint32_t SystickReturn::hi |
| uint32_t SystickReturn::lo |
low 32 bits of the system tick
Definition at line 23 of file thread.h.
Referenced by vTaskSetTimeOutState().