/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | grace.pl | 63 % 5: no display mode 192 % The execution mode, one of: 197 :- make_local_array(mode). 254 setval(mode, step), 347 getval(mode, M), 627 getval(mode, M), 660 (M = step % stop always in step mode 662 getval(stop, 0), % stop in pure run mode unless all solls 689 getval(mode, Mode), 690 setval(mode, back_min_ma [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | fd_domain.pl | 295 :- mode unify_term_domain(?, +, ?). 374 :- mode test_unify_term_domain(?, +). 534 :- mode get_domain(?,-). 696 :- mode domain_types(+,-,-,-,-,-,+,-). 804 :- mode dvar_update(?, ++). 813 :- mode dvar_update(?, ++, ++, ++). 829 :- mode dvar_update_nocheck(?, ++, ++). 842 :- mode dvar_msg(?, ?, -). 903 :- mode dom_member(?, ++). 907 :- mode dom_membe [all...] |
H A D | fd_chip.pl | 136 %:- mode find_least_domain(+,+,+,-,-). 164 %:- mode find_least_domain(+,+,+,?,-,-). 199 %:- mode find_min_domain(+,+,+,-,-).
|
H A D | util.pl | 124 get_stream_info(S, mode, M), 143 atom_string('%-20s%w%n', Format), % to avoid problems in Q mode 158 atom_string('%-20s%w%n', Format), % to avoid problems in Q mode
|
H A D | profile.pl | 208 :- mode flag_value(?, ++, -). 224 :- mode search(++, ++, +). 239 :- mode tree_minkey(++, -). 264 :- mode ins(++, ++, ++, -).
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umsdebug.tex | 43 % encapsulated postscript mode 258 %\item N - a procedure compiled in non-debug mode, i.e., behaves like skipped. 272 compiled in debug mode or has its skip-flag set are not numbered. 351 \notation{o}\dbgcmdidx{o}{output mode} command. 367 Indicates whether the predicate has been compiled in debug-compile mode. 370 the predicate in a different mode. 385 stop at its ports when in leap mode. 393 if it has been compiled in debug-compile mode. 426 %The leashing mode can be specified separately for ports and procedures. 435 %To change the leash mode fo [all...] |
H A D | umsopers.tex | 66 listing, local, mode, nospy, parallel, skipped,
|
/barrelfish-2018-10-04/lib/net/ |
H A D | arp.c | 242 static void arp_change_event(octopus_mode_t mode, const char* record, void* st) argument 255 if (mode & OCT_ON_SET) { 263 } else if (mode & OCT_ON_DEL) {
|
/barrelfish-2018-10-04/lib/tftp/ |
H A D | client.c | 48 tftp_mode_t mode; member in struct:tftp_client 233 length += set_mode(payload + length, tftp_client.mode); 363 tftp_client.mode = TFTP_MODE_OCTET;
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | bip_mps.c | 664 -> mode = BoundArg(3, CONSTANT); 667 -> mode = BoundArg(2, CONSTANT); 672 -> mode = BoundArg(1, CONSTANT); 679 -> mode = BoundArg(2, CONSTANT);
|
H A D | bip_delay.c | 145 B_UNSAFE|U_GLOBAL) -> mode = BoundArg(1, NONVAR); 147 -> mode = BoundArg(2, NONVAR) | BoundArg(3, NONVAR); 149 B_UNSAFE|U_GLOBAL) -> mode = BoundArg(2, NONVAR); 151 B_UNSAFE|U_GLOBAL) -> mode = BoundArg(2, NONVAR); 153 B_UNSAFE|U_GLOBAL) -> mode = BoundArg(2, NONVAR); 155 B_UNSAFE|U_GLOBAL) -> mode = BoundArg(2, NONVAR); 157 -> mode = BoundArg(1, NONVAR) | BoundArg(2, NONVAR); 158 local_built_in(in_dict("undo_meta_bind", 2), p_undo_meta_bind, B_UNSAFE|U_GLOBAL) -> mode = BoundArg(2, NONVAR); 161 -> mode = BoundArg(1, CONSTANT) | BoundArg(2, CONSTANT); 172 -> mode [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/ |
H A D | chr2pl.pl | 69 :- mode chr2pl(++). 91 :- mode read_all(++). 309 :- mode get_constraints(-). 329 :- mode l_tr_callable(++). 365 :- mode l_tr_constraint(++). 373 :- mode tr_constraint(++). 380 :- mode gen_constraint(++). 427 :- mode tr_clauses(++). 448 :- mode tr_single_replacements(++, ++). 464 :- mode l_compile_singl [all...] |
/barrelfish-2018-10-04/lib/octopus/server/ |
H A D | service.c | 75 (*drt)->mode = 0; 108 drs->mode, 314 void set_handler(struct octopus_binding *b, const char *query, uint64_t mode, argument 334 err = set_record(ast, mode, &drs->query_state); 465 const char *attributes, uint64_t mode, 490 err = set_record(ast, mode, &drs->query_state); 727 drs->mode, record, drs->client_state); 772 subscriber->mode = OCT_REMOVED; 855 subscriber->mode = OCT_ON_PUBLISH; 464 set_with_idcap_handler(struct octopus_binding *b, struct capref idcap, const char *attributes, uint64_t mode, octopus_trigger_t trigger, bool get) argument
|
/barrelfish-2018-10-04/kernel/include/arch/armv7/ |
H A D | psci.h | 296 * @brief This API allows setting the mode used by CPU_SUSPEND to coordinate 299 * @param mode Mode to put the system in 306 errval_t psci_set_suspend_mode(psci_suspend_mode_t mode);
|
/barrelfish-2018-10-04/kernel/include/arch/armv8/ |
H A D | psci.h | 295 * @brief This API allows setting the mode used by CPU_SUSPEND to coordinate 298 * @param mode Mode to put the system in 305 errval_t psci_set_suspend_mode(psci_suspend_mode_t mode);
|
/barrelfish-2018-10-04/lib/posixcompat/ |
H A D | sockets.c | 39 || us->u.active.mode != _UNIX_SOCKET_MODE_CONNECTED) { 184 || us->u.active.mode != _UNIX_SOCKET_MODE_CONNECTED) { 473 assert(us->u.active.mode == _UNIX_SOCKET_MODE_CONNECTED); 620 newus->u.active.mode = _UNIX_SOCKET_MODE_CONNECTED; 759 assert(us->u.active.mode == _UNIX_SOCKET_MODE_CONNECTING); 764 us->u.active.mode = _UNIX_SOCKET_MODE_CONNECTED; 813 us->u.active.mode = _UNIX_SOCKET_MODE_CONNECTING; 820 while(us->u.active.mode == _UNIX_SOCKET_MODE_CONNECTING) { 825 assert(us->u.active.mode == _UNIX_SOCKET_MODE_CONNECTED);
|
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | project.pl | 11 :- mode 43 mode s_project(+, -, ..., -).
|
/barrelfish-2018-10-04/usr/skb/skb_simple/ |
H A D | octopus_stubs.c | 189 errval_t set_record(struct ast_object* ast, uint64_t mode, argument 194 assert(mode == 0); 326 uint64_t mode, struct oct_reply_state* drs, uint64_t* wid) 331 assert(mode == OCT_ON_SET); 325 set_watch(struct octopus_binding* b, struct ast_object* ast, uint64_t mode, struct oct_reply_state* drs, uint64_t* wid) argument
|
/barrelfish-2018-10-04/usr/tests/devif/ |
H A D | bench.c | 127 ctl_tmp_reg->mode = BENCH_MODE_FIXEDRUNS; 134 ctl_tmp_dereg->mode = BENCH_MODE_FIXEDRUNS; 205 ctl_tmp_en->mode = BENCH_MODE_FIXEDRUNS; 212 ctl_tmp_de->mode = BENCH_MODE_FIXEDRUNS;
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/ssl/ |
H A D | ssl_lib.c | 296 s->mode=ctx->mode; 777 void SSL_set_verify(SSL *s,int mode, argument 780 s->verify_mode=mode; 1047 return(s->mode|=larg); 1049 return(s->mode &=~larg); 1162 return(ctx->mode|=larg); 1164 return(ctx->mode&=~larg); 1812 void SSL_CTX_set_verify(SSL_CTX *ctx,int mode,int (*cb)(int, X509_STORE_CTX *)) argument 1814 ctx->verify_mode=mode; 2204 ssl_update_cache(SSL *s,int mode) argument 2696 SSL_CTX_set_quiet_shutdown(SSL_CTX *ctx,int mode) argument 2706 SSL_set_quiet_shutdown(SSL *s,int mode) argument 2716 SSL_set_shutdown(SSL *s,int mode) argument [all...] |
/barrelfish-2018-10-04/doc/017-arm/ |
H A D | ARM.tex | 33 \newcommand{\mode}[1]{\texttt{#1} mode\xspace} 352 sets the processor \mode{System}, sets up the (single) kernel 381 \mode{User} is enabled, and the coreboot spawn handler set up. It 403 written in assembly. It assumes the core is running in \mode{System}. 406 mode, and an 8kB stack used for subsequently calling into C in 407 \mode{System}, all defined in \file{exceptions.S}. 410 the processor was in \mode{User} or not when the trap happened. In most 411 cases, if the processor was not in \mode{User}, the result is that 412 \mode{Syste [all...] |
/barrelfish-2018-10-04/lib/libc/db/recno/ |
H A D | rec_open.c | 56 __rec_open(const char *fname, int flags, int mode, const RECNOINFO *openinfo, argument 67 if (fname != NULL && (rfd = _open(fname, flags | O_CLOEXEC, mode)) < 0)
|
/barrelfish-2018-10-04/lib/libc/gmon/ |
H A D | gmon.c | 213 moncontrol(int mode) argument 217 if (mode) {
|
/barrelfish-2018-10-04/lib/nfs/ |
H A D | nfs.x | 86 mode3 mode; 140 mode3 mode; 181 set_mode3 mode; 445 union createhow3 switch (createmode3 mode) {
|
/barrelfish-2018-10-04/kernel/arch/armv8/ |
H A D | psci.c | 384 * @brief This API allows setting the mode used by CPU_SUSPEND to coordinate 387 * @param mode Mode to put the system in 394 errval_t psci_set_suspend_mode(psci_suspend_mode_t mode) argument 397 psci_invoke(PSCI_FN_PSCI_SET_SUSPEND_MODE, mode, 0, 0, &retval);
|