blob: 9a0b8e6c2687499b9428f81f4caaf06b2a965b13 [file] [log] [blame]
// 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 *);