/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/ |
H A D | chr_doc.pl | 41 minmax.chr compiled traceable 106874 bytes in 3.37 seconds 42 minmax.pl compiled traceable 124980 bytes in 1.83 seconds 67 minmax.chr compiled traceable 106874 bytes in 3.37 seconds
|
/barrelfish-2018-10-04/usr/monitor/ |
H A D | monitor_server.c | 917 assert((1UL << log2ceil(frameid.bytes)) == frameid.bytes); 921 frameid.base, frameid.bytes);
|
/barrelfish-2018-10-04/usr/arrakismon/ |
H A D | guest.c | 162 // allocates some bytes of memory for the guest starting at a specific addr 165 alloc_guest_mem(struct guest *g, lvaddr_t guest_paddr, size_t bytes) argument 170 assert(bytes > 0 && (bytes & BASE_PAGE_MASK) == 0); 172 assert(guest_paddr + bytes <= g->mem_high_va); 180 err = frame_create(cap, bytes, NULL); 186 err = guest_vspace_map_wrapper(g->vspace, guest_paddr, cap, bytes); 203 err = vspace_map_wrapper(guest_to_host(guest_paddr), host_cap, bytes); 228 // a region a 2K bytes represents the access bits of 8K MSRs, therefore each 1553 // returned bytes (alway [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umsdeveltools.tex | 248 document.ecl compiled traceable 83620 bytes in 0.04 seconds 252 queen.ecl compiled traceable 1432 bytes in 0.01 seconds 301 daVinci.ecl compiled traceable 5644 bytes in 0.01 seconds 589 queen.ecl compiled traceable 6016 bytes in 0.01 seconds 625 index.pl compiled traceable 335304 bytes in 0.17 seconds
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embremote.tex | 38 streams of bytes via I/O queues (the {\bf ec_rpc} mechanism is 74 processes to allow streams of bytes to sent from one side to the other. 296 displayed by a Tcl window. Streams of bytes can be sent along the queue 480 of bytes that has been sent on the queue. This command should read the data 486 Read {\it length\/} bytes from the specified queue and insert the data 529 {\eclipse} stream number for the queue and the number of bytes sent as extra 605 number of bytes being sent. If this argument is missing, the data sent 613 have kept track of the number of bytes written inside the handler, and thus 614 know how many bytes will be sent. In this case, {\bf ec_flush} can be 615 called with the number of bytes supplie [all...] |
H A D | embremoteproto.tex | 596 \put(30,52){{\bf rem\_flushio(Q,L)} {\footnotesize \it (L bytes via Q)}} 656 \put(40,52){{\bf ec\_flushio(Q,L)} {\footnotesize \it (L bytes via Q)}} 670 {\eclipse} stream number for the peer queue, and Length is the number of bytes 674 this message on the remote side, the remote side should read Length bytes from 691 \put(30,62){rem\_flushio(Q,L) {\footnotesize \it (L bytes via Q)}} 969 \put(40,52){ec\_flushio(Q,L) {\footnotesize \it (L bytes via Q)}} 990 \put(30,62){rem\_flushio(Q,L) {\footnotesize \it (L bytes via Q)}} 1094 the remote side does not know how many bytes will be sent with the operation. 1142 number of bytes to be sent). 1153 \put(30,52){{\bf rem\_flushio(Q,L)} {\footnotesize \it (L bytes vi [all...] |
H A D | embsumc.tex | 45 The string is copied and can contain NUL bytes. 444 Data points to the data and size is the number of bytes to write. 451 of bytes read into buffer. 454 Determines the number of bytes that are available and can be
|
/barrelfish-2018-10-04/doc/015-disk-driver-arch/ |
H A D | libahci.tex | 36 rounded up to 512 bytes, and the latter aligns the base address such that {\tt 78 entirety if it is at most 512 bytes larger than the requested size or split 104 chunk will be at least 512 bytes), allocates and constructs a
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | emu_par.c | 825 char bytes[sizeof(st_handle_t)]; member in union:node_to_char 833 *--bufp = ((union node_to_char *) node)->bytes[i]; 842 ((union node_to_char *) node)->bytes[i] = *bufp++;
|
/barrelfish-2018-10-04/usr/drivers/e10k/ |
H A D | e10k_cdriver.c | 903 e10k_rttdt1c_wr(d, credit_refill[i]); // Credit refill x 64 bytes 911 e10k_rttdt1c_wr(d, credit_refill[i]); // Credit refill x 64 bytes 1029 struct frame_identity frameid = { .base = 0, .bytes = 0 }; 1038 tx_size = frameid.bytes; 1043 rx_size = frameid.bytes; 1085 e10k_srrctl_1_bsz_hdr_wrf(d, n, 128 / 64); // TODO: Do 128 bytes suffice in 1869 (unsigned long long) bar_info[0].bytes);
|
H A D | e10k_qdriver.c | 870 struct frame_identity frameid = { .base = 0, .bytes = 0 }; 880 err = vspace_map_one_frame_attr(&virt, frameid.bytes, registers,
|
/barrelfish-2018-10-04/include/bsm/ |
H A D | audit_record.h | 244 token_t *au_to_opaque(const char *data, uint16_t bytes);
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/net/mlx4/ |
H A D | mlx4_devif_queue.c | 260 if (dev_cap->uar_size > priv->dev.bar_info[1].bytes) { 263 (unsigned long long ) priv->dev.bar_info[1].bytes); 831 /*priv->bf_mapping->size = priv->dev.bar_info[1].bytes 1755 /* CX3 is capable of extending the EQE from 32 to 64 bytes. 1757 * 32 bytes in the 64 byte EQE are reserved and the next 32 bytes 2169 device->region_size = id.bytes; 2171 err = vspace_map_one_frame_attr(&device->region_mapped, id.bytes, cap, VREGION_FLAGS_READ_WRITE, NULL, NULL); 2201 /* can not enqueue receive buffer larger than 2048 bytes */
|
/barrelfish-2018-10-04/usr/tests/devif/ |
H A D | debug_test.c | 347 err = vspace_map_one_frame_attr(&va, id.bytes, memory,
|
/barrelfish-2018-10-04/usr/vmkitmon/ |
H A D | guest.h | 522 alloc_guest_mem(struct guest *g, lvaddr_t guest_paddr, size_t bytes);
|
/barrelfish-2018-10-04/lib/net_queue_manager/ |
H A D | net_soft_filters_srv_impl.c | 182 if (pa.bytes < BASE_PAGE_SIZE * 2) { 672 struct frame_identity frameid = { .base = 0, .bytes = 0 };
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/VMS/ |
H A D | mkshared.com | 190 ; should take no more than 8 bytes.
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/bio/ |
H A D | bio.h | 124 #define BIO_CTRL_WPENDING 13 /* opt - number of bytes still to write */ 314 int ibuf_len; /* how many bytes are in it */ 318 int obuf_len; /* how many bytes are in it */ 636 int BIO_dump(BIO *b,const char *bytes,int len); 637 int BIO_dump_indent(BIO *b,const char *bytes,int len,int indent);
|
/barrelfish-2018-10-04/include/vm/ |
H A D | uma_core.c | 832 printf("%s: Returning %d bytes.\n", keg->uk_name, 1041 startup_alloc(uma_zone_t zone, vm_size_t bytes, uint8_t *pflag, int wait) argument 1048 pages = howmany(bytes, PAGE_SIZE); 1086 return keg->uk_allocf(zone, bytes, pflag, wait); 1093 * bytes The number of bytes requested 1101 page_alloc(uma_zone_t zone, vm_size_t bytes, uint8_t *pflag, int wait) argument 1106 p = (void *) kmem_malloc(kmem_arena, bytes, wait); 1115 * bytes The number of bytes requeste 1123 noobj_alloc(uma_zone_t zone, vm_size_t bytes, uint8_t *flags, int wait) argument [all...] |
/barrelfish-2018-10-04/lib/openssl-1.0.0d/engines/ |
H A D | e_ubsec.c | 1014 ret = meth->bytes(buf, num); 1018 num *= 8; /* bytes to bits */ 1034 ret = meth->bytes(buf, num);
|
/barrelfish-2018-10-04/usr/drivers/e1000/ |
H A D | e1000n_hwinit.c | 752 struct frame_identity frameid = { .base = 0, .bytes = 0 }; 864 struct frame_identity frameid = { .base = 0, .bytes = 0 };
|
/barrelfish-2018-10-04/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/ |
H A D | RemoteEclipse.java | 740 // Now these bytes have been flushed, reset the byte counter 758 // since the above statement cannot have written less than len bytes unless it 760 // bytes have been written. 773 // bytes in the buffer. 780 // bytes read (may be less than len). 923 * instructed, it can read a certain number of bytes from this stream into 926 * These bytes can be read back from the socket using the readByte or 933 // number of available bytes held in the buffer 935 // DataInputStream where the bytes come from. We use a DataInputStream 937 // specified number of bytes hav [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | kernel_bips.pl | 262 string_list(String, List, bytes) :- !,
|
/barrelfish-2018-10-04/include/openssl/ |
H A D | bio.h | 124 #define BIO_CTRL_WPENDING 13 /* opt - number of bytes still to write */ 314 int ibuf_len; /* how many bytes are in it */ 318 int obuf_len; /* how many bytes are in it */ 636 int BIO_dump(BIO *b,const char *bytes,int len); 637 int BIO_dump_indent(BIO *b,const char *bytes,int len,int indent);
|
/barrelfish-2018-10-04/usr/net_socket_server/ |
H A D | net_sockets_server.c | 787 nc->buffer_size = pa.bytes; 788 err = vspace_map_one_frame(&nc->buffer_start, pa.bytes, cap, NULL, NULL);
|