/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | knowbase-lst.tex | 54 \item[closekb]{Close a knowledge base and remove all temporary relations. Fails if no knowledge base is open.} 56 \item[createkb(+KnowledgeBasePath)]{Create a new knowledge base or open a knowledge base if it already exists.} 66 \item[destroykb]{Destroy the currently open knowledge base.} 78 \item[openkb(+KnowledgeBasePath)]{Open a knowledge base.}
|
/barrelfish-master/lib/x86emu/ |
H A D | decode.c | 731 u32 base = 0, i = 0, scale = 1; local 736 base = M.x86.R_EAX; 740 base = M.x86.R_ECX; 744 base = M.x86.R_EDX; 748 base = M.x86.R_EBX; 752 base = M.x86.R_ESP; 757 base = fetch_long_imm(); 758 DECODE_PRINTF2("%08x", base); 761 base = M.x86.R_ESP; 767 base [all...] |
/barrelfish-master/include/lwip2/netif/ppp/ |
H A D | utils.c | 140 int base, len, neg, quoted; local 202 base = 0; 215 base = 10; 219 base = 10; 235 base = 10; 239 base = 10; 243 base = 8; 248 base = 16; 253 base = 16; 361 if (base ! [all...] |
/barrelfish-master/lib/barrelfish/vspace/ |
H A D | vregion.c | 50 vregion->base = address; 116 vregion->base = addr; 183 genvaddr_t offset = addr - vregion->base;
|
H A D | memobj_pinned.c | 121 genvaddr_t base = vregion_get_base_addr(vregion); local 125 err = pmap->f.map(pmap, base + vregion_off + offset, frame, 0, size, flags,
|
/barrelfish-master/lib/barrelfish/ |
H A D | heap.c | 35 // Initialise base header (nothing allocated) 36 heap->base.s.ptr = heap->freep = &heap->base; 37 heap->base.s.size = 0;
|
/barrelfish-master/include/vm/ |
H A D | memguard.c | 204 vm_offset_t base; local 206 vmem_alloc(parent, memguard_mapsize, M_BESTFIT | M_WAITOK, &base); 207 vmem_init(memguard_arena, "memguard arena", base, memguard_mapsize, 209 memguard_cursor = base; 210 memguard_base = base; 213 printf("\tMEMGUARD map base: 0x%lx\n", (u_long)base); 229 &memguard_base, "MemGuard KVA base");
|
/barrelfish-master/usr/tests/mdbtests/ |
H A D | test_range_query.c | 71 out[gencount].cap.u.ram = (struct RAM) { .base = begin, .bytes = 1UL << sizebits }; 166 if (r_begin < begin && target->cap.u.ram.base > begin) { 170 else if ((target->cap.u.ram.base < begin) == (r_begin < begin)) { 195 ranges[i].cap.u.ram.base, ranges[i].cap.u.ram.bytes); 238 USER_PANIC("mdb_find_range returned cap (.base = 0x%" 239 PRIxGENVADDR", .bytes = 0x%"PRIxGENSIZE") (expected (.base = 0x%" 241 retcap->cap.u.ram.base, retcap->cap.u.ram.bytes, 242 q->target->cap.u.ram.base, q->target->cap.u.ram.bytes);
|
/barrelfish-master/lib/spawndomain/arch/x86/ |
H A D | spawn_arch.c | 55 static errval_t elf_allocate(void *state, genvaddr_t base, size_t size, argument 63 size_t base_offset = BASE_PAGE_OFFSET(base); 65 base -= base_offset; 126 err = spawn_vspace_map_anon_fixed_attr(si, base, size, &spawn_vregion, 150 si->base[si->vregions++] = base;
|
/barrelfish-master/lib/libc/stdtime/ |
H A D | strftime.c | 375 int base; local 381 base = TM_YEAR_BASE; 389 len = isleap_sum(year, base) ? 408 ++base; 417 --base; 418 yday += isleap_sum(year, base) ? 434 pt = _yconv(year, base, 0, 1, 436 } else pt = _yconv(year, base, 1, 1,
|
/barrelfish-master/include/barrelfish/ |
H A D | bulk_transfer.h | 30 void *base; member in struct:bulk_buf 58 return buf->base;
|
/barrelfish-master/usr/bench/net_latency/elb/ |
H A D | interface_lib.c | 46 struct frame_identity frameid = { .base = 0, .bits = 0 }; 57 *phys = frameid.base;
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | page_mappings_arch.c | 50 genpaddr_t dest_gp = dest->u.vnode_x86_32_pdpt.base; 62 genpaddr_t src_gp = src->u.vnode_x86_32_pdir.base; 114 // Convert destination base address 118 // Convert source base address 151 genpaddr_t dest_gp = dest->u.vnode_x86_32_pdir.base; 165 genpaddr_t src_gp = src->u.vnode_x86_32_pdir.base; 211 // Convert destination base address 215 // Convert source base address 340 lvaddr_t base = local_phys_to_mem(info->pte) + local 356 (union x86_32_ptable_entry *)base [all...] |
H A D | startup_arch.c | 36 /// Quick way to find the base address of a cnode capability 92 * the virtual base address 'vbase' of a program segment of the init executable, 94 * to the sequential area of physical memory, given by 'base'. If you 98 * \param vbase Virtual base address of program segment. 99 * \param base Physical base address of program segment. 103 errval_t startup_map_init(lvaddr_t vbase, lpaddr_t base, size_t size, argument 108 paging_align(&vbase, &base, &size, BASE_PAGE_SIZE); 113 vaddr += BASE_PAGE_SIZE, base += BASE_PAGE_SIZE) { 121 ", base [all...] |
/barrelfish-master/lib/elf/ |
H A D | elf64.c | 36 * \brief Calculates the base of the loadable portion of the elf image in 396 * \param src Former base address of the ELF image. 401 * \param start Original base address of the ELF image (needed for 410 //genvaddr_t base = dst - src, abase = dst - start; 437 // relocation from the old position. Thus, base and not 442 //*addr += base; 456 * This function loads an ELF64 binary image, based at 'base' and of size 462 * \param base Base address of ELF64 binary image in memory. 465 * \param ret_tlsbase Used to return TLS block base address 470 void *state, lvaddr_t base, size_ 469 elf64_load(uint16_t em_machine, elf_allocator_fn allocate_func, void *state, lvaddr_t base, size_t size, genvaddr_t *retentry, genvaddr_t *ret_tlsbase, size_t *ret_tlsinitlen, size_t *ret_tlstotallen) argument [all...] |
/barrelfish-master/usr/monitor/arch/armv7/ |
H A D | boot.c | 115 umpb->ump_state.chan.sendid = (uintptr_t)frameid.base; 117 (uintptr_t)(frameid.base + MON_URPC_CHANNEL_LEN);
|
/barrelfish-master/usr/monitor/arch/x86/ |
H A D | boot.c | 121 umpb->ump_state.chan.sendid = (uintptr_t)frameid.base; 123 (uintptr_t)(frameid.base + MON_URPC_CHANNEL_LEN);
|
/barrelfish-master/usr/monitor/arch/armv8/ |
H A D | boot.c | 115 umpb->ump_state.chan.sendid = (uintptr_t)frameid.base; 117 (uintptr_t)(frameid.base + MON_URPC_CHANNEL_LEN);
|
/barrelfish-master/usr/tests/nkm/ |
H A D | map_offset.c | 53 printf("base = %" PRIxGENPADDR ", bytes = %" PRIuGENSIZE "\n", id.base, id.bytes); 76 printf("base = %" PRIxGENPADDR ", bytes = %" PRIuGENSIZE "\n", id.base, id.bytes);
|
/barrelfish-master/usr/bench/cow/ |
H A D | pmap_cow.c | 54 // make sure we have a RAM cap that is a multiple of base pages 324 genvaddr_t base, struct vnode **pdpt) 326 DEBUG_COW("%s: %"PRIxGENVADDR"\n", __FUNCTION__, base); 329 size_t entry = X86_64_PML4_BASE(base); 356 genvaddr_t base, struct vnode **pdir) 358 DEBUG_COW("%s: %"PRIxGENVADDR"\n", __FUNCTION__, base); 361 err = cow_get_pdpt(pmap, base, &pdpt); 370 X86_64_PDPT_BASE(base), pdir); 373 * \brief Returns the vnode (potentially cloned) for `base' 376 genvaddr_t base, struc 323 cow_get_pdpt(struct pmap_x86 *pmap, genvaddr_t base, struct vnode **pdpt) argument 355 cow_get_pdir(struct pmap_x86 *pmap, genvaddr_t base, struct vnode **pdir) argument 375 cow_get_ptable(struct pmap_x86 *pmap, genvaddr_t base, struct vnode **ptable) argument [all...] |
/barrelfish-master/usr/drivers/cpuboot/arch/armv7/ |
H A D | boot_arch.c | 58 static errval_t monitor_elfload_allocate(void *state, genvaddr_t base, 64 *retbase = (char *)s->vbase + base - s->elfbase; 221 // Relocate to new physical base address 351 * relative to the vaddr base of the segment that contains 541 (lpaddr_t)coredata_mem.frameid.base + arch_page_size; 544 arch_page_size, (lpaddr_t)coredata_mem.frameid.base); 613 core_data->urpc_frame_base = urpc_frame_id.base; 620 core_data->memory_base_start = spawn_mem_frameid.base; 635 core_data->kcb = (genpaddr_t) fid.base; 645 coredata_mem.frameid.base [all...] |
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | lex.c | 422 int base, iresult, max_no, max_lc, max_uc; local 529 base = 16; max_no = '9'; max_lc = 'f'; max_uc = 'F'; 542 if ((unsigned )iresult <= MAX_CHAR_CODE/base && 543 ((unsigned ) (iresult * base) <= MAX_CHAR_CODE - cc)) 544 iresult = iresult * base + cc; 559 base = 8; max_no = '7'; max_lc = 0; max_uc = 0; 1517 int base = 10; /* radix for number reading */ local 1564 base = iresult; 1565 if (base == 0) /* character code */ 1599 base [all...] |
/barrelfish-master/tools/fastmodels/ |
H A D | main.c | 68 /* Append the component path to the FS base path, and null terminate. */ 176 /* Find the dynamic segment, and calculate the base and limit for the 178 uint64_t base= UINT64_MAX, limit= 0; local 191 if(phdrs[kseg].p_vaddr < base) 192 base= phdrs[kseg].p_vaddr; 207 *entry= virt_base + (ehdr->e_entry - base); 210 *loaded_size= limit - base + 1; 224 void *seg_vbase= cpudriver + (ph->p_vaddr - base); 248 rela_base= cpudriver + (dt[i].d_un.d_ptr - base); 289 uint64_t *target= cpudriver + (rela->r_offset - base); 330 uint64_t base= UINT64_MAX, limit= 0; local [all...] |
/barrelfish-master/usr/drivers/xeon_phi/ |
H A D | interphi.c | 84 uint64_t base; member in struct:interphi_msg_st::__anon422::__anon426 107 uint64_t base; member in struct:interphi_msg_st::__anon422::__anon429 406 st->args.bootstrap.base, 434 st->args.alloc.base, st->args.alloc.bytes); 441 st->args.alloc.base, st->args.alloc.bytes, 803 uint64_t base, 810 base, bits, offset, xid, is_client); 833 msg_st->err = sysmem_cap_request(base, bits, &msg_frame); 891 XINTER_DEBUG("%lx %lx | %lx %lx\n", mreg->id.base, msgbase, mreg->id.bytes, (1UL << msgbits)); 892 if (mreg->id.base 802 bootstrap_call_rx(struct interphi_binding *_binding, uint64_t base, uint64_t offset, uint8_t bits, uint8_t xid, uint8_t is_client) argument 930 alloc_mem_call_rx(struct interphi_binding *_binding, uint64_t base, uint64_t bytes) argument 987 alloc_mem_response_rx(struct interphi_binding *_binding, uint64_t base, uint64_t bytes, errval_t msgerr) argument [all...] |
/barrelfish-master/include/sys/ |
H A D | imgact_elf.h | 53 Elf_Size base; member in struct:__anon324
|