| /seL4-refos-master/libs/libsel4allocman/arch/riscv/allocman/arch/ |
| H A D | reservation.h | 15 #include <allocman/allocman.h>
|
| /seL4-refos-master/libs/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/ |
| H A D | reservation.h | 15 #include <allocman/allocman.h>
|
| /seL4-refos-master/libs/libsel4allocman/sel4_arch/arm_hyp/allocman/sel4_arch/ |
| H A D | reservation.h | 15 #include <allocman/allocman.h>
|
| /seL4-refos-master/libs/libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/ |
| H A D | reservation.h | 15 #include <allocman/allocman.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/arch/riscv/allocman/arch/ |
| H A D | reservation.h | 15 #include <allocman/allocman.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/ |
| H A D | reservation.h | 15 #include <allocman/allocman.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/sel4_arch/arm_hyp/allocman/sel4_arch/ |
| H A D | reservation.h | 15 #include <allocman/allocman.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/ |
| H A D | reservation.h | 15 #include <allocman/allocman.h>
|
| /seL4-refos-master/libs/libsel4allocman/arch/arm/allocman/arch/ |
| H A D | reservation.h | 15 #include <allocman/sel4_arch/reservation.h>
|
| /seL4-refos-master/libs/libsel4allocman/arch/x86/allocman/arch/ |
| H A D | reservation.h | 15 #include <allocman/sel4_arch/reservation.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/arch/arm/allocman/arch/ |
| H A D | reservation.h | 15 #include <allocman/sel4_arch/reservation.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/arch/x86/allocman/arch/ |
| H A D | reservation.h | 15 #include <allocman/sel4_arch/reservation.h>
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/mspace/ |
| H A D | mspace.h | 16 #include <allocman/properties.h>
18 struct allocman;
21 void *(*alloc)(struct allocman *alloc, void *cookie, size_t bytes, int *error);
22 void (*free)(struct allocman *alloc, void *cookie, void *ptr, size_t bytes);
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
| H A D | mspace.h | 16 #include <allocman/properties.h>
18 struct allocman;
21 void *(*alloc)(struct allocman *alloc, void *cookie, size_t bytes, int *error);
22 void (*free)(struct allocman *alloc, void *cookie, void *ptr, size_t bytes);
|
| /seL4-refos-master/libs/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/ |
| H A D | reservation.h | 15 #include <allocman/allocman.h>
|
| /seL4-refos-master/libs/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/ |
| H A D | reservation.h | 15 #include <allocman/allocman.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/ |
| H A D | reservation.h | 15 #include <allocman/allocman.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/ |
| H A D | reservation.h | 15 #include <allocman/allocman.h>
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ |
| H A D | cspace.h | 16 #include <allocman/properties.h>
19 struct allocman;
22 int (*alloc)(struct allocman *alloc, void *cookie, cspacepath_t *path);
23 void (*free)(struct allocman *alloc, void *cookie, const cspacepath_t *path);
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/ |
| H A D | vka.h | 16 #include <allocman/allocman.h>
19 * Make a VKA object using this allocman
28 * Make an allocman from a VKA
29 * This constructs an allocman that has a cspace and utspace
|
| /seL4-refos-master/libs/libsel4allocman/src/mspace/ |
| H A D | malloc.c | 13 #include <allocman/mspace/malloc.h>
14 #include <allocman/allocman.h>
15 #include <allocman/util.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
| H A D | cspace.h | 16 #include <allocman/properties.h>
19 struct allocman;
22 int (*alloc)(struct allocman *alloc, void *cookie, cspacepath_t *path);
23 void (*free)(struct allocman *alloc, void *cookie, const cspacepath_t *path);
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | vka.h | 16 #include <allocman/allocman.h>
19 * Make a VKA object using this allocman
28 * Make an allocman from a VKA
29 * This constructs an allocman that has a cspace and utspace
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
| H A D | malloc.c | 13 #include <allocman/mspace/malloc.h>
14 #include <allocman/allocman.h>
15 #include <allocman/util.h>
|
| /seL4-refos-master/libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 17 #include <allocman/allocman.h>
18 #include <allocman/cspace/simple1level.h>
19 #include <allocman/mspace/fixed_pool.h>
20 #include <allocman/utspace/twinkle.h>
21 #include <allocman/cspace/two_level.h>
22 #include <allocman/mspace/virtual_pool.h>
23 #include <allocman/utspace/trickle.h>
24 #include <allocman/bootstrap.h>
25 #include <allocman/cspaceop
38 allocman_t *allocman; local
60 allocman_t *allocman; local
79 allocman_t *allocman; local
119 allocman_t *allocman; local
140 allocman_t *allocman; local
187 allocman_t *allocman; local
208 allocman_t *allocman; local
[all...] |