1 /*
2  * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 #pragma once
8 
9 struct deriveCap_ret {
10     exception_t status;
11     cap_t cap;
12 };
13 typedef struct deriveCap_ret deriveCap_ret_t;
14 
15 struct finaliseCap_ret {
16     cap_t remainder;
17     /* potential cap holding information for cleanup that needs to be happen *after* a
18      * cap has been deleted. Where deleted here means been removed from the slot in emptySlot */
19     cap_t cleanupInfo;
20 };
21 typedef struct finaliseCap_ret finaliseCap_ret_t;
22 
23