TrustworthySystems | 1621d7b | 2014-07-22 14:12:00 +1000 | [diff] [blame] | 1 | /* |
Gerwin Klein | 600fe15 | 2021-02-10 19:19:17 +1100 | [diff] [blame] | 2 | * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) |
TrustworthySystems | 1621d7b | 2014-07-22 14:12:00 +1000 | [diff] [blame] | 3 | * |
Gerwin Klein | 600fe15 | 2021-02-10 19:19:17 +1100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-2-Clause |
TrustworthySystems | 1621d7b | 2014-07-22 14:12:00 +1000 | [diff] [blame] | 5 | */ |
| 6 | |
Anna Lyons | 135c651 | 2017-09-28 12:16:03 +1000 | [diff] [blame] | 7 | #pragma once |
TrustworthySystems | 1621d7b | 2014-07-22 14:12:00 +1000 | [diff] [blame] | 8 | |
| 9 | #include <sel4/types.h> |
| 10 | #include <allocman/properties.h> |
| 11 | #include <vka/cspacepath_t.h> |
| 12 | |
| 13 | struct allocman; |
| 14 | |
| 15 | typedef struct cspace_interface { |
| 16 | int (*alloc)(struct allocman *alloc, void *cookie, cspacepath_t *path); |
Adrian Danis | bd03ee5 | 2015-04-21 15:17:01 +1000 | [diff] [blame] | 17 | void (*free)(struct allocman *alloc, void *cookie, const cspacepath_t *path); |
TrustworthySystems | 1621d7b | 2014-07-22 14:12:00 +1000 | [diff] [blame] | 18 | cspacepath_t (*make_path)(void *cookie, seL4_CPtr slot); |
| 19 | struct allocman_properties properties; |
| 20 | void *cspace; |
| 21 | } cspace_interface_t; |
| 22 | |