Searched refs:slot (Results 1 - 25 of 127) sorted by relevance

123456

/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/
H A Dslot.hpp15 # include <msgpack/preprocessor/slot/slot.hpp>
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/slot/
H A Dcounter.hpp15 # include <msgpack/preprocessor/slot/detail/def.hpp>
23 # define MSGPACK_PP_UPDATE_COUNTER() <msgpack/preprocessor/slot/detail/counter.hpp>
H A Dslot.hpp16 # 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 Datexit.c15 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 Dvka.h21 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 Dsingle_level.h27 /* 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 Dsimple1level.h29 /* 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 Dtwo_level.h27 /* 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 Dpcifront.h10 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 Dsimple1level.c25 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 Dsingle_level.c57 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 Dlocal.hpp16 # include <msgpack/preprocessor/slot/slot.hpp>
/seL4-camkes-master/kernel/include/arch/arm/arch/object/
H A Diospace.h16 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 Dcnode.h34 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 Dcnode.c32 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 Dsem_open.c32 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 Dvswitch.c50 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 Dcspaceops.h20 * 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 Dcspace.c28 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 Dcspace.template.c23 {% for (symbol, slot) in slots -%}
24 seL4_CPtr {{symbol}} = {{slot}};
/seL4-camkes-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-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dvka.h29 * 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 Dsimple.c29 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 Dioport.h18 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 Dobjecttype.h15 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,

Completed in 211 milliseconds

123456