CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
NoPlic< MaxIntrID, SourceID, Priority > Member List

This is the complete list of members for NoPlic< MaxIntrID, SourceID, Priority >, including all inherited members.

interrupt_claim() (defined in NoPlic< MaxIntrID, SourceID, Priority >)NoPlic< MaxIntrID, SourceID, Priority >inline
interrupt_complete(SourceID) (defined in NoPlic< MaxIntrID, SourceID, Priority >)NoPlic< MaxIntrID, SourceID, Priority >inline
interrupt_disable(SourceID) (defined in NoPlic< MaxIntrID, SourceID, Priority >)NoPlic< MaxIntrID, SourceID, Priority >inline
interrupt_enable(SourceID) (defined in NoPlic< MaxIntrID, SourceID, Priority >)NoPlic< MaxIntrID, SourceID, Priority >inline
priority_set(SourceID, Priority) (defined in NoPlic< MaxIntrID, SourceID, Priority >)NoPlic< MaxIntrID, SourceID, Priority >inline