Searched defs:slot (Results 1 - 25 of 74) sorted by relevance

123

/seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/
H A Dvka.h21 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 Dsimple1level.h40 static inline cspacepath_t _cspace_simple1level_make_path(void *_cspace, seL4_CPtr slot) argument
H A Dsingle_level.h49 static inline cspacepath_t _cspace_single_level_make_path(void *_cspace, seL4_CPtr slot) argument
/seL4-refos-master/libs/libsel4allocman/include/allocman/
H A Dcspaceops.h31 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 Dsimple1level.c25 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 Dsingle_level.c57 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 Dvka.h21 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 Dsimple1level.h40 static inline cspacepath_t _cspace_simple1level_make_path(void *_cspace, seL4_CPtr slot) argument
H A Dsingle_level.h49 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 Dcspaceops.h31 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 Dsimple1level.c25 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 Dsingle_level.c57 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 Dsimple.c29 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 Dsimple.c29 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 Datexit.c15 static int slot; variable
[all...]
/seL4-refos-master/kernel/include/kernel/
H A Dcspace.h23 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 Diospace.h34 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 Dnull-vka.c26 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 Dnull-vka.c26 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 Dtcb.c30 static exception_t performSetEPTRoot(tcb_t *tcb, cap_t cap, cte_t *slot) argument
/seL4-refos-master/libs/libsel4allocman/include/allocman/utspace/
H A Dvka.h31 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 Dtwinkle.c64 _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 Dvka.c56 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 Dvka.h31 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 Dtwinkle.c64 _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

Completed in 287 milliseconds

123