/barrelfish-2018-10-04/usr/drivers/xeon_phi/ |
H A D | smpt.c | 53 uint8_t slot = xeon_phi_smpt_system_page_num - 1; local 55 slot = slot - id; 57 slot = slot - id + 1; 60 assert(slot < xeon_phi_smpt_system_page_num); 62 XSMPT_DEBUG("Calculating slot for id %u: slot=%u, offset=%016lx\n", id, slot, 63 phi->smpt->offsets[slot]); 80 uint8_t slot = xeon_phi_smpt_system_page_num - 1; local 107 uint64_t slot = (addr / XEON_PHI_SYSMEM_PAGE_SIZE); local 137 uint8_t slot = xeon_phi_smpt_system_page_num - 1; local 161 smpt_set_address(struct xeon_phi *phi, uint8_t slot, lpaddr_t address, uint8_t snooping) argument [all...] |
H A D | smpt.h | 31 * \param slot pagetable entry to set 38 uint8_t slot, 50 uint8_t slot, 53 assert(slot < xeon_phi_smpt_system_page_num); 55 xeon_phi_smpt_entry_wr(&phi->smpt->smpt_register, slot, e); 56 phi->smpt->entries[slot] = e; 67 static inline void smpt_clear_entry(struct xeon_phi *phi, uint8_t slot) argument 69 assert(slot < xeon_phi_smpt_system_page_num); 71 xeon_phi_smpt_entry_wr(&phi->smpt->smpt_register, slot, 0x0); 72 phi->smpt->entries[slot] 49 smpt_set_entry(struct xeon_phi *phi, uint8_t slot, xeon_phi_smpt_entry_t e) argument [all...] |
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/ |
H A D | sys_debug.c | 24 errval_t sys_debug_feign_frame_cap(struct capref slot, lpaddr_t base, argument 27 uint8_t cap_bits = get_cnode_valid_bits(slot); 28 capaddr_t addr = get_cnode_addr(slot); 31 DEBUG_FEIGN_FRAME_CAP, addr, base, bits | (cap_bits << 8) | (slot.slot << 16)).error;
|
/barrelfish-2018-10-04/usr/init/ |
H A D | spawn.c | 27 .slot = ROOTCN_SLOT_SUPERCN 31 .slot = ROOTCN_SLOT_SUPERCN 48 dest.slot = TASKCN_SLOT_KERNELCAP; 50 src.slot = TASKCN_SLOT_KERNELCAP; 58 dest.slot = ROOTCN_SLOT_BSPKCB; 60 src.slot = ROOTCN_SLOT_BSPKCB; 68 dest.slot = TASKCN_SLOT_PERF_MON; 70 src.slot = TASKCN_SLOT_PERF_MON; 78 dest.slot = TASKCN_SLOT_IPI; 80 src.slot [all...] |
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/include/linux/ |
H A D | page.h | 45 struct capref slot; member in struct:page
|
H A D | gfp.h | 133 struct capref slot; local 136 err = frame_alloc(&slot, size, NULL); 141 err = invoke_frame_identify(slot, &fid); 148 err = vspace_map_one_frame_attr(&virt_addr, size, slot, 162 struct capref *slot; 168 cleanup_err = lookup(pmap, (genvaddr_t) vaddr, NULL, NULL, slot, NULL, 177 cleanup_err = cap_destroy(*slot); 198 err = frame_alloc(&page->slot, size, NULL); 203 err = invoke_frame_identify(page->slot, &fid); 211 err = vspace_map_one_frame_attr(&page->virt_addr, size, page->slot, [all...] |
/barrelfish-2018-10-04/lib/barrelfish/slot_alloc/ |
H A D | single_slot_alloc.c | 34 ret->slot = sca->head->slot; 44 sca->head->slot++; 58 static errval_t free_slots(struct single_slot_allocator *sca, cslot_t slot, argument 71 sca->head->slot = slot; 78 if (slot + count == sca->head->slot) { 79 sca->head->slot = slot; [all...] |
H A D | range_slot_alloc.c | 3 * \brief Slot allocator capable of allocating more than one slot at a time 22 * \param ret Pointer used to return the allocated slot 41 if (walk->space >= nslots && walk->slot + nslots <= L2_CNODE_SLOTS) { 61 /* Set the cap slot to return */ 63 ret->slot = walk->slot; 66 walk->slot += nslots; 88 * \param slot Slot number in the cnode to start inserting from 92 cslot_t slot, struct cnode_meta *walk) 96 if (slot 91 insert_after(struct range_slot_allocator *alloc, size_t nslots, cslot_t slot, struct cnode_meta *walk) argument 121 insert_before(struct range_slot_allocator *alloc, size_t nslots, cslot_t slot, struct cnode_meta *prev, struct cnode_meta *walk) argument [all...] |
/barrelfish-2018-10-04/usr/monitor/ |
H A D | send_cap.c | 19 uint8_t cnlevel, cslot_t slot, void *st_) 25 st->captx.slot = slot; 46 captx_get_capref(capaddr_t cnaddr, uint8_t cnlevel, cslot_t slot, argument 51 if (cnaddr == 0 && cnlevel == 0 && slot == 0) { 73 .slot = slot, 89 err = captx_get_capref(captx->cnptr, captx->cnlevel, captx->slot, &cap); 18 captx_prepare_copy_result_cont(errval_t status, capaddr_t cnaddr, uint8_t cnlevel, cslot_t slot, void *st_) argument
|
/barrelfish-2018-10-04/include/vm/ |
H A D | vm_radix.c | 203 int slot; local 205 slot = vm_radix_slot(index, clev); 206 rnode->rn_child[slot] = (void *)((uintptr_t)page | VM_RADIX_ISLEAF); 210 * Returns the slot where two keys differ. 249 int slot; local 253 for (slot = 0; rnode->rn_count != 0; slot++) { 254 if (rnode->rn_child[slot] == NULL) 256 if (!vm_radix_isleaf(rnode->rn_child[slot])) 257 vm_radix_reclaim_allnodes_int(rnode->rn_child[slot]); 272 int slot; local 339 int slot; local 458 int slot; local 489 int slot, tos; local 600 int slot, tos; local 709 int i, slot; local 800 int slot; local [all...] |
/barrelfish-2018-10-04/usr/bench/bulk_sdma/ |
H A D | main.c | 105 uint32_t slot = iterate ? id : 0; 106 bulk_sdma_transfer(dst_frame[slot], src_frame[slot], len); 126 uint32_t slot = iterate ? id : 0; 127 bulk_mapped_transfer(dst_frame[slot], src_frame[slot], len); 138 uint32_t slot = iterate ? id : 0; 139 bulk_premapped_transfer(slot, slot, len); 150 uint32_t slot [all...] |
/barrelfish-2018-10-04/kernel/arch/x86/ |
H A D | ipi_notify.c | 87 // Which slot in the fifo to poll 88 uint64_t slot = notifytail[srccore] % NOTIFY_FIFO_SIZE; local 90 while (fifo[slot] != 0) { 91 val = fifo[slot]; 96 fifo[slot] = 0; // ACK 98 slot = notifytail[srccore] % NOTIFY_FIFO_SIZE; 119 uint64_t slot = notifyhead[coreid] % NOTIFY_FIFO_SIZE; local 121 // Make sure the next slot is empty 122 if (fifo[slot] != 0) { 127 fifo[slot] [all...] |
/barrelfish-2018-10-04/lib/trace/ |
H A D | trace.c | 41 .slot = TASKCN_SLOT_TRACEBUF 91 .slot = TASKCN_SLOT_TRACEBUF 95 .slot = TASKCN_SLOT_TRACEBUF 123 .slot = TASKCN_SLOT_TRACEBUF
|
/barrelfish-2018-10-04/usr/monitor/include/arch/aarch64/ |
H A D | monitor_invocations_arch.h | 26 invoke_monitor_create_cap(uint64_t *raw, capaddr_t caddr, int level, capaddr_t slot, coreid_t owner) argument 29 return cap_invoke6(cap_kernel, KernelCmd_Create_cap, caddr, level, slot, 37 capaddr_t to_cspace, capaddr_t to, capaddr_t slot, 43 assert(slot <= 0xFFFF); 46 objsize, count, to_cspace, to, slot).error; 113 int cn_level, cslot_t slot) 120 croot_addr, cn_addr, cn_level, slot, (uintptr_t)raw).error;
|
/barrelfish-2018-10-04/usr/monitor/include/arch/arm/ |
H A D | monitor_invocations_arch.h | 26 invoke_monitor_create_cap(uint64_t *raw, capaddr_t caddr, int level, capaddr_t slot, coreid_t owner) argument 29 return cap_invoke6(cap_kernel, KernelCmd_Create_cap, caddr, level, slot, 37 capaddr_t to_cspace, capaddr_t to, capaddr_t slot, 43 assert(slot <= 0xFFFF); 46 objsize, count, to_cspace, to, slot).error; 113 int cn_level, cslot_t slot) 120 croot_addr, cn_addr, cn_level, slot, (uintptr_t)raw).error;
|
/barrelfish-2018-10-04/lib/barrelfish/vspace/ |
H A D | memobj_fixed.c | 171 size_t slot = offset / fixed->chunk_size; local 172 if (slot >= fixed->count) { 176 if (!capref_is_null((fixed->frames[slot]))) { 180 fixed->frames[slot] = frame; 181 fixed->offsets[slot] = frame_offset; 202 size_t slot = offset / fixed->chunk_size; local 203 if (slot >= fixed->count || capref_is_null(fixed->frames[slot])) { 229 *ret_frame = fixed->frames[slot]; 232 fixed->frames[slot] 258 size_t slot = (vregion->offset + offset) / fixed->chunk_size; local [all...] |
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | page_mappings_arch.c | 28 static errval_t x86_32_pdpt(struct capability *dest, cslot_t slot, argument 33 if (slot >= X86_32_PTABLE_SIZE) { // Slot within page table 45 if(slot >= X86_32_PDPTE_BASE(X86_32_MEMORY_OFFSET)) { // Kernel mapped here 54 (union x86_32_pdpte_entry *)dest_lv + slot; 58 dest_lp + slot * sizeof(union x86_32_pdpte_entry), 72 static errval_t x86_32_pdir(struct capability *dest, cslot_t slot, argument 78 if (slot >= X86_32_PTABLE_SIZE) { // Slot within page table 82 if (slot + pte_count > X86_32_PTABLE_SIZE) { 88 if(slot >= X86_32_PDIR_BASE(X86_32_MEMORY_OFFSET)) { // Kernel mapped here 96 cslot_t last_slot = slot 173 x86_32_ptable(struct capability *dest, cslot_t slot, struct capability * src, uintptr_t uflags, uintptr_t offset, uintptr_t pte_count, struct cte *mapping_cte) argument 303 do_unmap(lvaddr_t pt, cslot_t slot, size_t num_pages) argument [all...] |
/barrelfish-2018-10-04/lib/blk/blk_ahci/ |
H A D | ahci_port.c | 13 static ahci_port_chdr_t get_command_header(struct ahci_port* port, uint8_t slot) argument 15 return (ahci_port_chdr_t) ((uint8_t*)port->clb.vaddr) + (ahci_port_chdr_size * slot); 92 for (size_t slot = 0; slot < slots; slot++) { 93 struct dev_queue_request *dqr = &reqs[slot]; 96 bool slot_done = ahci_port_slot_free(&port->port, slot); 98 //printf("waiting for slot %zu.\n", slot); 126 errval_t blk_ahci_port_dma_async(struct ahci_port *port, size_t slot, uint64_ argument 173 size_t slot = 0; local [all...] |
H A D | device_impl.c | 20 static bool is_valid_buffer(struct ahci_queue* dq, size_t slot) argument 22 return !capref_is_null(dq->buffers[slot].frame); 25 static errval_t request_slot_alloc(struct ahci_queue* dq, size_t* slot) argument 33 *slot = i; 133 size_t slot = 0; local 135 errval_t err = request_slot_alloc(queue, &slot); 140 struct dev_queue_request *dqr = &queue->requests[slot]; 147 dqr->command_slot = slot; 152 err = blk_ahci_port_dma_async(queue->port, slot, block, mem->paddr+offset, 200 uint16_t slot local [all...] |
/barrelfish-2018-10-04/usr/monitor/include/arch/x86_64/ |
H A D | monitor_invocations_arch.h | 23 invoke_monitor_create_cap(uint64_t *raw, capaddr_t caddr, int level, capaddr_t slot, coreid_t owner) argument 28 caddr, level, slot, owner).error; 34 capaddr_t to_cspace, capaddr_t to, capaddr_t slot, 40 slot, level).error; 45 int cn_level, cslot_t slot) 50 croot_addr, cn_addr, cn_level, slot).error; 32 invoke_monitor_remote_cap_retype(capaddr_t src_root, capaddr_t src, gensize_t offset, enum objtype newtype, gensize_t objsize, size_t count, capaddr_t to_cspace, capaddr_t to, capaddr_t slot, int level) argument 44 invoke_monitor_copy_existing(uint64_t *raw, capaddr_t croot_addr, capaddr_t cn_addr, int cn_level, cslot_t slot) argument
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | opt_sun4.sh | 104 slot = instr 116 print slot 138 slot = $0 # add or mov instruction 178 getline # skip the useless delay slot instruction 179 if (!index($0, slot)) {
|
H A D | opt_svr4_sparc.sh | 104 slot = instr 116 print slot 138 slot = $0 # add or mov instruction 178 getline # skip the useless delay slot instruction 179 if (!index($0, slot)) {
|
/barrelfish-2018-10-04/kernel/arch/armv8/ |
H A D | paging.c | 329 cslot_t slot, 347 if (slot >= VMSAv8_64_PTABLE_NUM_ENTRIES) { 348 printf("slot = %"PRIuCSLOT"\n",slot); 349 panic("oops: slot id >= %d", VMSAv8_64_PTABLE_NUM_ENTRIES); 367 // if (slot >= VMSAv8_64_PTABLE_NUM_ENTRIES) { 368 // printf("slot = %"PRIuCSLOT", max=%d MEMORY_OFFSET=%p\n", slot, VMSAv8_64_L0_BASE(MEMORY_OFFSET),MEMORY_OFFSET); 369 // panic("oops: l0 slot id"); 377 union armv8_ttable_entry* entry = (union armv8_ttable_entry*) dest_lvaddr + slot; 328 caps_map_l0(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 410 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 555 caps_map_l3(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 678 do_unmap(lvaddr_t pt, cslot_t slot, size_t num_pages) argument 689 read_pt_entry(struct capability *pgtable, size_t slot, genpaddr_t *paddr) argument [all...] |
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | caddr.h | 38 * \brief extract slot (L2 index) from capability address `addr` 40 * \return The slot number (L2 index) component of the address, i.e. the low 51 * \return the cnode component of the address, i.e. the address with the slot 85 cslot_t slot; member in struct:capref 88 #define NULL_CAP (struct capref){ /*cnode*/ NULL_CNODE, /*slot*/ 0 } 97 return cnoderef_is_null(capref.cnode) && capref.slot == 0; 130 return cap.slot << L2_CNODE_BITS; 133 return cap.cnode.cnode | cap.slot; 185 .slot = get_capaddr_slot(croot), 205 * slot [all...] |
/barrelfish-2018-10-04/usr/drivers/usb/usb_manager/hub/ |
H A D | usb_hub.c | 615 uint8_t slot = 0; local 627 slot = cs; 634 return (slot); 638 uint8_t slot, uint8_t mask) 652 if (slot >= 8) { 653 slot = usb_hub_find_slot(hub->uframe_usage, 4, 6, mask); 656 for (uint32_t cs = slot; cs < 8; cs++) { 657 if (mask & (1U << (cs - slot))) { 664 if (slot >= 8) { 665 slot 637 usb_hub_bandwidth_adjust(struct usb_device *dev, uint16_t length, uint8_t slot, uint8_t mask) argument 687 uint8_t slot, mask; local 740 uint8_t slot; local [all...] |