/seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ |
H A D | vka.h | 21 static inline cspacepath_t _cspace_vka_make_path(void *_cspace, seL4_CPtr slot) argument 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
|
H A D | simple1level.h | 40 static inline cspacepath_t _cspace_simple1level_make_path(void *_cspace, seL4_CPtr slot) argument
|
H A D | single_level.h | 49 static inline cspacepath_t _cspace_single_level_make_path(void *_cspace, seL4_CPtr slot) argument
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/ |
H A D | cspaceops.h | 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
|
H A D | single_level.c | 57 int _cspace_single_level_alloc(allocman_t *alloc, void *_cspace, cspacepath_t *slot) argument 80 int _cspace_single_level_alloc_at(allocman_t *alloc, void *_cspace, seL4_CPtr slot) { argument 96 void _cspace_single_level_free(allocman_t *alloc, void *_cspace, const cspacepath_t *slot) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
H A D | vka.h | 21 static inline cspacepath_t _cspace_vka_make_path(void *_cspace, seL4_CPtr slot) argument 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
|
H A D | simple1level.h | 40 static inline cspacepath_t _cspace_simple1level_make_path(void *_cspace, seL4_CPtr slot) argument
|
H A D | single_level.h | 49 static inline cspacepath_t _cspace_single_level_make_path(void *_cspace, seL4_CPtr slot) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
H A D | cspaceops.h | 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
|
H A D | single_level.c | 57 int _cspace_single_level_alloc(allocman_t *alloc, void *_cspace, cspacepath_t *slot) argument 80 int _cspace_single_level_alloc_at(allocman_t *alloc, void *_cspace, seL4_CPtr slot) { argument 96 void _cspace_single_level_free(allocman_t *alloc, void *_cspace, const cspacepath_t *slot) argument
|
/seL4-refos-master/libs/libsel4simple/src/ |
H A D | simple.c | 29 int simple_vka_cspace_alloc(void *data, seL4_CPtr *slot) argument 58 void simple_vka_cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *path) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4simple/src/ |
H A D | simple.c | 29 int simple_vka_cspace_alloc(void *data, seL4_CPtr *slot) argument 58 void simple_vka_cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *path) argument
|
/seL4-refos-master/libs/libmuslc/src/exit/ |
H A D | atexit.c | 15 static int slot; variable [all...] |
/seL4-refos-master/kernel/include/kernel/ |
H A D | cspace.h | 23 cte_t *slot; member in struct:lookupCapAndSlot_ret 29 cte_t *slot; member in struct:lookupSlot_raw_ret 35 cte_t *slot; member in struct:lookupSlot_ret 41 cte_t *slot; member in struct:resolveAddressBits_ret
|
/seL4-refos-master/kernel/include/arch/arm/arch/object/ |
H A D | iospace.h | 34 static inline exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, argument 40 static inline exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, argument 46 static inline exception_t performPageInvocationUnmapIO(cap_t cap, cte_t *slot) argument
|
/seL4-refos-master/libs/libsel4vka/src/ |
H A D | null-vka.c | 26 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument 30 static void cspace_free(void *data, seL4_CPtr slot) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
H A D | null-vka.c | 26 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument 30 static void cspace_free(void *data, seL4_CPtr slot) argument
|
/seL4-refos-master/kernel/src/arch/x86/object/ |
H A D | tcb.c | 30 static exception_t performSetEPTRoot(tcb_t *tcb, cap_t cap, cte_t *slot) argument
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/utspace/ |
H A D | vka.h | 31 static inline seL4_Word _utspace_vka_alloc(struct allocman *alloc, void *_vka, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDevice, int *error) argument
|
/seL4-refos-master/libs/libsel4allocman/src/utspace/ |
H A D | twinkle.c | 64 _utspace_twinkle_alloc(allocman_t *alloc, void *_twinkle, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) argument
|
/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | vka.c | 56 static void am_vka_cspace_make_path (void *data, seL4_CPtr slot, cspacepath_t *res) argument 70 static void am_vka_cspace_free (void *data, seL4_CPtr slot) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
H A D | vka.h | 31 static inline seL4_Word _utspace_vka_alloc(struct allocman *alloc, void *_vka, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDevice, int *error) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
H A D | twinkle.c | 64 _utspace_twinkle_alloc(allocman_t *alloc, void *_twinkle, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) argument
|