| /seL4-refos-master/libs/libsel4allocman/arch/riscv/allocman/arch/ |
| H A D | reservation.h | 17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
|
| /seL4-refos-master/libs/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/ |
| H A D | reservation.h | 17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
|
| /seL4-refos-master/libs/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/ |
| H A D | reservation.h | 17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
|
| /seL4-refos-master/libs/libsel4allocman/sel4_arch/arm_hyp/allocman/sel4_arch/ |
| H A D | reservation.h | 17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
|
| /seL4-refos-master/libs/libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/ |
| H A D | reservation.h | 17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
|
| /seL4-refos-master/libs/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/ |
| H A D | reservation.h | 17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/arch/riscv/allocman/arch/ |
| H A D | reservation.h | 17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/ |
| H A D | reservation.h | 17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/ |
| H A D | reservation.h | 17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/sel4_arch/arm_hyp/allocman/sel4_arch/ |
| H A D | reservation.h | 17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/ |
| H A D | reservation.h | 17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/ |
| H A D | reservation.h | 17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/mspace/ |
| H A D | mspace.h | 21 void *(*alloc)(struct allocman *alloc, void *cookie, size_t bytes, int *error); member in struct:mspace_interface
|
| H A D | null.h | 24 static inline void *_mspace_null_alloc(struct allocman *alloc, void *unused, size_t bytes, int *error) argument
30 static inline void _mspace_null_free(struct allocman *alloc, void *unused, void *ptr, size_t bytes) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
| H A D | mspace.h | 21 void *(*alloc)(struct allocman *alloc, void *cookie, size_t bytes, int *error); member in struct:mspace_interface
|
| H A D | null.h | 24 static inline void *_mspace_null_alloc(struct allocman *alloc, void *unused, size_t bytes, int *error) argument
30 static inline void _mspace_null_free(struct allocman *alloc, void *unused, void *ptr, size_t bytes) argument
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ |
| H A D | cspace.h | 22 int (*alloc)(struct allocman *alloc, void *cookie, cspacepath_t *path); member in struct:cspace_interface
|
| H A D | vka.h | 29 static int _cspace_vka_alloc(struct allocman *alloc, void *_cspace, cspacepath_t *slot) argument
35 static void _cspace_vka_free(struct allocman *alloc, void *_cspace, const cspacepath_t *slot) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
| H A D | cspace.h | 22 int (*alloc)(struct allocman *alloc, void *cookie, cspacepath_t *path); member in struct:cspace_interface
|
| H A D | vka.h | 29 static int _cspace_vka_alloc(struct allocman *alloc, void *_cspace, cspacepath_t *slot) argument
35 static void _cspace_vka_free(struct allocman *alloc, void *_cspace, const cspacepath_t *slot) argument
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/ |
| H A D | cspaceops.h | 22 static inline int cspace_move_alloc(allocman_t *alloc, cspacepath_t src, cspacepath_t *result) { argument
31 static inline int cspace_move_alloc_cptr(allocman_t *alloc, cspace_interface_t source_cspace, seL4_CPtr slot, cspacepath_t *result) { argument
|
| /seL4-refos-master/libs/libsel4allocman/src/cspace/ |
| H A D | simple1level.c | 25 int _cspace_simple1level_alloc(allocman_t *alloc, void *_cspace, cspacepath_t *slot) argument
37 void _cspace_simple1level_free(allocman_t *alloc, void *_cspace, const cspacepath_t *slot) argument
|
| /seL4-refos-master/libs/libsel4allocman/src/mspace/ |
| H A D | malloc.c | 18 void *_mspace_malloc_alloc(allocman_t *alloc, void *unused, size_t bytes, int *error) argument
25 void _mspace_malloc_free(allocman_t *alloc, void *unsued, void *ptr, size_t bytes) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | cspaceops.h | 22 static inline int cspace_move_alloc(allocman_t *alloc, cspacepath_t src, cspacepath_t *result) { argument
31 static inline int cspace_move_alloc_cptr(allocman_t *alloc, cspace_interface_t source_cspace, seL4_CPtr slot, cspacepath_t *result) { argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | simple1level.c | 25 int _cspace_simple1level_alloc(allocman_t *alloc, void *_cspace, cspacepath_t *slot) argument
37 void _cspace_simple1level_free(allocman_t *alloc, void *_cspace, const cspacepath_t *slot) argument
|