/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | example.c | 59 Return_Unify_Pw(vl, tl, list.val, list.tag); 76 sum += car->val.nint; 80 vl = cdr->val;
|
H A D | sepia.h | 117 #define TPROC 13 /* goal tag, val is a (pri *) */ 287 (IsStructure(t) && DidString((v).ptr->val.did) == DidString(d_.nil)) 352 #define Bip_Throw(val, tag) return return_throw(val, tag); 354 #define Exit_Block(val, tag) longjmp_throw(val, tag); 401 * the val to the nil DID. It is the responsibility of the caller to 404 #define Check_Output_Atom_Or_Nil(val, tag) \ 406 val.did = d_.nil; \ 410 #define Check_Atom_Or_Nil(val, ta [all...] |
H A D | bip_tconv.c | 128 * PARAMETERS: vt - term1->val 133 * vf - functor1->val 137 * va - arity1->val 255 p->val.did = (dident) d; 260 p->val.ptr = p; 285 * val.did), followed by (next addresses) the arguments, 296 d = vt.ptr->val.did; 350 * PARAMETERS: vterm - term1->val 355 * votype - type1->val 397 * PARAMETERS: va - atom1->val [all...] |
H A D | bip_db.c | 79 if (IsStructure(tproc) && vproc.ptr->val.did == d_type_) {\ 105 p_is_built_in(value val, type tag, value vm, type tm), 106 p_is_predicate(value val, type tag, value vm, type tm), 116 p_als(value val, type tag, value vm, type tm), 263 d_val1 = in_dict("val", 1); 392 mod_pw.val.all = vmod.all; 398 Return_Unify_Pw(mod_pw.val, mod_pw.tag, vout, tout); 412 p_als(value val, type tag, value vm, type tm) argument 425 code = (vmcode *) val.nint; 429 Get_Proc_Did(val, ta 525 p_is_predicate(value val, type tag, value vm, type tm) argument 965 p_is_built_in(value val, type tag, value vm, type tm) argument [all...] |
H A D | bip_record.c | 88 obj->term.val.nint = 0; 267 *pheader = (t_heap_rec *) prop->val.ptr; 305 Return_Unify_Pw(vrec, trec, rec.val, rec.tag); 330 prop->val.wptr = (uword *) _rec_create(); 355 prop->val.wptr = (uword *) _rec_create(); 468 Return_Unify_Pw(vdref, tdref, ref_pw.val, ref_pw.tag); 498 Return_Unify_Pw(vdref, tdref, ref_pw.val, ref_pw.tag); 531 if (farg->val.did != targ->val.did) 550 return SimpleEq(farg->tag.kernel,farg->val,tar [all...] |
H A D | emu_export.h | 117 #define DynEnvVal(e) (((e)-1)->val.wptr) 130 SP->val.wptr = (uword *) (Val); 355 *--TT = ((pword *) (pw))->val.ptr;\ 361 *--TT = ((pword *) (pw))->val.ptr;\ 379 *--TT = ((pword *) (pw))->val.ptr;\ 524 pw->val.ptr = pw;\ 529 pw->val.ptr = pw;\ 538 pw->val.ptr = *ttptr++;\ 698 (pw)->val.all = (uword) (v); 712 aux_pw.val [all...] |
H A D | bip_io.c | 171 Bind_Var(v, t, hstream.val.all, hstream.tag.kernel); \ 289 p_read_string(value vs, type ts, value vdel, type tdel, value vl, type tl, value val, type tag), 290 p_read_string5(value vs, type ts, value vdel, type tdel, value vpad, type tpad, value vsep, type tsep, value val, type tag), 292 p_get_char(value vs, type ts, value val, type tag), 293 p_get(value vs, type ts, value val, type tag), 294 p_get1(value val, type tag), 295 p_put_char(value vs, type ts, value val, type tag), 298 p_getw(value vs, type ts, value val, type tag), 580 nst = (stream_id) GetStreamProperty(d_.stdin0)->val.wptr; 582 nst = (stream_id) GetStreamProperty(d_.stdout0)->val 787 p_get_char(value vs, type ts, value val, type tag) argument 827 p_put_char(value vs, type ts, value val, type tag) argument 2205 p_get(value vs, type ts, value val, type tag) argument 2244 p_getw(value vs, type ts, value val, type tag) argument 2278 p_get1(value val, type tag) argument 2439 p_read_string(value vs, type ts, value vdel, type tdel, value vl, type tl, value val, type tag) argument 2563 p_read_string5(value vs, type ts, value vdel, type tdel, value vpad, type tpad, value vsep, type tsep, value val, type tag) argument [all...] |
/barrelfish-master/lib/phoenix/ |
H A D | map_reduce.h | 52 * val - pointer to the value 57 void *val; member in struct:__anon1381 133 * which emits a keyval pair for each val. */ 195 void emit_intermediate(void *key, void *val, int key_size); 200 void emit(void *key, void *val);
|
/barrelfish-master/include/ |
H A D | termios.h | 51 #define CCEQ(val, c) ((c) == (val) && (val) != _POSIX_VDISABLE)
|
/barrelfish-master/tools/usbboot/ |
H A D | misc.c | 21 u32 i = 0, val; local 24 val = readl(read_addr) & read_bit_mask; 25 if (val == match_value)
|
/barrelfish-master/kernel/arch/x86/ |
H A D | perfmon.c | 121 void perfmon_measure_write(uint8_t counter_id, uint64_t val) argument 125 perfmon_amd_measure_write(val, counter_id); 129 perfmon_intel_measure_write(val);
|
/barrelfish-master/usr/eclipseclp/lib_tcl/widget/ |
H A D | util.tcl | 118 set val [lrange $arglist [expr {$i+1}] \ 123 ![validate $types($akey) $val])} { 127 set data($akey) $val 161 foreach {key val} $arglist { 176 ![validate $types($akey) $val]} { 180 set data($akey) $val 648 # val - The value to be validated 698 set val [lindex $args 1] 701 set slen [string length $val] 724 echo $regform $format $val [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic.c | 159 (attr) = (attr)->val.ptr + ic_domain_slot; \ 170 (attr) = (attr)->val.ptr; \ 182 (attr) = (attr)->val.ptr; \ 432 #define maybe_round_up(integral, val) \ 433 if (integral) { val = ceil(val); } else 434 #define maybe_round_down(integral, val) \ 435 if (integral) { val = floor(val); } else 452 v.ptr->val 883 value val; local 909 value val; local 1044 value val; local 3201 value val; local 3406 value val; local 4460 value val; local 4642 value val; local 4681 value val; local 5028 value val, a1val, a2val; local [all...] |
/barrelfish-master/usr/tests/cxx/ |
H A D | stl_vector.cpp | 71 static void check(string val, argument 76 if (val.compare("apple") != 0) { 77 cout << "invalid entry: " << val << " / apple" << endl; 82 if (val.compare("banana") != 0) { 83 cout << "invalid entry: " << val << " / banana" << endl; 88 if (val.compare("apricot") != 0) { 89 cout << "invalid entry: " << val << " / apricot" << endl;
|
/barrelfish-master/lib/compiler-rt/builtins/ |
H A D | atomic.c | 218 void __atomic_exchange_c(int size, void *ptr, void *val, void *old, int model) { argument 221 __c11_atomic_exchange((_Atomic(type) *)ptr, *(type *)val, model); \ 228 memcpy(ptr, val, size); 257 type val = *src; \ 259 return val; \ 265 void __atomic_store_##n(type *dest, type val, int model) { \ 267 __c11_atomic_store((_Atomic(type) *)dest, val, model); \ 272 *dest = val; \ 280 type __atomic_exchange_##n(type *dest, type val, int model) { \ 282 return __c11_atomic_exchange((_Atomic(type) *)dest, val, mode [all...] |
/barrelfish-master/lib/openssl-1.0.0d/crypto/ts/ |
H A D | ts_conf.c | 345 CONF_VALUE *val = sk_CONF_VALUE_value(list, i); local 346 const char *extval = val->value ? val->value : val->name; 388 CONF_VALUE *val = sk_CONF_VALUE_value(list, i); local 389 const char *extval = val->value ? val->value : val->name; 421 CONF_VALUE *val = sk_CONF_VALUE_value(list, i); local 422 if (strcmp(val [all...] |
/barrelfish-master/usr/skb/programs/ |
H A D | pubsub3.pl | 72 match_attributes([val(Key, AValue)|Rest], [constraint(Key, Comparator, CValue)|CRest]) :- 75 match_attributes([val(Key, AValue)|Rest], CRest). 78 match_attributes([val(Key, AValue)|Rest], [constraint(Key, match, CValue)|CRest]) :- 81 match_attributes([val(Key, AValue)|Rest], CRest). 84 match_attributes([val(Key, AValue)|Rest], [constraint(Key, Comparator, CValue)|CRest]) :- 87 match_attributes([val(Key, AValue)|Rest], CRest). 90 match_attributes([val(Key, AValue)|Rest], [constraint(Key, '==', CValue)|CRest]) :- 93 match_attributes([val(Key, AValue)|Rest], CRest). 96 match_attributes([val(AKey, AValue)|Rest], [constraint(CKey, Comparator, CValue)|SRest]) :-
|
H A D | objects3.pl | 84 (Cur = constraint(Attribute, _, _) ; Cur = val(Attribute, _)), 128 match_constraints([constraint(Key, Comparator, Value)|Rest], [val(Key, SVal)|SRest]) :- 131 match_constraints(Rest, [val(Key, SVal)|SRest]). 134 match_constraints([constraint(Key, match, Value)|Rest], [val(Key, SVal)|SRest]) :- 137 match_constraints(Rest, [val(Key, SVal)|SRest]). 140 match_constraints([constraint(Key, Comparator, Value)|Rest], [val(Key, SVal)|SRest]) :- 143 match_constraints(Rest, [val(Key, SVal)|SRest]). 146 match_constraints([constraint(Key, '==', Value)|Rest], [val(Key, SVal)|SRest]) :- 149 match_constraints(Rest, [val(Key, SVal)|SRest]). 152 match_constraints([constraint(AKey, Comparator, Value)|Rest], [val(SKe [all...] |
/barrelfish-master/usr/vmkitmon/ |
H A D | guest.c | 84 guest_msr_area[i].val = 0x0; 323 uint8_t val = *(uint8_t *)(g->msrpm_va + byte_offset); local 325 val = (val & ~(0x3 << bit_offset)) | (access_mode << bit_offset); 327 *(uint8_t *)(g->msrpm_va + byte_offset) = val; 329 //printf("MSR: msr %x, byte_offset %lx, bit_offset %x, val %x\n", msr, byte_offset, bit_offset, val); 901 // control if val is 1 or 0, respectively. 902 static inline void vmx_intercept_desc_table_wrf(struct guest *g, int val) argument 904 assert(val 1359 set_reg_val_by_reg_num(struct guest *g, uint8_t regnum, uint64_t val) argument 1412 uint64_t val; local 1601 vmx_vmcs_rflags_cf_wrf(struct guest *g, int val) argument 2123 uint32_t val; local 2341 uint64_t val; local 2773 decode_mov_dest_val(struct guest *g, uint8_t *code, uint64_t val) argument 2846 uint64_t val; local 2887 uint64_t val = decode_mov_src_val(g, code); local 2894 uint64_t val; local [all...] |
/barrelfish-master/lib/libc/inet/ |
H A D | inet_cidr_pton.c | 160 u_int val; local 172 val = 0; 180 val <<= 4; 181 val |= (pch - xdigits); 182 if (val > 0xffff) 199 *tp++ = (u_char) (val >> 8) & 0xff; 200 *tp++ = (u_char) val & 0xff; 202 val = 0; 222 *tp++ = (u_char) (val >> 8) & 0xff; 223 *tp++ = (u_char) val [all...] |
/barrelfish-master/include/sys/ |
H A D | sysctl.h | 333 /* Oid for a bool. If ptr is NULL, val is returned. */ 335 #define SYSCTL_BOOL(parent, nbr, name, access, ptr, val, descr) \ 338 ptr, val, sysctl_handle_bool, "CU", descr); \ 342 #define SYSCTL_ADD_BOOL(ctx, parent, nbr, name, access, ptr, val, descr) \ 348 __ptr, val, sysctl_handle_bool, "CU", __DESCR(descr)); \ 351 /* Oid for a signed 8-bit int. If ptr is NULL, val is returned. */ 353 #define SYSCTL_S8(parent, nbr, name, access, ptr, val, descr) \ 356 ptr, val, sysctl_handle_8, "C", descr); \ 361 #define SYSCTL_ADD_S8(ctx, parent, nbr, name, access, ptr, val, descr) \ 368 __ptr, val, sysctl_handle_ [all...] |
/barrelfish-master/include/lwip/lwip/ |
H A D | sys.h | 206 #define SYS_ARCH_INC(var, val) do { \ 209 var += val; \ 215 #define SYS_ARCH_DEC(var, val) do { \ 218 var -= val; \ 233 #define SYS_ARCH_SET(var, val) do { \ 236 var = val; \
|
/barrelfish-master/include/lwip2/lwip/ |
H A D | sys.h | 415 #define SYS_ARCH_INC(var, val) do { \ 418 var += val; \ 424 #define SYS_ARCH_DEC(var, val) do { \ 427 var -= val; \ 442 #define SYS_ARCH_SET(var, val) do { \ 445 var = val; \
|
/barrelfish-master/lib/libc/iconv/ |
H A D | citrus_db_factory.c | 152 const char *key, uint8_t val) 160 *p = val; 167 const char *key, uint16_t val) 175 *p = htons(val); 182 const char *key, uint32_t val) 190 *p = htonl(val); 223 put8(struct _region *r, size_t *rofs, uint8_t val) argument 226 *(uint8_t *)_region_offset(r, *rofs) = val; 231 put32(struct _region *r, size_t *rofs, uint32_t val) argument 234 val 151 _citrus_db_factory_add8_by_string(struct _citrus_db_factory *df, const char *key, uint8_t val) argument 166 _citrus_db_factory_add16_by_string(struct _citrus_db_factory *df, const char *key, uint16_t val) argument 181 _citrus_db_factory_add32_by_string(struct _citrus_db_factory *df, const char *key, uint32_t val) argument 235 memcpy(_region_offset(r, *rofs), &val, 4); local [all...] |
/barrelfish-master/lib/pci/confspace/ |
H A D | pci_confspace.c | 38 uint32_t val = 0; local 52 r = iocap_in32(cap_io, PCI_CONFIG_DATA_PORT, &val); 57 return val;
|