diff --git a/src/intercept.c b/src/intercept.c index 6cbca29..0b39c09 100644 --- a/src/intercept.c +++ b/src/intercept.c @@ -30,6 +30,8 @@ setup_intercepts() = cheri_address_set(cheri_pcc_get(), (uintptr_t) comp_exec_out); } +// TODO Reimplement this for inter-compartment function calls +// /*size_t*/ /*my_call_comp(*/ /*size_t comp_id, char *fn_name, void *args) // TODO , size_t args_count)*/