/barrelfish-master/doc/002-mackerel/ |
H A D | Mackerel.tex | 168 digits, optionally preceded by a radix specifier. As in C, decimal (base 10) 281 They are treated as base addresses in one of several \emph{address 283 below). Typical devices have a single base address in either memory 297 \texttt{base}. 332 and addresses in these spaces require both a base and an offset. Base 341 a base address which is an argument to the device definition. 345 are given as offsets relative to a base address which is an argument 350 \Mac only deals in integer offsets from an opaque ``base'' address, 414 simply as offsets, since the base is implicit in the device 439 register ndx rw io(base, [all...] |
/barrelfish-master/doc/006-routing/ |
H A D | Routing.tex | 267 For the routing modes ''ring'' and ''fat tree'' we need information from the system knowledge base: We need to know the number of cores in the system for the ''ring'' routing mode. For the ''fat tree'' mode, we additionally need to know the number of cores per CPU socket (note that we assume here that sockets are continuously numbered). 269 We decided that there should be no direct communication between the monitor and the system knowledge base, because it is not always present. For some architectures, such as Microsoft's experimental Beehive architecture or to a certain extend the Intel Single Chip Cloud Computer, the system knowledge base is not available. Therefore, a dependency of the monitor on the system knowledge base should be avoided. 271 For this reason, we decided to create a separate module, called the \emph{routing table set-up dispatcher} (RTS) that talks to the system knowledge base and to the initial monitor (the monitor that is first booted). The routing table set-up dispatcher will retrieve the required information from the system knowledge base in order to construct the routing table. Once it has constructed the routing table, it will send it to the initial monitor.
|
/barrelfish-master/doc/011-idc/ |
H A D | IDC.tex | 83 digits, optionally preceded by a radix specifier. As in C, decimal (base 10)
|
/barrelfish-master/doc/012-services/ |
H A D | Services.tex | 53 In this document we review the services that will make up the base 294 The system knowledge base service provides a database for storing 444 %% \item[SKB] services related to the system knowledge base, including 782 files, and possibly store its knowledge base.
|
/barrelfish-master/doc/013-capability-mgmt/ |
H A D | type_system.tex | 119 cnode 64 "Physical base address of CNode"; 127 cnode 64 "Physical base address of CNode"; 196 base address and size does not fit into the source capability. 197 The retype region's base address is given as an offset into the source 270 cnode 64 "Physical base address of CNode"; 295 the trusted computing base. 316 base 64 "Physical base address of region"; 345 base 64 "Physical base addres [all...] |
/barrelfish-master/doc/015-disk-driver-arch/ |
H A D | flounder-ahci.tex | 134 Because \acs{ahci} Flounder bindings use the generic binding as a base, the
|
H A D | intro.tex | 46 While the \acs{pci} base address register 0-4 may contain pointers to address
|
H A D | libahci.tex | 36 rounded up to 512 bytes, and the latter aligns the base address such that {\tt 37 base \% alignment\_requirement == 0}. \lstinline+ahci_dma_region_free+ returns
|
H A D | running.tex | 34 Barrelfish's system knowledge base is not able to handle addresses above 32 bit 72 increasing base address or even might return overlapping and conflicting memory
|
H A D | xahcid.tex | 39 init procedure is called, ahcid consults the received base address registers to
|
/barrelfish-master/doc/019-device-drivers/ |
H A D | DeviceDriver.tex | 169 driver as a walk-through from the Barrelfish code base -- the FDIF driver, a 329 full system knowledge base on non-x86 platforms. Also, the ARM platforms we 584 arguments are the physical base of the address range and the size (in bits) of
|
/barrelfish-master/doc/021-cpudriver/ |
H A D | cpudriver.tex | 169 \item \textbf{Number of base-page-sized pages to map:} If non-zero, this 171 being mapped, by specifying the number of base-page-sized pages
|
/barrelfish-master/include/arch/x86_64/machine/ |
H A D | pmap.h | 395 void pmap_demote_DMAP(vm_paddr_t base, vm_size_t len, boolean_t invalidate);
|
/barrelfish-master/include/arpa/ |
H A D | nameser.h | 116 struct ns_namemap { ns_nname_ct base; int len; }; member in struct:ns_namemap
|
/barrelfish-master/include/ |
H A D | ftw.h | 52 int base; member in struct:FTW
|
/barrelfish-master/include/lwip2/lwip/priv/ |
H A D | memp_priv.h | 148 u8_t *base; member in struct:memp_desc
|
/barrelfish-master/include/lwip2/netif/ppp/ |
H A D | auth.c | 2081 ip[n].base = ip[n].mask = 0; 2157 ip[n].base = a & ip[n].mask; 2165 ip[n].base = 0; /* to terminate the list */ 2224 if ((addr & addrs->mask) == addrs->base)
|
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/include/openssl/ |
H A D | objects.h | 1014 const void * OBJ_bsearch_(const void *key,const void *base,int num,int size, 1016 const void * OBJ_bsearch_ex_(const void *key,const void *base,int num, 1024 scope type2 * OBJ_bsearch_##nm(type1 *key, type2 const *base, int num) 1029 type2 * OBJ_bsearch_##nm(type1 *key, type2 const *base, int num) 1065 static type2 *OBJ_bsearch_##nm(type1 *key, type2 const *base, int num) \ 1067 return (type2 *)OBJ_bsearch_(key, base, num, sizeof(type2), \ 1079 type2 *OBJ_bsearch_##nm(type1 *key, type2 const *base, int num) \ 1081 return (type2 *)OBJ_bsearch_(key, base, num, sizeof(type2), \ 1086 #define OBJ_bsearch(type1,key,type2,base,num,cmp) \ 1087 ((type2 *)OBJ_bsearch_(CHECKED_PTR_OF(type1,key),CHECKED_PTR_OF(type2,base), \ [all...] |
H A D | x509v3.h | 323 GENERAL_NAME *base; member in struct:GENERAL_SUBTREE_st
|
/barrelfish-master/include/sys/ |
H A D | imgact_elf.h | 53 Elf_Size base; member in struct:__anon324
|
H A D | time.h | 370 void inittodr(time_t base);
|
/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");
|
H A D | phys_pager.c | 188 vm_pindex_t base, end; local 190 base = rounddown2(pindex, PHYSCLUSTER); 191 end = base + (PHYSCLUSTER - 1); 193 *before = pindex - base;
|
H A D | vm_page.c | 3486 vm_page_bits(int base, int size) argument 3492 base + size <= PAGE_SIZE, 3493 ("vm_page_bits: illegal base/size %d/%d", base, size) 3499 first_bit = base >> DEV_BSHIFT; 3500 last_bit = (base + size - 1) >> DEV_BSHIFT; 3514 * (base + size) must be less then or equal to PAGE_SIZE. 3517 vm_page_set_valid_range(vm_page_t m, int base, int size) argument 3526 * If the base is not DEV_BSIZE aligned and the valid 3530 if ((frag = rounddown2(base, DEV_BSIZ 3623 vm_page_set_validclean(vm_page_t m, int base, int size) argument 3701 vm_page_clear_dirty(vm_page_t m, int base, int size) argument 3714 vm_page_set_invalid(vm_page_t m, int base, int size) argument 3788 vm_page_is_valid(vm_page_t m, int base, int size) argument [all...] |