1/*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7#pragma once
8
9#include <mode/object/structures.h>
10
11#define tcbArchCNodeEntries tcbCNodeEntries
12
13static inline bool_t CONST Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap)
14{
15    return false;
16}
17
18
19