| // 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. |
| * |
| * Returns 0 on success, a compartment invocation failure indication |
| * (-ENOTENOUGHSTACK, -ENOTENOUGHTRUSTEDSTACK) if it cannot be invoked, or |
| * possibly -ECOMPARTMENTFAIL if the software revoker compartment is damaged. |
| */ |
| [[cheri::interrupt_state(disabled)]] __cheri_compartment( |
| "software_revoker") int 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(); |
