| // Copyright Microsoft and CHERIoT Contributors. | |
| // SPDX-License-Identifier: MIT | |
| #include <cdefs.h> | |
| #include <stdint.h> | |
| /** | |
| * Prod the software revoker to do some work. This does not do a complete | |
| * revocation pass, it will scan a region of memory and then return. | |
| */ | |
| [[cheri::interrupt_state(disabled)]] __cheri_compartment( | |
| "software_revoker") void revoker_tick(); | |
| /** | |
| * Returns a read-only capability to the current revocation epoch. If the low | |
| * bit of the epoch is 1 then revocation is running. The revocation epoch will | |
| * wrap, the caller is responsible for handling overflow. | |
| */ | |
| const uint32_t *__cheri_compartment("software_revoker") revoker_epoch_get(); |