/barrelfish-master/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); 526 ", level = %d, slot %" PRIuCADDR ", level = %d", 534 "CNode addr 0x%08"PRIxCADDR", level = %d", 535 cnode.croot, cnode.cnode, cnode.level);
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
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-master/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-master/include/vm/ |
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-master/lib/lua/src/ |
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);
|
H A D | lcode.h | 73 LUAI_FUNC void luaK_patchclose (FuncState *fs, int list, int level);
|
/barrelfish-master/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) {
|
/barrelfish-master/usr/drivers/omap44xx/sdma/ |
H A D | main.c | 442 static errval_t set_sleep_level(struct bfdriver_instance* bfi, uint32_t level) { argument 444 uds->level = level;
|
/barrelfish-master/lib/libc/net/ |
H A D | nsdispatch.c | 153 #define nss_log(level, fmt, ...) \ 154 syslog((level), "NSSWITCH(%s): " fmt, __func__, __VA_ARGS__) 155 #define nss_log_simple(level, s) \ 156 syslog((level), "NSSWITCH(%s): " s, __func__)
|
/barrelfish-master/lib/openssl-1.0.0d/demos/tunala/ |
H A D | tunala.h | 113 * higher-level functions anyway */ 151 void cb_ssl_verify_set_level(unsigned int level);
|
/barrelfish-master/lib/devif/backends/net/mlx4/include/rdma/ |
H A D | rdma_user_cm.h | 231 __u32 level; member in struct:rdma_ucm_set_option
|
/barrelfish-master/include/driverkit/ |
H A D | driverkit.h | 61 typedef errval_t(*driver_set_sleep_level_fn)(struct bfdriver_instance*, uint32_t level);
|
/barrelfish-master/lib/cxx/cxx/ |
H A D | system_error.cpp | 23 #include <android/api-level.h>
|
/barrelfish-master/lib/mm/ |
H A D | slot_alloc.c | 112 debug_printf("Initial CNode for 2 level preallocating slot allocator needs to be 16kB"); 129 this->cap.cnode.level = CNODE_TYPE_OTHER; 153 /* to conform with 2 level cspace: put new cnode into rootcn */
|
/barrelfish-master/usr/drivers/serial/ |
H A D | serial_pl011.c | 179 static errval_t set_sleep_level(struct bfdriver_instance* bfi, uint32_t level) { argument
|
/barrelfish-master/usr/monitor/capops/ |
H A D | revoke.c | 372 err = monitor_domains_cap_identify(cap.croot, cap.cptr, cap.level, &rst->rawcap); 422 st->cap.level, 0, RRELS_COPY_BIT, 472 st->cap.level); 504 st->cap.level);
|
H A D | internal.h | 84 capaddr_t capaddr, uint8_t level, cslot_t slot,
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsusing.tex | 78 This will bring up the {\tkeclipse} top-level, which is shown in 86 \caption{{\tkeclipse} top-level} 91 \menu{Help} menu in the top-level window. 243 top-level window which corresponds to the topic or tool you are interested 381 \notation{[eclipse 1]:}, which tells the user that the top-level loop is waiting 388 \subsection{Interacting with the top level loop} 391 is at the top level 393 The \aboutidx{top level loop} is a procedure which repetitively 397 There is always exactly one module opened in the top level 406 \notation{CTRL-Z} + \notation{RETURN} (Windows) at the top level promp [all...] |
/barrelfish-master/kernel/include/ |
H A D | capabilities.h | 160 uint8_t level, struct capability **ret, CapRights rights); 162 uint8_t level, struct cte **ret, CapRights rights);
|
/barrelfish-master/doc/022-armv8/ |
H A D | report.tex | 356 native applications, fully virtualised (e.g. Linux) VMs, and VM-level 373 Explicit traps (syscalls/hypercalls) target only the next level up: 377 completely disabled. Exceptions return to the caller's exception level. 393 ARMv8 implements two-level address translation: VA (virtual address) to IPA 426 User-level page tables will \textbf{initially} be limited to a 4k translation 427 granularity. \textbf{Eventually} user-level page tables \textbf{should} have 441 user-level code, and does not need to be on the critical path of a context 447 Therefore, it \texttt{shall} be possible for authorised user-level code to 472 implemented purely at user level. 475 the user-level dispatche [all...] |
/barrelfish-master/lib/zlib/ |
H A D | gzio.c | 99 int level = Z_DEFAULT_COMPRESSION; /* compression level */ local 103 char fmode[80]; /* copy of mode, without the compression level */ 138 level = *p - '0'; 155 err = deflateInit2(&(s->stream), level, 232 * Update the compression level and strategy 234 int ZEXPORT gzsetparams (file, level, strategy) 236 int level; 253 return deflateParams (&(s->stream), level, strategy);
|
/barrelfish-master/doc/000-overview/ |
H A D | Overview.tex | 50 It presents a high level overview of the architecture of the Barrelfish 58 \section{High level overview}\label{sec:overview} 86 Typically we refer to user level processes (or services or servers) as "user 93 \caption{High level overview of the Barrelfish OS architecture}\label{fig:os-arch} 170 user-level code associated with the dispatcher then executes 227 \item User-level thread scheduling, based on the upcall model of the 235 \item User-level page fault handling. 255 kernel, while user level only has access to capability references 256 (\texttt{struct capref}), which are addresses in a cspace. User level 290 basic mechanism is used for low-level physica [all...] |
/barrelfish-master/lib/cpuid/ |
H A D | cpuid_intel.c | 131 _tci->ti.level = _level; \ 142 _tci->ci.level = _level; \ 146 _tci->ci.name = cpuid_cache_names[_tci->ci.level][_tci->ci.type]; \ 170 //Cache 1st-level instruction cache: 8 KBytes, 4-way set associative, 32 byte line size 172 //Cache 1st-level instruction cache: 16 KBytes, 4-way set associative, 32 byte line size 174 //Cache 1st-level instruction cache: 32KBytes, 4-way set associative, 64 byte line size 176 //Cache 1st-level data cache: 8 KBytes, 2-way set associative, 32 byte line size 180 //Cache 1st-level data cache: 16 KBytes, 4-way set associative, 32 byte line size 182 //Cache 1st-level data cache: 16 KBytes, 4-way set associative, 64 byte line size 184 //Cache 1st-level dat [all...] |
/barrelfish-master/lib/posixcompat/ |
H A D | sockets.c | 671 int getsockopt(int sockfd, int level, int optname, void *restrict optval, argument 681 switch(level) { 713 int ret = lwip_getsockopt(e->fd, level, optname, optval, optlen); 729 int setsockopt(int sockfd, int level, int optname, const void *optval, argument 737 ret = lwip_setsockopt(e->fd, level, optname, optval, optlen);
|
/barrelfish-master/usr/drivers/e1000/ |
H A D | e1000n.c | 632 static errval_t set_sleep_level(struct bfdriver_instance* bfi, uint32_t level) { argument 634 eds->level = level;
|