/barrelfish-2018-10-04/include/lwip/lwip/ |
H A D | snmp_structs.h | 200 /** number of objects at this level */ 201 u16_t(*level_length) (void *addr_inf, u8_t level); 204 s32_t(*ident_cmp) (void *addr_inf, u8_t level, u16_t idx, 206 void (*get_objid) (void *addr_inf, u8_t level, u16_t idx,
|
H A D | sockets.h | 102 // #define SOL_SOCKET 0xfff /* options for socket level */ 124 // * Options for level IPPROTO_IP 131 * Options for level IPPROTO_TCP 142 // * Options for level IPPROTO_UDPLITE 292 int lwip_getsockopt(int s, int level, int optname, void *optval, 294 int lwip_setsockopt(int s, int level, int optname, const void *optval,
|
/barrelfish-2018-10-04/usr/monitor/capops/ |
H A D | retrieve.c | 63 err = monitor_lock_cap(cap.croot, cap.cptr, cap.level); 74 err = monitor_domains_cap_identify(cap.croot, cap.cptr, cap.level, &rst->rawcap); 269 rst->cap.level, relations, 0xFF,
|
H A D | revoke.c | 85 err = monitor_domains_cap_identify(cap.croot, cap.cptr, cap.level, &rst->rawcap); 132 st->cap.level, 0, RRELS_COPY_BIT, 179 st->cap.level); 210 st->cap.level);
|
/barrelfish-2018-10-04/usr/eclipseclp/CPViz/viz/src/ie/ucc/cccc/viz/ |
H A D | Layout.java | 61 * @param node top-level node of tree to generate
62 * @param level recursive integer level starting with one, defines the y coordinate of nodes
67 public static Layout layoutNode(Node node,boolean compact,int lastNode,int level) {
argument 71 int y = level;
80 int y = level;
94 Layout childLayout = Layout.layoutNode(child,compact,lastNode,level+1);
107 int y = level;
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | debug.c | 63 invoke_kernel_identify_cap(capaddr_t cap, int level, struct capability *out) argument 65 return cap_invoke4(cap_kernel, KernelCmd_Identify_cap, cap, level, 75 uint8_t level = get_cap_level(cap); local 77 errval_t err = invoke_kernel_identify_cap(caddr, level, ret); 446 ", level = %d, slot %" PRIuCADDR ", level = %d", 454 "CNode addr 0x%08"PRIxCADDR", level = %d", 455 cnode.croot, cnode.cnode, cnode.level);
|
/barrelfish-2018-10-04/lib/libc/db/btree/ |
H A D | bt_delete.c | 148 int exact, level; local 167 * we have to change pages at an internal level, we have to fix the 176 for (level = 0; (parent = BT_POP(t)) != NULL; ++level) { 191 while (level--) { 192 /* Push the next level down onto the stack. */ 200 /* Get the next level down. */ 222 * next page. If we have to change pages at an internal level, we 231 for (level = 0; (parent = BT_POP(t)) != NULL; ++level) { [all...] |
/barrelfish-2018-10-04/lib/lwip/src/api/ |
H A D | sockets.c | 120 /** level of the option to process */ 121 int level; member in struct:lwip_setgetsockopt_data 160 -1, /* ERR_IF -12 Low-level netif error */ 1288 lwip_getsockopt(int s, int level, int optname, void *optval, socklen_t * optlen) argument 1303 switch (level) { 1451 ("lwip_getsockopt(%d, level=0x%x, UNIMPL: optname=0x%x, ..)\n", 1452 s, level, optname)); 1463 data.level = level; 1484 int level, optnam local 1676 lwip_setsockopt(int s, int level, int optname, const void *optval, socklen_t optlen) argument 1885 int level, optname; local [all...] |
/barrelfish-2018-10-04/include/vm/ |
H A D | vm_radix.c | 48 * level compression may just complicate things. 92 /* Returns one unit associated with specified level. */ 99 uint16_t rn_clev; /* Current level. */ 133 * Return the position in the array for a given level. 136 vm_radix_slot(vm_pindex_t index, uint16_t level) argument 139 return ((index >> (level * VM_RADIX_WIDTH)) & VM_RADIX_MASK); 142 /* Trims the key after the specified level. */ 144 vm_radix_trimkey(vm_pindex_t index, uint16_t level) argument 149 if (level > 0) { 150 ret >>= level * VM_RADIX_WIDT [all...] |
H A D | vm_reserv.c | 73 * The number of small pages that are contained in a level 0 reservation 84 * The size of a level 0 reservation in bytes 277 int counter, error, level, unused_pages; local 284 for (level = -1; level <= VM_NRESERVLEVEL - 2; level++) { 288 TAILQ_FOREACH(rv, &vm_rvq_partpop/*[level]*/, partpopq) { 293 sbuf_printf(&sbuf, "%5d: %6dK, %6d\n", level, 885 * If the given page belongs to a reservation, returns the level of that 898 * Returns a reservation level i 1111 vm_reserv_size(int level) argument [all...] |
/barrelfish-2018-10-04/usr/monitor/ |
H A D | monitor_rpc_server.c | 58 struct capref croot, capaddr_t src, uint8_t level) 60 struct domcapref cap = { .croot = croot, .cptr = src, .level = level }; 72 struct capref croot, capaddr_t src, uint8_t level) 74 struct domcapref cap = { .croot = croot, .cptr = src, .level = level }; 57 remote_cap_delete(struct monitor_blocking_binding *b, struct capref croot, capaddr_t src, uint8_t level) argument 71 remote_cap_revoke(struct monitor_blocking_binding *b, struct capref croot, capaddr_t src, uint8_t level) argument
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | mp.tex | 45 The aim of this paper is to suggest a higher-level library 50 contains a higher-level message passing C-library, which implements 53 language level. 64 A higher level concept of service {\em brokers} a la CORBA \cite{corba} 74 port identifiers in order to be able to built higher level communication 161 implement higher-level notions like brokers, name servers and logical ports
|
H A D | gfd.tex | 72 {\eclipse} level (with support from Gecode for variable and value selections),
76 Implementation-level differences (like Gecode's
149 In addition to propagating constraints at a unspecified or default level,
156 \item[{\tt gfd}] Default consistency level, maps to {\tt ICL_DEF} in Gecode.
158 Constraints can be posted unqalified for the default consistency level, or
160 consistency level, e.g.
167 then posted unqualified at the imported consistency level.
169 The default consistency level is supported for all constraints, but
171 if that consistency level is implemented for that constraint
177 consistency levels. In fact, a consistency level ca [all...] |
/barrelfish-2018-10-04/lib/lua/src/ |
H A D | lauxlib.c | 43 static int findfield (lua_State *L, int objidx, int level) { argument 44 if (level == 0 || !lua_istable(L, -1)) 53 else if (findfield(L, objidx, level - 1)) { /* try recursively */ 117 const char *msg, int level) { 124 while (lua_getstack(L1, level++, &ar)) { 125 if (level == mark) { /* too many levels? */ 127 level = numlevels - LEVELS2; /* and skip to last ones */ 183 LUALIB_API void luaL_where (lua_State *L, int level) { argument 185 if (lua_getstack(L, level, &ar)) { /* check function at level */ 116 luaL_traceback(lua_State *L, lua_State *L1, const char *msg, int level) argument [all...] |
H A D | ldebug.c | 83 LUA_API int lua_getstack (lua_State *L, int level, lua_Debug *ar) { argument 86 if (level < 0) return 0; /* invalid (negative) level */ 88 for (ci = L->ci; level > 0 && ci != &L->base_ci; ci = ci->previous) 89 level--; 90 if (level == 0 && ci != &L->base_ci) { /* level found? */ 94 else status = 0; /* no such level */
|
H A D | lbaselib.c | 90 int level = luaL_optint(L, 2, 1); local 92 if (lua_isstring(L, 1) && level > 0) { /* add extra information? */ 93 luaL_where(L, level);
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | modelling.tex | 86 %In \eclipse{}, we model problems using a high-level logic-based language. 87 Higher-level models are typically 93 solved, because high-level models contain 94 high-level notions (e.g.\ sets, tasks) and 118 Mapping high-level (problem) constraints into 119 low-level (solver) constraints, 136 \item[Other CLP/high-level languages (e.g. CHIP)] 231 constraints. Even though high-level models reduce the need for finding
|
/barrelfish-2018-10-04/kernel/ |
H A D | syscall.c | 49 sys_dispatcher_setup(struct capability *to, capaddr_t cptr, uint8_t level, argument 88 err = caps_lookup_slot(&dcb_current->cspace.cap, cptr, level, 91 debug(SUBSYS_CAPS, "caps_lookup_cap for croot=%"PRIxCADDR", level=%d: %"PRIuERRV"\n", cptr, level, err); 256 // XXX: level from where 266 // XXX: level from where? 392 // XXX: level from where? 486 struct sysret sys_delete(struct capability *root, capaddr_t cptr, uint8_t level) argument 490 err = caps_lookup_slot(root, cptr, level, &slot, CAPRIGHTS_READ_WRITE); 499 struct sysret sys_revoke(struct capability *root, capaddr_t cptr, uint8_t level) argument 512 sys_get_state(struct capability *root, capaddr_t cptr, uint8_t level) argument [all...] |
/barrelfish-2018-10-04/include/driverkit/ |
H A D | driverkit.h | 32 typedef errval_t(*driver_set_sleep_level_fn)(struct bfdriver_instance*, uint32_t level);
|
/barrelfish-2018-10-04/doc/022-armv8/ |
H A D | report.tex | 354 native applications, fully virtualised (e.g. Linux) VMs, and VM-level 371 Explicit traps (syscalls/hypercalls) target only the next level up: 375 completely disabled. Exceptions return to the caller's exception level. 391 ARMv8 implements two-level address translation: VA (virtual address) to IPA 424 User-level page tables will \textbf{initially} be limited to a 4k translation 425 granularity. \textbf{Eventually} user-level page tables \textbf{should} have 439 user-level code, and does not need to be on the critical path of a context 445 Therefore, it \texttt{shall} be possible for authorised user-level code to 470 implemented purely at user level. 473 the user-level dispatche [all...] |
/barrelfish-2018-10-04/kernel/include/ |
H A D | capabilities.h | 151 uint8_t level, struct capability **ret, CapRights rights); 153 uint8_t level, struct cte **ret, CapRights rights);
|
/barrelfish-2018-10-04/lib/lwip2/src/api/ |
H A D | sockets.c | 312 static u8_t lwip_getsockopt_impl(int s, int level, int optname, void *optval, socklen_t *optlen); 313 static u8_t lwip_setsockopt_impl(int s, int level, int optname, const void *optval, socklen_t optlen); 1789 lwip_getsockopt(int s, int level, int optname, void *optval, socklen_t *optlen) argument 1809 err = lwip_getsockopt_impl(s, level, optname, optval, optlen); 1824 LWIP_SETGETSOCKOPT_DATA_VAR_REF(data).level = level; 1871 data->err = lwip_getsockopt_impl(data->s, data->level, data->optname, 1887 lwip_getsockopt_impl(int s, int level, int optname, void *optval, socklen_t *optlen) argument 1895 switch (level) { 2185 LWIP_DEBUGF(SOCKETS_DEBUG, ("lwip_getsockopt(%d, level 2195 lwip_setsockopt(int s, int level, int optname, const void *optval, socklen_t optlen) argument 2288 lwip_setsockopt_impl(int s, int level, int optname, const void *optval, socklen_t optlen) argument [all...] |
/barrelfish-2018-10-04/usr/drivers/e1000/ |
H A D | e1000n.c | 600 static errval_t set_sleep_level(struct bfdriver_instance* bfi, uint32_t level) { argument 602 eds->level = level;
|
/barrelfish-2018-10-04/usr/drivers/omap44xx/sdma/ |
H A D | main.c | 443 static errval_t set_sleep_level(struct bfdriver_instance* bfi, uint32_t level) { argument 445 uds->level = level;
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | ec2il.cc | 223 long level; EC_argument(c, 4).is_long(&level); local 247 if (level == 0) {
|