Sign in
opensecura
/
3p
/
cheriot-rtos
/
7b7570bd7a237b96ac5f8b726401fd649e3d09fd
/
.
/
benchmarks
/
compartment-call
/
callee.h
blob: b0b1b1c1447714b2f03875b6fc85f8948e74aa83 [
file
] [
log
] [
blame
]
#include
<compartment.h>
int
__cheri_compartment
(
"callee"
)
noop_return_rdcycle
();
