|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Type representing no interrupt controller. More...
#include <platform-plic.hh>


Public Member Functions | |
| void | interrupt_enable (SourceID) |
| void | interrupt_disable (SourceID) |
| void | priority_set (SourceID, Priority) |
| std::optional< SourceID > | interrupt_claim () |
| void | interrupt_complete (SourceID) |
Type representing no interrupt controller.
Contains stub implementations of all of the methods.
Definition at line 137 of file platform-plic.hh.
|
inline |
Definition at line 145 of file platform-plic.hh.
|
inline |
Definition at line 149 of file platform-plic.hh.
|
inline |
Definition at line 141 of file platform-plic.hh.
|
inline |
Definition at line 140 of file platform-plic.hh.
|
inline |
Definition at line 143 of file platform-plic.hh.