/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/ |
H A D | slot.hpp | 15 # include <msgpack/preprocessor/slot/slot.hpp>
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/slot/ |
H A D | counter.hpp | 15 # include <msgpack/preprocessor/slot/detail/def.hpp> 23 # define MSGPACK_PP_UPDATE_COUNTER() <msgpack/preprocessor/slot/detail/counter.hpp>
|
H A D | slot.hpp | 16 # include <msgpack/preprocessor/slot/detail/def.hpp> 22 # define MSGPACK_PP_ASSIGN_SLOT_1 <msgpack/preprocessor/slot/detail/slot1.hpp> 23 # define MSGPACK_PP_ASSIGN_SLOT_2 <msgpack/preprocessor/slot/detail/slot2.hpp> 24 # define MSGPACK_PP_ASSIGN_SLOT_3 <msgpack/preprocessor/slot/detail/slot3.hpp> 25 # define MSGPACK_PP_ASSIGN_SLOT_4 <msgpack/preprocessor/slot/detail/slot4.hpp> 26 # define MSGPACK_PP_ASSIGN_SLOT_5 <msgpack/preprocessor/slot/detail/slot5.hpp>
|
/seL4-camkes-master/projects/musllibc/src/exit/ |
H A D | atexit.c | 15 static int slot; variable 22 for (; head; head=head->next, slot=COUNT) while(slot-->0) { 23 func = head->f[slot]; 24 arg = head->a[slot]; 43 if (slot==COUNT) { 51 slot = 0; 55 head->f[slot] = func; 56 head->a[slot] = arg; 57 slot [all...] |
/seL4-camkes-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 25 vka_cspace_make_path(vka, slot, &path); 29 static int _cspace_vka_alloc(struct allocman *alloc, void *_cspace, cspacepath_t *slot) argument 33 return vka_cspace_alloc_path(vka, slot); 35 static void _cspace_vka_free(struct allocman *alloc, void *_cspace, const cspacepath_t *slot) argument 39 vka_cspace_free(vka, slot->capPtr);
|
H A D | single_level.h | 27 /* First valid slot (as an index) */ 29 /* Last valid slot + 1 (as an index) */ 45 int _cspace_single_level_alloc(struct allocman *alloc, void *_cspace, cspacepath_t *slot); 46 int _cspace_single_level_alloc_at(struct allocman *alloc, void *_cspace, seL4_CPtr slot); 47 void _cspace_single_level_free(struct allocman *alloc, void *_cspace, const cspacepath_t *slot); 49 static inline cspacepath_t _cspace_single_level_make_path(void *_cspace, seL4_CPtr slot) argument 54 .capPtr = slot, 58 .offset = slot,
|
H A D | simple1level.h | 29 /* First valid slot (as an index) */ 31 /* Last valid slot + 1 (as an index) */ 40 static inline cspacepath_t _cspace_simple1level_make_path(void *_cspace, seL4_CPtr slot) argument 45 .capPtr = slot, 46 .offset = slot, 63 int _cspace_simple1level_alloc(struct allocman *alloc, void *_cspace, cspacepath_t *slot); 64 void _cspace_simple1level_free(struct allocman *alloc, void *_cspace, const cspacepath_t *slot);
|
H A D | two_level.h | 27 /* First valid slot (as an index) */ 29 /* Last valid slot + 1 (as an index) */ 36 * this allocator. The slot range is usual 'valid slot' to 'valid slot +1', with 66 /* Remember which second level we last tried to allocate a slot from */ 74 int _cspace_two_level_alloc(struct allocman *alloc, void *_cspace, cspacepath_t *slot); 75 void _cspace_two_level_free(struct allocman *alloc, void *_cspace, const cspacepath_t *slot); 76 int _cspace_two_level_alloc_at(struct allocman *alloc, void *_cspace, seL4_CPtr slot); 78 cspacepath_t _cspace_two_level_make_path(void *_cspace, seL4_CPtr slot); [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
H A D | pcifront.h | 10 void pcifront_scan(struct pcifront_dev *dev, void (*fun)(unsigned int domain, unsigned int bus, unsigned slot, unsigned int fun)); 13 unsigned int bus, unsigned int slot, unsigned long fun, 17 unsigned int bus, unsigned int slot, unsigned long fun, 21 unsigned int bus, unsigned int slot, unsigned long fun); 24 unsigned int bus, unsigned int slot, unsigned long fun); 27 unsigned int bus, unsigned int slot, unsigned long fun, 31 unsigned int bus, unsigned int slot, unsigned long fun);
|
/seL4-camkes-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 33 *slot = _cspace_simple1level_make_path(cspace, cspace->current_slot++); 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 76 *slot = _cspace_single_level_make_path(cspace, cspace->config.first_slot + (i * BITS_PER_WORD + index)); 80 int _cspace_single_level_alloc_at(allocman_t *alloc, void *_cspace, seL4_CPtr slot) { argument 82 size_t index = slot - cspace->config.first_slot; 96 void _cspace_single_level_free(allocman_t *alloc, void *_cspace, const cspacepath_t *slot) argument 99 size_t index = slot->capPtr - cspace->config.first_slot;
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/iteration/ |
H A D | local.hpp | 16 # include <msgpack/preprocessor/slot/slot.hpp>
|
/seL4-camkes-master/kernel/include/arch/arm/arch/object/ |
H A D | iospace.h | 16 exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, 18 exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, 20 exception_t performPageInvocationUnmapIO(cap_t cap, cte_t *slot); 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-camkes-master/kernel/include/object/ |
H A D | cnode.h | 34 exception_t cteRevoke(cte_t *slot); 35 exception_t cteDelete(cte_t *slot, bool_t exposed); 36 void cteDeleteOne(cte_t *slot); 37 void insertNewCap(cte_t *parent, cte_t *slot, cap_t cap); 39 exception_t ensureNoChildren(cte_t *slot); 40 exception_t ensureEmptySlot(cte_t *slot); 42 bool_t PURE slotCapLongRunningDelete(cte_t *slot);
|
/seL4-camkes-master/kernel/src/object/ |
H A D | cnode.c | 32 static finaliseSlot_ret_t finaliseSlot(cte_t *slot, bool_t exposed); 33 static void emptySlot(cte_t *slot, cap_t cleanupInfo); 34 static exception_t reduceZombie(cte_t *slot, bool_t exposed); 69 userError("CNode operation: Target slot invalid."); 72 destSlot = lu_ret.slot; 101 userError("CNode Copy/Mint/Move/Mutate: Invalid source slot."); 104 srcSlot = lu_ret.slot; 107 userError("CNode Copy/Mint/Move/Mutate: Source slot invalid or empty."); 209 userError("CNode SaveCaller: Destination slot not empty."); 257 srcSlot = lu_ret.slot; 528 cteRevoke(cte_t *slot) argument 552 cteDelete(cte_t *slot, bool_t exposed) argument 567 emptySlot(cte_t *slot, cap_t cleanupInfo) argument 594 capRemovable(cap_t cap, cte_t *slot) argument 609 capCyclicZombie(cap_t cap, cte_t *slot) argument 615 finaliseSlot(cte_t *slot, bool_t immediate) argument 664 reduceZombie(cte_t *slot, bool_t immediate) argument 726 cteDeleteOne(cte_t *slot) argument 745 insertNewCap(cte_t *parent, cte_t *slot, cap_t cap) argument 761 cte_t *slot; local 815 ensureNoChildren(cte_t *slot) argument 830 ensureEmptySlot(cte_t *slot) argument 870 slotCapLongRunningDelete(cte_t *slot) argument 895 cte_t *slot; local [all...] |
/seL4-camkes-master/projects/musllibc/src/thread/ |
H A D | sem_open.c | 32 int fd, i, e, slot, first=1, cnt, cs; local 50 /* Reserve a slot in case this semaphore is not mapped yet; 53 slot = -1; 56 if (!semtab[i].sem && slot < 0) slot = i; 59 if (cnt == INT_MAX || slot < 0) { 65 semtab[slot].sem = (sem_t *)-1; 144 semtab[slot].sem = 0; 145 slot = i; 148 semtab[slot] [all...] |
/seL4-camkes-master/projects/projects_libs/libvswitch/src/ |
H A D | vswitch.c | 50 int slot; local 62 slot = vswitch_find_free_slot(lib); 63 if (slot < 0) { 64 ZF_LOGE("Failed to find free slot for new client " PR_MAC802_ADDR ".", 70 memcpy((void *)&lib->nodes[slot].addr, guest_macaddr, 72 lib->nodes[slot].virtqueues.send_queue = send_virtqueue; 73 lib->nodes[slot].virtqueues.recv_queue = recv_virtqueue;
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
H A D | cspaceops.h | 20 * at the cspace level instead of the cap/slot level */ 31 static inline int cspace_move_alloc_cptr(allocman_t *alloc, cspace_interface_t source_cspace, seL4_CPtr slot, cspacepath_t *result) { argument 32 return cspace_move_alloc(alloc, source_cspace.make_path(source_cspace.cspace, slot), result);
|
/seL4-camkes-master/kernel/src/kernel/ |
H A D | cspace.c | 28 ret.cap = lu_ret.slot->cap; 40 ret.slot = NULL; 46 ret.slot = lu_ret.slot; 47 ret.cap = lu_ret.slot->cap; 61 ret.slot = res_ret.slot; 71 ret.slot = NULL; 106 ret.slot = res_ret.slot; 131 cte_t *slot; local [all...] |
/seL4-camkes-master/projects/capdl/cdl_utils/templates/ |
H A D | cspace.template.c | 23 {% for (symbol, slot) in slots -%} 24 seL4_CPtr {{symbol}} = {{slot}};
|
/seL4-camkes-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-camkes-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | vka.h | 29 * Allocate a slot in a cspace. 32 * @param res pointer to a cptr to store the allocated slot 42 * @param slot a cslot allocated by the cspace alloc function 45 typedef void (*vka_cspace_make_path_fn)(void *data, seL4_CPtr slot, cspacepath_t *res); 51 * @param slot a cslot allocated by the cspace alloc function 53 typedef void (*vka_cspace_free_fn)(void *data, seL4_CPtr slot); 162 static inline void vka_cspace_make_path(vka_t *vka, seL4_CPtr slot, cspacepath_t *res) argument 177 vka->cspace_make_path(vka->data, slot, res); 185 seL4_CPtr slot; local 186 int error = vka_cspace_alloc(vka, &slot); 195 vka_cspace_free(vka_t *vka, seL4_CPtr slot) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4simple/src/ |
H A D | simple.c | 29 int simple_vka_cspace_alloc(void *data, seL4_CPtr *slot) argument 31 assert(data && slot); 37 /* Keep trying to find the next free slot by seeing if we can copy something there */ 54 *slot = simple_get_cap_count(simple) + i; 58 void simple_vka_cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *path) argument 64 path->capPtr = slot; 68 path->offset = slot;
|
/seL4-camkes-master/kernel/include/arch/x86/arch/object/ |
H A D | ioport.h | 18 exception_t decodeX86PortInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, 20 exception_t decodeX86PortControlInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
|
H A D | objecttype.h | 15 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap); 23 exception_t Arch_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, 30 deriveCap_ret_t Mode_deriveCap(cte_t *slot, cap_t cap); 34 exception_t Mode_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
|