| // Copyright Microsoft and CHERIoT Contributors. | |
| // SPDX-License-Identifier: MIT | |
| #pragma once | |
| #include <compartment.h> | |
| #include <stdint.h> | |
| #ifdef SIMULATION | |
| /** | |
| * Exit simulation, reporting the error code given as the argument. | |
| */ | |
| [[cheri::interrupt_state(disabled)]] void __cheri_compartment("sched") | |
| simulation_exit(uint32_t code = 0); | |
| #else | |
| static inline void simulation_exit(uint32_t code){}; | |
| #endif |