|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Structure for authorising access to a specific interrupt. More...
#include <interrupt.h>
Public Attributes | |
| enum InterruptName | interruptNumber |
| The interrupt number that this refers to. | |
| bool | mayWait |
| Does this authorise accessing the futex for monitoring the interrupt? | |
| bool | mayComplete |
| Does this authorise acknowledging the interrupt? | |
Structure for authorising access to a specific interrupt.
Definition at line 61 of file interrupt.h.
| enum InterruptName InterruptCapabilityState::interruptNumber |
The interrupt number that this refers to.
Definition at line 66 of file interrupt.h.
| bool InterruptCapabilityState::mayComplete |
Does this authorise acknowledging the interrupt?
Definition at line 74 of file interrupt.h.
| bool InterruptCapabilityState::mayWait |
Does this authorise accessing the futex for monitoring the interrupt?
Definition at line 70 of file interrupt.h.