/barrelfish-master/usr/skb/programs/ |
H A D | bridge_postorder.pl | 129 % create the list of devices and bridges in form of buselements and create the 159 % create the PCI(e) device tree from a list of "buselement" and return it in Tree 180 % convert a tree to a list of buselements
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | kb.pl | 106 list([_|_]) ?- true. 541 list(Arg), !, 861 'KB_valid_rel_name'(X), list(ProjL), !, 939 It modifies the argument list so that uninstantiate those 1114 /* Generate a list of codified trees (CondTrees) of the 1252 [Proj - projection list in src form] 1253 Args - the list of variables per attribute in the relation 1255 [VProj - projection list in var form] 1256 [SrcPrj - projection list in name form for result rel] 1387 ProjExprL - list o [all...] |
H A D | tconv.pl | 81 % The list must be finite and all elements instantiated to valid character codes
|
H A D | tracer_tcl.pl | 480 threshold length for treating list specially 506 translate_pos(list(N), Out) ?- 531 provide_childnodes(list, Path, Term, _, LSize, Reply, Module) ?- !, 555 term_string(list(ListPos0), Pos0S), 557 ((TType == list, ListPos0 < LSize) -> 656 ; C = [_|_] -> % a list (may be non-proper) 657 Type = list 678 %valid_pos(list(N0), N) ?- integer(N0), !, N = N0. 708 get_functorarity(list, _, F, A) ?- !, 755 get_subterm_child(list(Po [all...] |
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | solversintro.tex | 99 a list of finite domain variables, of unspecified length. 114 The constraints take a list 239 case the constraint is recorded in a list of violated constraints. 269 it via the {\tt eclipse-users@icparc.ic.ac.uk} mailing list!
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/objects/ |
H A D | obj_dat.pl | 203 * notice, this list of conditions and the following disclaimer. 205 * notice, this list of conditions and the following disclaimer in the
|
H A D | objects.pl | 154 * notice, this list of conditions and the following disclaimer. 156 * notice, this list of conditions and the following disclaimer in the
|
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mlx4/ |
H A D | mlx4_ib.h | 17 * copyright notice, this list of conditions and the following 21 * copyright notice, this list of conditions and the following 39 #include <linux/list.h> 177 struct list_head list; member in struct:mlx4_ib_gid_entry 514 struct list_head list; member in struct:mlx4_ib_iov_port
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | puzzle_bool.pl | 40 the list of variables involved in this boolean expression; so 106 add(I,J+1,N,B,R4,[]) , % L is the list of neighbours of (I,J)
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic_make_overlap_bivs.pl | 92 InBivs, OutBivs - a list of bivalued variables 96 If created, the variable is added to the appropriate list. 216 args:["Tasks": "A list of task structures - see library(ic_probe_support)", 217 "BivLists": "A list of lists of integer variables", 218 "BivSums": "A list of integer variables, each one the sum of a list
|
H A D | make_overlap_bivs.pl | 92 InBivs, OutBivs - a list of bivalued variables 96 If created, the variable is added to the appropriate list. 216 args:["Tasks": "A list of task structures - see library(probe_support)", 217 "BivLists": "A list of lists of integer variables", 218 "BivSums": "A list of integer variables, each one the sum of a list
|
/barrelfish-master/usr/drivers/cpuboot/ |
H A D | main.c | 105 static int parse_core_list(char *list, coreid_t *from, coreid_t *to, coreid_t *step) argument 110 num = sscanf(list, "%i:%i:%i", &parsed_from, &parsed_to, &parsed_step);
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsusing.tex | 133 selecting the appropriate entry from the drop-down list to the left of the 147 these may be recalled either by using the drop-down list to the right of the 226 the current list of delayed goals. 250 Some have been mentioned above, but here is a more complete list. 378 The list in square brackets on the first line specifies the configuration 440 used to compile a file or list of 586 The history list is printed with the command \notation{h}. 604 First, when a fragment of a built-in name is specified, a list of short 701 This flag contains a list of strings containing the pathnames of the 719 a list o [all...] |
H A D | extmeta.tex | 73 \about{HandlerList} is a (possibly empty) list of handler specifications 190 the list has to be dereferenced for each access and update). 226 is a list of handlers in the form 274 list. 371 \about{ListOfSuspLists} to a list containing all the attribute's 484 term, \about{GoalList} is an open-ended list of all delayed 486 tail of this list. 563 a \notation{enum/1} structure with a list holding the values the variable may
|
/barrelfish-master/usr/eclipseclp/documents/search/ |
H A D | search.tex | 445 from left to right as they occur in the list, and they are 482 variables such that the middle ones are first in the list: 490 The implementation of middle\_first/2 requries a bit of list manipulation 541 dom(X, List), % the list of values in X's domain 635 \verb0bounded_backtrack_search0, and it takes two arguments, a list of 824 search. The predicate supporting static LDS takes a list of variables 825 (those which are to be labelled) and a list of values (one heuristic 844 \item[Vars] the list of problem variables. Some of the 847 \item[Vals] the list of values according to the heuristic. It 911 Each variable in the list o [all...] |
/barrelfish-master/doc/014-bulk-transfer/ |
H A D | bulk-transfer.tex | 108 creates a list of pbuf structures, each one of them holding an offset 114 pbuf needs to store the offset separately in another list. So, 121 application and network driver maintain the list of pbufs in their 122 private memory. This list is kept in synchronization by sending 385 does by maintaining the list of shared-pools. At the time of producer 440 \item \textbf{consumer-list:} Which consumers are accessing it? 441 \item \textbf{Next, prev:} Used to maintain the list (eg. Free slots) 444 The producer maintains a separate meta-slot list for very shared-pool 448 Other than this, the producer also maintains the list of consumers who 459 \item List of consumers connected. This list als [all...] |
/barrelfish-master/lib/libc/isc/ |
H A D | eventlib_p.h | 43 #include <isc/list.h>
|
/barrelfish-master/lib/libc/resolv/ |
H A D | res_update.c | 50 #include <isc/list.h> 57 * Separate a linked list of records into groups so that all records 111 /* Thread all of the updates onto a list of groups. */
|
/barrelfish-master/lib/lua/src/ |
H A D | lgc.h | 21 ** any gray object must be in a "gray list" (gray, grayagain, weak, 91 #define SEPARATED 4 /* object is in 'finobj' list or in 'tobefnz' */ 107 a GC list, its old bit must be cleared */ 149 GCObject **list, int offset);
|
/barrelfish-master/lib/lwip2/src/ |
H A D | Filelists.mk | 9 # this list of conditions and the following disclaimer. 11 # this list of conditions and the following disclaimer in the documentation
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | kernel.tex | 188 up list operations by having only to deal with TLIST and TNIL tags. 274 pair of pwords on the global stack, representing the list head\index{head} and tail\index{tail}. 444 descriptors, implemented as a list threaded into the global stack. 460 \item[LD] top of the list of all suspended goals. This is a conceptual stack, 461 threaded into the global stack (i.e.\ it is a linked list of frames 463 \item[MU] list of meta-unifications. A volatile register that passes a list 468 \item[SV] list of suspending variables. A volatile register that passes 469 a list from a C-builtin to the emulator code that created a 515 \item[ALLREFS] points to a list o [all...] |
/barrelfish-master/lib/openssl-1.0.0d/crypto/conf/ |
H A D | conf.h | 27 * notice, this list of conditions and the following disclaimer. 29 * notice, this list of conditions and the following disclaimer in the 205 int CONF_parse_list(const char *list, int sep, int nospc,
|
/barrelfish-master/include/openssl/ |
H A D | conf.h | 27 * notice, this list of conditions and the following disclaimer. 29 * notice, this list of conditions and the following disclaimer in the 205 int CONF_parse_list(const char *list, int sep, int nospc,
|
/barrelfish-master/lib/devif/backends/net/mlx4/include/linux/mlx4/ |
H A D | device.h | 16 * copyright notice, this list of conditions and the following 20 * copyright notice, this list of conditions and the following 43 #include <linux/list.h> 561 struct list_head list; member in struct:mlx4_db_pgdir 1201 struct list_head list; member in struct:mlx4_spec_list 1216 struct list_head list; member in struct:mlx4_net_trans_rule
|
/barrelfish-master/lib/devif/backends/net/mlx4/include/rdma/ |
H A D | ib_verbs.h | 22 * copyright notice, this list of conditions and the following 26 * copyright notice, this list of conditions and the following 50 #include <linux/list.h> 63 #include <linux/list.h> 407 struct list_head list; member in struct:ib_event_handler 414 INIT_LIST_HEAD(&(_ptr)->list); \ 965 struct list_head list; /*link to context's list*/ member in struct:ib_uobject 980 struct list_head list; link to context's list 1337 struct list_head list; member in struct:ib_client [all...] |