// Copyright CHERIoT Contributors.
// SPDX-License-Identifier: MIT

#pragma once
#include <assembly-helpers.h>

/*
 * Constant to represent the raw permissions of the compartment CSP.  We use
 * this in the switcher, to verify the permissions of the CSP that comes from
 * the compartment are exactly what we expect.
 */
EXPORT_ASSEMBLY_EXPRESSION(COMPARTMENT_STACK_PERMISSIONS,
                           (CHERI::PermissionSet{
                             CHERI::Permission::Load,
                             CHERI::Permission::Store,
                             CHERI::Permission::LoadStoreCapability,
                             CHERI::Permission::LoadMutable,
                             CHERI::Permission::StoreLocal,
                             CHERI::Permission::LoadGlobal}
                              .as_raw()),
                           0x7e)

/**
 * Space reserved at the top of a stack on entry to the compartment.
 *
 * This *must* be a multiple of 16, which is the stack alignment.
 */
#define STACK_ENTRY_RESERVED_SPACE 16

#ifdef __cplusplus
using namespace priv;
#endif

EXPORT_ASSEMBLY_NAME(MCAUSE_THREAD_EXIT, 24)
EXPORT_ASSEMBLY_NAME(MCAUSE_THREAD_INTERRUPT, 25)
EXPORT_ASSEMBLY_NAME(MCAUSE_CHERI, 28)

EXPORT_ASSEMBLY_EXPRESSION(SEAL_TYPE_SealedImportTableEntries,
                           SealingType::SealedImportTableEntries,
                           9)
EXPORT_ASSEMBLY_EXPRESSION(SEAL_TYPE_SealedTrustedStacks,
                           SealingType::SealedTrustedStacks,
                           10)