/barrelfish-master/usr/tests/distops/ |
H A D | delete.c | 69 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 D | bulk-transfer.tex | 315 \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 D | capabilities.h | 83 * \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 D | lmp_endpoints.h | 36 struct capref recv_slot;///< Receive slot 73 void lmp_endpoint_set_recv_slot(struct lmp_endpoint *ep, struct capref slot);
|
H A D | sys_debug.h | 54 errval_t sys_debug_feign_frame_cap(struct capref slot, lpaddr_t base,
|
H A D | invocations.h | 40 * 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 D | vspace_map_bench.c | 189 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 D | paging.c | 335 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 D | invocations_arch.h | 59 * 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 D | memobj_append.c | 257 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 D | delete_local_copy.c | 236 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 D | delete_last_copy.c | 232 struct capref slot; local 235 err = ram_alloc(&slot, BASE_PAGE_BITS); 240 err = cap_delete(slot); 245 err = slot_free(slot);
|
H A D | retype_no_remote.c | 232 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 D | iommu.h | 137 * @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 D | serial_kernel.c | 76 irq_src.slot = PCIARG_SLOT_INT; 81 irq_src.slot = PCIARG_SLOT_INT;
|
/barrelfish-master/usr/init/ |
H A D | mem_alloc.c | 62 /* 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 D | emu_c_env.c | 63 #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 D | cap_delete.c | 156 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 D | spawn.c | 83 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 D | vspace_cow.c | 38 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 D | pmap_priv.h | 40 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 D | spawn_arch.c | 74 .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 D | spawn_arch.c | 74 .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 D | main.c | 51 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 D | domain.c | 47 .slot = 0 56 for (cap_iter.slot = 0; cap_iter.slot < DOMAIN_CAP_REFILL_COUNT; ++cap_iter.slot) {
|