Searched refs:slot (Results 51 - 75 of 197) sorted by relevance

12345678

/barrelfish-master/usr/tests/distops/
H A Ddelete.c69 PANIC_IF_ERR(err, "slot alloc in root cnode in server");
125 cst->cap.slot = 0;
129 for (; cap.slot < 4; cap.slot ++) {
131 PANIC_IF_ERR(err, "in client: copying into our cnode, slot=%"PRIuCSLOT, cap.slot);
154 PANIC_IF_ERR(err, "cannot identify vnode in slot 0 of cnode");
/barrelfish-master/doc/014-bulk-transfer/
H A Dbulk-transfer.tex315 \item \textbf{Free slot:} A slot which is available, and can be given
317 \item \textbf{In-generation slot:} A slot is given to generator. Only
318 the generator should read/write this slot now. This is the only
319 mode when data can be written in the slot.
320 \item \textbf{In-consumption slot:} One or more consumers are currently
321 consuming this slot. In this mode, slot is strictly read-only
322 no one should modify the data in slot i
[all...]
/barrelfish-master/include/barrelfish/
H A Dcapabilities.h83 * \param dest Location of destination slot, which must be empty
84 * \param src Location of source slot
101 return invoke_cnode_mint(cap_root, dcs_addr, dcn_addr, dest.slot,
111 * \param slot slot in destination VNode
116 vnode_map(struct capref dest, struct capref src, capaddr_t slot, argument
130 return invoke_vnode_map(dest, slot, sroot, saddr, slevel, attr, off, pte_count,
131 mcn_root, mcn_addr, mcn_level, mapping.slot);
149 vnode_copy_remap(struct capref dest, struct capref src, capaddr_t slot, argument
159 return invoke_vnode_copy_remap(dest, slot, sadd
[all...]
H A Dlmp_endpoints.h36 struct capref recv_slot;///< Receive slot
73 void lmp_endpoint_set_recv_slot(struct lmp_endpoint *ep, struct capref slot);
H A Dsys_debug.h54 errval_t sys_debug_feign_frame_cap(struct capref slot, lpaddr_t base,
H A Dinvocations.h40 * be placed in the slot 'dest_slot' of the CNode located at 'dest_cnode_cptr'
70 * Copies CPtr 'from' into slot 'slot' in the CNode, addressed by 'to', within
79 * \param slot Slot in destination CNode cap to place copy into
89 capaddr_t to, capaddr_t slot,
95 return cap_invoke10(root, CNodeCmd_Mint, to_cspace, to, slot, from_cspace,
102 * Copies CPtr 'from' into slot 'slot' in the CNode, addressed by 'to', within
113 * \param slot Slot in CNode cap to place copy into.
123 capaddr_t to, capaddr_t slot,
88 invoke_cnode_mint(struct capref root, capaddr_t to_cspace, capaddr_t to, capaddr_t slot, capaddr_t from_cspace, capaddr_t from, enum cnode_type tolevel, enum cnode_type fromlevel, uint64_t param1, uint64_t param2) argument
122 invoke_cnode_copy(struct capref root, capaddr_t to_cspace, capaddr_t to, capaddr_t slot, capaddr_t from_cspace, capaddr_t from, enum cnode_type tolevel, enum cnode_type fromlevel) argument
212 invoke_vnode_copy_remap(struct capref ptable, capaddr_t slot, capaddr_t src, enum cnode_type srclevel, size_t flags, size_t offset, size_t pte_count, capaddr_t mcn_addr, cslot_t mapping_slot, enum cnode_type mcn_level) argument
[all...]
/barrelfish-master/usr/bench/vspace/
H A Dvspace_map_bench.c189 for (int slot = 0; slot < BENCH_RUN_COUNT2; ++slot) {
190 frames.slot = slot;
192 EXPECT_SUCCESS(err, "allocating a slot");
206 frames.slot = current;
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c335 cslot_t slot,
349 if (slot >= 4096) {
350 panic("oops: slot >= 4096");
373 if (slot + pte_count > 4096) {
381 union arm_l1_entry* entry = ((union arm_l1_entry*)dest_lvaddr) + slot;
391 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
411 dest_lvaddr, slot, entry, entry->raw);
420 if (slot >= ARM_L1_MAX_ENTRIES) {
421 printf("slot = %"PRIuCSLOT"\n",slot);
334 caps_map_l1(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument
484 caps_map_l2(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument
605 do_unmap(lvaddr_t pt, cslot_t slot, size_t num_pages) argument
[all...]
/barrelfish-master/include/arch/x86_32/barrelfish/
H A Dinvocations_arch.h59 * into slots starting at slot 'slot' in the CNode, addressed by 'to', with
69 * \param slot Slot in CNode cap to start placement.
76 capaddr_t to, capaddr_t slot, int bits)
89 slot).error;
96 * be placed in the slot 'dest_slot' of the CNode located at 'dest_cnode_cptr'
134 * Copies CPtr 'from' into slot 'slot' in the CNode, addressed by 'to', within
142 * \param slot Slot in CNode cap to place copy into.
152 capaddr_t slot, capaddr_
74 invoke_cnode_retype(struct capref root, capaddr_t cap, enum objtype newtype, int objbits, capaddr_t to, capaddr_t slot, int bits) argument
151 invoke_cnode_mint(struct capref root, capaddr_t to, capaddr_t slot, capaddr_t from, int tobits, int frombits, uintptr_t param1, uintptr_t param2) argument
191 invoke_cnode_copy(struct capref root, capaddr_t to, capaddr_t slot, capaddr_t from, int tobits, int frombits) argument
274 invoke_vnode_map(struct capref ptable, capaddr_t slot, capaddr_t from, int frombits, uintptr_t flags, uintptr_t offset, uintptr_t pte_count) argument
[all...]
/barrelfish-master/lib/barrelfish/vspace/
H A Dmemobj_append.c257 size_t slot = append->first_free_frame; local
258 assert(slot <= append->frame_count);
261 if (offset > 0 && offset < append->offsets[slot-1]) {
265 if (slot == append->frame_count) {
290 if (!capref_is_null((append->frames[slot]))) {
298 append->frames[slot] = frame;
299 append->offsets[slot] = offset;
300 append->frame_sizes[slot] = fi.bytes;
301 append->frame_offsets[slot] = frame_offset;
/barrelfish-master/usr/bench/distops/
H A Ddelete_local_copy.c236 struct capref slot; local
237 err = slot_alloc(&slot);
239 err = cap_copy(slot, ns->cap);
246 err = cap_delete(slot);
251 err = cap_copy(slot, ns->cap);
H A Ddelete_last_copy.c232 struct capref slot; local
235 err = ram_alloc(&slot, BASE_PAGE_BITS);
240 err = cap_delete(slot);
245 err = slot_free(slot);
H A Dretype_no_remote.c232 struct capref slot; local
233 err = slot_alloc(&slot);
241 err = cap_retype(slot, ns->cap,
248 err = cap_delete(slot);
/barrelfish-master/include/driverkit/
H A Diommu.h137 * @param slot the slot to map into
145 struct capref src, uint16_t slot, uint64_t attr,
150 * @brief unmaps a slot in a vnode
154 * @param slot the slot to be unmapped
159 uint16_t slot);
167 * @param slot the slot to change the mapping
173 uint16_t slot, uint64_
[all...]
/barrelfish-master/usr/drivers/serial/
H A Dserial_kernel.c76 irq_src.slot = PCIARG_SLOT_INT;
81 irq_src.slot = PCIARG_SLOT_INT;
/barrelfish-master/usr/init/
H A Dmem_alloc.c62 /* init slot allocator */
75 .slot = 0,
78 /* get destination slot for retype */
92 mem_cap.slot = mem_slot;
/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Demu_c_env.c63 #define DELAY_SLOT 1 /* 'suspend' attribute slot */
596 dyn_event_q_slot_t *slot;
600 slot = g_emu_.dyn_event_q.prehead->next; /* get */
604 for( cnt = 0; cnt < total; cnt++, slot = slot->next )
606 p_fprintf(current_err_, " %d:%x", slot->event_data.tag.kernel, slot->event_data.val.ptr);
704 dyn_event_q_slot_t *slot = g_emu_.dyn_event_q.prehead->next; /* get */
707 for( cnt = 0; cnt < total; cnt++, slot = slot
595 dyn_event_q_slot_t *slot; local
703 dyn_event_q_slot_t *slot = g_emu_.dyn_event_q.prehead->next; /* get */ local
733 dyn_event_q_slot_t *slot; local
907 dyn_event_q_slot_t *slot, *prev; local
1029 dyn_event_q_slot_t *slot = g_emu_.dyn_event_q.tail->next; /* put */ local
1245 deep_suspend(value val, type tag, int position, pword *susp, int slot) argument
1291 add_attribute(word tv, pword *va, word ta, int slot) argument
1369 insert_suspension(pword *var, int position, pword *susp, int slot) argument
[all...]
/barrelfish-master/kernel/
H A Dcap_delete.c156 struct cte *slot = caps_locate_slot(get_address(&cte->cap), i); local
157 caps_mark_revoke_generic(slot);
348 // have cap to return to monitor but no allocated slot and no room in
469 // slot should now be empty
741 #define CHECK_SLOT(slot) do { \
742 assert((slot)->cap.type == ObjType_Null \
743 || (slot)->cap.type == ObjType_L1CNode \
744 || (slot)->cap.type == ObjType_L2CNode \
745 || (slot)->cap.type == ObjType_Dispatcher); \
746 if ((slot)
755 struct cte *slot = caps_locate_slot(get_address(&cte->cap), i); local
[all...]
/barrelfish-master/lib/spawndomain/
H A Dspawn.c83 t1.slot = TASKCN_SLOT_DISPATCHER;
92 .slot = TASKCN_SLOT_SELFEP,
102 t1.slot = TASKCN_SLOT_ROOTCN;
139 .slot = 0,
170 .slot = 0,
196 /* Init pagecn's slot allocator */
198 si->pagecn_cap.slot = ROOTCN_SLOT_PAGECN;
218 // top-level table should always live in slot 0 of pagecn
219 assert(si->vtree.slot == 0);
335 si->dispframe.slot
[all...]
/barrelfish-master/usr/bench/cow/
H A Dvspace_cow.c38 struct capref f = (struct capref) { .cnode = cow_frames, .slot = frame_id };
83 struct capref first_frame = (struct capref) { .cnode = cnode, .slot = 0 };
135 struct capref fc = (struct capref) { .cnode = cnode, .slot = 0 };
151 fc.slot++;
/barrelfish-master/lib/barrelfish/include/
H A Dpmap_priv.h40 vnode->v.mapping.slot = entry % L2_CNODE_SLOTS;
44 /* just use the slot allocator associated with the pmap. */
/barrelfish-master/lib/spawndomain/arch/arm/
H A Dspawn_arch.c74 .slot = si->elfload_slot++,
105 .slot = vspace_slot++,
132 .slot = spawn_vspace_slot++,
164 .slot = ROOTCN_SLOT_SEGCN,
/barrelfish-master/lib/spawndomain/arch/aarch64/
H A Dspawn_arch.c74 .slot = si->elfload_slot++,
105 .slot = vspace_slot++,
132 .slot = spawn_vspace_slot++,
164 .slot = ROOTCN_SLOT_SEGCN,
/barrelfish-master/usr/examples/xmpl-cow/
H A Dmain.c51 struct capref f = (struct capref) { .cnode = cow_frames, .slot = frame_id };
96 struct capref first_frame = (struct capref) { .cnode = cnode, .slot = 0 };
133 struct capref fc = (struct capref) { .cnode = cnode, .slot = 0 };
141 fc.slot++;
/barrelfish-master/usr/proc_mgmt/
H A Ddomain.c47 .slot = 0
56 for (cap_iter.slot = 0; cap_iter.slot < DOMAIN_CAP_REFILL_COUNT; ++cap_iter.slot) {

Completed in 295 milliseconds

12345678