CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
Revocation::SupportsInterruptNotification Concept Reference

If this revoker supports an interrupt to notify of completion then it must have a method that blocks waiting for the interrupt to fire. More...

#include <hardware_revoker.hh>

Concept definition

template<typename T>
requires(T v, Timeout *timeout, uint32_t epoch) {
{ v.wait_for_completion(timeout, epoch) } -> std::same_as<bool>;
}
If this revoker supports an interrupt to notify of completion then it must have a method that blocks ...
Structure representing a timeout.
Definition timeout.h:47

Detailed Description

If this revoker supports an interrupt to notify of completion then it must have a method that blocks waiting for the interrupt to fire.

This method should return true if the epoch has been reached or false if the timeout expired.

Definition at line 106 of file hardware_revoker.hh.