/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | occur.pl | 14 position/3, % Term x Term -> Path 23 position(?, +, ?), 24 position(+, ?, +, ?), 63 % used to discover a path to a known Term; use position/3 for that. 72 % position(Term, Exp, Path) 73 % is true when Term occurs in Exp at the position defined by Path. 76 % position(x, 2*x^2+2*x+1=0, [1, 1, 2, 2]) {2*x} and 77 % position(x, 2*x^2+2*x+1=0, [1, 1, 1, 2, 1]) {x^2} are both examples. 79 position(Term, Term, []). 80 position(Ter [all...] |
H A D | trees.pl | 16 is matched against the whole tree when the position number finally
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | kernel_multiboot2.c | 97 size_t position = 0; local 115 position += tag->size; 116 tag = multiboot2_find_tag(tag, size - position, MULTIBOOT_TAG_TYPE_MODULE_64);
|
H A D | startup_arch.c | 248 size_t position = 0; local 274 position = 0; 308 position += module->size; 310 (struct multiboot_tag *)module, (multiboot->total_size - 8) - position,
|
/barrelfish-master/lib/libc/rpc/ |
H A D | pmap_rmt.c | 122 u_int lenposition, argposition, position; local 136 position = XDR_GETPOS(xdrs); 137 cap->arglen = (u_long)position - (u_long)argposition; 141 XDR_SETPOS(xdrs, position);
|
H A D | rpcb_prot.c | 241 u_int lenposition, argposition, position; local 272 position = XDR_GETPOS(xdrs); 273 objp->args.args_len = (u_int)((u_long)position - (u_long)argposition); 278 XDR_SETPOS(xdrs, position);
|
/barrelfish-master/lib/vfs/ |
H A D | fopen.c | 122 barrelfish_read(void *data, long int position, size_t count, void *handle) argument 127 err = vfs_seek(handle, VFS_SEEK_SET, position); 141 barrelfish_write(void *data, long int position, size_t count, void *handle) argument 146 err = vfs_seek(handle, VFS_SEEK_SET, position);
|
/barrelfish-master/lib/usb/class/ |
H A D | usb_hid.c | 66 /* save current position for current rID */ 80 s->last_pos[i].position = c->loc.position; 87 /* lookup last position for next rID */ 101 c->loc.position = s->last_pos[i].position; 103 debug_printf("Out of RID entries, position is set to zero!\n"); 104 c->loc.position = 0; 228 * Only copy HID item, increment position and return 233 c->loc.position [all...] |
/barrelfish-master/lib/openssl-1.0.0d/crypto/dso/ |
H A D | dso_win32.c | 316 enum { IN_NODE, IN_DEVICE, IN_FILE } position; local 336 position = IN_DEVICE; 341 position = IN_NODE; 353 if(position != IN_DEVICE) 363 position = IN_FILE; 369 if(position == IN_NODE) 372 position = IN_FILE; 376 else if(position == IN_DEVICE) 378 position = IN_FILE; 392 if(position [all...] |
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | queens.pl | 28 % the position of a queen in one column
|
/barrelfish-master/lib/compiler-rt/builtins/ |
H A D | fp_extend_impl.inc | 73 // exponent into the proper position and rebiasing the exponent.
|
/barrelfish-master/lib/acpica/source/include/ |
H A D | acmacros.h | 342 * MASK_BITS_ABOVE creates a mask starting AT the position and above 343 * MASK_BITS_BELOW creates a mask starting one bit BELOW the position 345 #define ACPI_MASK_BITS_ABOVE(position) (~((ACPI_UINT64_MAX) << ((UINT32) (position)))) 346 #define ACPI_MASK_BITS_BELOW(position) ((ACPI_UINT64_MAX) << ((UINT32) (position))) 378 /* Macros to extract flag bits from position zero */ 385 /* Macros to extract flag bits from position one and above */
|
/barrelfish-master/include/usb/class/ |
H A D | usb_hid.h | 125 /// struct definition for report id - position association 128 uint32_t position; ///< position member in struct:usb_hid_pos_data 135 uint32_t position; ///< the position within the report member in struct:usb_hid_location
|
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | emu_c_env.c | 1248 int position, /* must be > 0 */ 1260 return insert_suspension(val.ptr, position, susp, slot); 1277 res = insert_suspension(arg_i, position, susp, slot); 1279 res = deep_suspend(arg_i->val, arg_i->tag, position, 1321 _suspension_attribute(pword *susp, int position) 1327 if (position > arity) { 1328 position = 1; 1341 if (position == 1) 1359 if (i == position) { 1372 int position, /* mus 1245 deep_suspend(value val, type tag, int position, pword *susp, int slot) argument 1319 _suspension_attribute(pword *susp, int position) argument 1369 insert_suspension(pword *var, int position, pword *susp, int slot) argument [all...] |
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsdebug.tex | 291 It might be missing if the displayed goal is not the current position 1226 from its current position. This is done by typing the uparrow key. This key 1326 If the leftward movement specified would move the argument position before the 1344 the current subterm stopped at leftmost position---the first argument. 1365 If the rightward movement specified would move the argument position beyond 1381 argument, thus trying to move to the right (by the default 1 position in 1388 position. This command is only valid if the current subterm is a compound 1390 argument, so there is a choice of which argument position to move down to. 1393 the argument position selected is the argument position o [all...] |
H A D | umsstring.tex | 63 The time complexity for extracting a substring when the position is given 65 while for lists it is also dependent on the position of the substring.
|
H A D | umsmacros.tex | 65 annotation information is about the source and position of a term, and is 347 variable names, and source position annotations for all subterms. 360 from, to % source position (integers) 394 "source position" of the term, as follows: 406 The exact term position as integer offsets in the source stream, 464 the transformed term is given the source information (source position, source
|
H A D | umsio.tex | 147 have a stream argument at the first position, 741 i.e., the read/write position can be moved forward or backwards. 744 To specify a position in the file 754 moves the current position in the 759 current position is moved to the end of the file. 766 The current position in a file may be found by the predicate 774 unifies \about{Pointer} with the current position in the file. 781 succeeds if the current position in the given stream 878 at its end-of-file position when it is currently empty, however this
|
/barrelfish-master/tools/demo/Aquarium/ |
H A D | Window1.xaml.cs | 1751 int position = 0;
1754 int got = stream.Read(data, position, data.Length - position);
1757 position += got;
1758 } while (position < data.Length);
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | gc.tex | 70 \index{call position} 72 abstract machine can be determined easily, i.e.\ a call-position.
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | kernel_bips.pl | 248 % first_substring/4 uses position, not index, so add 1.
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | icsymbolic.tex | 109 Value occurs in List at position Index.
|
H A D | fdglobal.tex | 121 elements indicating the position of each unsorted list element within
|
H A D | solverinter.tex | 197 position, which will only be bound at runtime:
|
/barrelfish-master/usr/eclipseclp/documents/visualisation/ |
H A D | annotate.tex | 225 Each position in a \viewable{}'s dimension has an associated name. By 239 assign a name to the new position of an expanded dimension.
|