// Copyright Microsoft and CHERIoT Contributors. | |
// SPDX-License-Identifier: MIT | |
#include <compartment.h> | |
struct Identifier; | |
__cheri_compartment("identifier") Identifier *identifier_create(int value); | |
__cheri_compartment("identifier") int identifier_value(Identifier *identifier); | |
__cheri_compartment("identifier") void identifier_destroy(Identifier *); |