CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
SystickReturn Struct Reference

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

Detailed Description

the absolute system tick value since boot, 64-bit, assuming never overflows

Definition at line 20 of file thread.h.

Member Data Documentation

◆ hi

uint32_t SystickReturn::hi

hi 32 bits

Definition at line 25 of file thread.h.

Referenced by vTaskSetTimeOutState().

◆ lo

uint32_t SystickReturn::lo

low 32 bits of the system tick

Definition at line 23 of file thread.h.

Referenced by vTaskSetTimeOutState().


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