CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
Ibex::HardwareRevoker< WordT, TCMBaseAddr > Member List

This is the complete list of members for Ibex::HardwareRevoker< WordT, TCMBaseAddr >, including all inherited members.

has_revocation_finished_for_epoch(uint32_t epoch)Ibex::HardwareRevoker< WordT, TCMBaseAddr >inline
init()Ibex::HardwareRevoker< WordT, TCMBaseAddr >inline
interrupt_futex()Ibex::HardwareRevoker< WordT, TCMBaseAddr >inline
IsAsynchronousIbex::HardwareRevoker< WordT, TCMBaseAddr >static
mark_clear_one(ptraddr_t address)Revocation::BitmapDirect< WordT, TCMBaseAddr >inline
mark_clear_range(ptraddr_t base, ptraddr_t top)Revocation::BitmapDirect< WordT, TCMBaseAddr >inline
mark_get(size_t addr) (defined in Revocation::BitmapDirect< WordT, TCMBaseAddr >)Revocation::BitmapDirect< WordT, TCMBaseAddr >inline
mark_one(ptraddr_t address, bool fill)Revocation::BitmapDirect< WordT, TCMBaseAddr >inlineprotected
mark_range(ptraddr_t base, ptraddr_t top)Revocation::BitmapDirect< WordT, TCMBaseAddr >inlineprotected
mark_set_one(CHERI::Capability< void > cap)Revocation::BitmapDirect< WordT, TCMBaseAddr >inline
mark_set_range(CHERI::Capability< void > cap)Revocation::BitmapDirect< WordT, TCMBaseAddr >inline
request_interrupt()Ibex::HardwareRevoker< WordT, TCMBaseAddr >inline
shadow_mask_bits_above_address(ptraddr_t addr) (defined in Revocation::BitmapDirect< WordT, TCMBaseAddr >)Revocation::BitmapDirect< WordT, TCMBaseAddr >inlineprotectedstatic
shadow_mask_bits_below_address(ptraddr_t addr) (defined in Revocation::BitmapDirect< WordT, TCMBaseAddr >)Revocation::BitmapDirect< WordT, TCMBaseAddr >inlineprotectedstatic
shadow_offset_bits(ptraddr_t addr) (defined in Revocation::BitmapDirect< WordT, TCMBaseAddr >)Revocation::BitmapDirect< WordT, TCMBaseAddr >inlineprotectedstatic
shadow_word_index(size_t offsetBits) (defined in Revocation::BitmapDirect< WordT, TCMBaseAddr >)Revocation::BitmapDirect< WordT, TCMBaseAddr >inlineprotectedstatic
system_bg_revoker_kick()Ibex::HardwareRevoker< WordT, TCMBaseAddr >inline
system_epoch_get()Ibex::HardwareRevoker< WordT, TCMBaseAddr >inline
wait_for_completion(TimeoutArgument timeout, uint32_t epoch)Ibex::HardwareRevoker< WordT, TCMBaseAddr >inline