|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
This is a minimal implementation of setjmp/longjmp. More...
#include <setjmp.h>
Public Attributes | |
| uintptr_t | __cs0 |
| uintptr_t | __cs1 |
| uintptr_t | __csp |
| uintptr_t | __cra |
This is a minimal implementation of setjmp/longjmp.
CHERIoT cannot store a jmp_buf anywhere other than the stack without clearing tags (which will then cause longjmp to fail). Jump buffer for setjmp/longjmp.