/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | bip_tconv.c | 655 dident fd; local 690 fd = elem->val.did; 693 head->val.did = fd; 724 if (fd == d_.eocl && i == 2) 732 head->val.did = add_dict(fd, (int) i); 788 fd = add_dict(tvptr->val.did, 0); 789 if (fd == d_.nil) 794 (newel++)->val.did = fd;
|
H A D | trace.c | 376 int fd, poffmask; local 385 fd = ec_open("/dev/mmem", O_RDONLY); 387 MAP_PRIVATE, fd, (__psint_t)raddr);
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | fd_fd.pl | 29 % Compatibility with the fd library
|
H A D | t.pl | 22 :- use_module(fd).
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | fdintro.tex | 29 :- lib(fd). 30 :- use_module(library(fd)). 78 :- lib(fd). 163 In this case we use the \verb0element/30 predicate, available in the fd 256 \index{labeling!fd} 258 \bipref{indomain/1}{../bips/lib/fd/indomain-1.html} predicate. 282 The {\em fd\_search} library provides a variety of search routines 507 functionality of fd. 629 Though lexicographical ordering is defined in the fd\_global library of 632 using a few features of the fd librar [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ |
H A D | frequency.pl | 27 :- lib(fd). 215 insert_suspension(X,Susp,any of fd,fd),
|
H A D | probe_search.pl | 24 :- lib(fd). 117 (Biv=0,add_con([S1>=S2+D2],[fd,linear(Handle)],Options) 120 add_con([S1>=S2,S1<S2+D2],[fd,linear(Handle)],Options) 123 add_con([S2>S1],[fd,linear(Handle)],Options)
|
H A D | repairtest.pl | 28 :- lib(fd).
|
H A D | repair.pl | 155 Normally, the repair library communicates with another solver (such as fd or 368 % lib(fd) is loaded 400 A = A{fd:[1..10], repair:11} 401 B = A{fd:[1..10], repair:11} 402 X = [A{fd:[1..10], repair:11} #= A] 736 % lib(fd) is loaded 858 % lib(fd) is loaded 861 X = X{fd:[1..5], repair:3} % X is tenable 864 X = X{fd:[1..5], repair:7} % X is non-tenable
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/bio/ |
H A D | bio.h | 101 #define BIO_TYPE_DESCRIPTOR 0x0100 /* socket, fd, connect or accept */ 443 #define BIO_set_fd(b,fd,c) BIO_int_ctrl(b,BIO_C_SET_FD,c,fd) 652 int BIO_socket_ioctl(int fd, long type, void *arg); 653 int BIO_socket_nbio(int fd,int mode); 663 BIO *BIO_new_dgram(int fd, int close_flag); 664 BIO *BIO_new_fd(int fd, int close_flag);
|
H A D | b_sock.c | 552 int BIO_socket_ioctl(int fd, long type, void *arg) argument 557 i=ioctlsocket(fd,type,(char *)arg); 559 i=ioctlsocket(fd,type,arg);
|
/barrelfish-2018-10-04/include/openssl/ |
H A D | bio.h | 101 #define BIO_TYPE_DESCRIPTOR 0x0100 /* socket, fd, connect or accept */ 443 #define BIO_set_fd(b,fd,c) BIO_int_ctrl(b,BIO_C_SET_FD,c,fd) 652 int BIO_socket_ioctl(int fd, long type, void *arg); 653 int BIO_socket_nbio(int fd,int mode); 663 BIO *BIO_new_dgram(int fd, int close_flag); 664 BIO *BIO_new_fd(int fd, int close_flag);
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/ |
H A D | propia.pl | 64 depend what solvers are loaded - (e.g. ic, fd, sd or several of 77 The name of a supported solver (ic, fd, ic_symbolic, sd, ... 86 implementing the element/3 constraint is loaded (fd, ic_global). 89 "+Language" : "One of the terms most, unique, consistent, ac, or the name of a supported solver (fd, ic, sd, ic_symbolic)"], 130 [eclipse]: lib(fd). 228 KnownSolvers = [ic_symbolic,ic,sd,fd], 339 % same term. eg newmsg(f(a,b,a),f(c,d,c),[fd],f(X{a,c},W{b,d},X{a,c})) 370 % in case the solver type includes fd, when there is just a single
|
/barrelfish-2018-10-04/usr/drivers/solarflair/sfxge/common/ |
H A D | siena_phy.c | 72 boolean_t fd = !!(link_flags & local 81 else if (speed == 10000 && fd) 84 *link_modep = fd ? EFX_LINK_1000FDX : EFX_LINK_1000HDX; 86 *link_modep = fd ? EFX_LINK_100FDX : EFX_LINK_100HDX; 88 *link_modep = fd ? EFX_LINK_10FDX : EFX_LINK_10HDX;
|
/barrelfish-2018-10-04/lib/lwip2/src/netif/ppp/ |
H A D | eap.c | 1227 int fd, err; local 1231 fd = open(path, modebits, S_IRUSR | S_IWUSR); 1235 return (fd); 1259 int dsize, fd, olen = len; local 1292 fd = open_pn_file(O_WRONLY | O_CREAT | O_TRUNC); 1293 if (fd < 0) { 1297 len = write(fd, inp + 1, *inp); 1298 if (close(fd) != -1 && len == *inp) { 1325 int fd; local 1364 if ((fd [all...] |
/barrelfish-2018-10-04/include/lwip2/netif/ppp/ |
H A D | eap.c | 1227 int fd, err; local 1231 fd = open(path, modebits, S_IRUSR | S_IWUSR); 1235 return (fd); 1259 int dsize, fd, olen = len; local 1292 fd = open_pn_file(O_WRONLY | O_CREAT | O_TRUNC); 1293 if (fd < 0) { 1297 len = write(fd, inp + 1, *inp); 1298 if (close(fd) != -1 && len == *inp) { 1325 int fd; local 1364 if ((fd [all...] |
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/include/infiniband/ |
H A D | verbs.h | 598 int fd; member in struct:ibv_comp_channel 653 int fd, int oflag); 1157 * @fd: descriptor for inode associated with the domain 1158 * If fd == -1, no inode is associated with the domain; in this ca= se, 1167 * inode specified by fd. 1173 * processes executing open with fd naming the same inode. 1175 struct ibv_xrc_domain *ibv_open_xrc_domain(struct ibv_context *context, int fd,
|
H A D | kern-abi.h | 291 __u32 fd; member in struct:ibv_create_comp_channel_resp 873 __u32 fd; member in struct:ibv_open_xrc_domain
|
H A D | driver.h | 131 int ibv_cmd_open_xrc_domain(struct ibv_context *context, int fd, int oflag,
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/include/rdma/ |
H A D | ib_user_verbs.h | 239 __u32 fd; member in struct:ib_uverbs_open_xrcd 277 __u32 fd; member in struct:ib_uverbs_create_comp_channel_resp 793 __u32 fd; member in struct:ib_uverbs_open_xrc_domain
|
/barrelfish-2018-10-04/lib/libc/db/recno/ |
H A D | rec_open.c | 187 dbp->fd = __rec_fd;
|
/barrelfish-2018-10-04/lib/libc/resolv/ |
H A D | res_send.c | 398 int fd; local 404 fd = EXT(statp).nssocks[0]; 417 EXT(statp).nssocks[lastns] = fd; 962 pollfd.fd = s;
|
/barrelfish-2018-10-04/lib/libc/rpc/ |
H A D | rpcb_clnt.c | 468 int fd; local 487 fd = __rpc_nconf2fd(nconf); 492 if (fd < 0) 494 _close(fd);
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | label.pl | 30 :- call(lib(fd)). 922 insert_suspension(Var, Susp, any of fd, fd) 959 insert_suspension(Var, Susp, any of fd, fd)
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | introduction.tex | 59 library\footnote{There is also an older implementation, the {\em fd} library, 117 covers most of the functionality of the finite domain solver {\em fd}}. 200 %constraints both to {\em fd} and to {\em eplex} \cite{RWH99}.
|