/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | objnam.c | 1093 int len, ltmp; local 1121 len = (int) strlen(subj); 1122 if (!spot) spot = subj + len - 1; 1135 len = (int)(spot - subj) + 1; 1138 if (len == ltmp && !strncmpi(*spec, subj, len)) goto sing; 1141 if (len > ltmp && *(spot - ltmp) == ' ' && 1156 len = strlen(verb); 1157 spot = verb + len - 1; 1164 (len > 1275 int len; local [all...] |
H A D | restore.c | 748 uchar len; local 755 i = 0; j = 0; len = 0; 758 if(len > 0) { 760 len -= 1; 763 mread(fd, (genericptr_t)&len, sizeof(uchar)); 1035 mread(fd, buf, len) 1038 register unsigned len; 1043 while (len--) { 1068 mread(fd, buf, len) 1071 register unsigned int len; [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 36 /* NOTE: little endian packing: len before stat */ 38 uint16_t len; member in struct:descriptor 42 uint16_t len; 122 dev->rx_ring[dev->rdt].len = 0; 215 .len = 0, 222 .len = 0, 244 unsigned int len = dev->rx_ring[dev->rdh].len; local 249 eth_driver->i_cb.rx_complete(eth_driver->cb_cookie, 1, &cookie, &len); 330 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, voi argument [all...] |
/seL4-refos-master/libs/librefos/src/refos-util/ |
H A D | serv_connect.c | 135 int len = cvector_count(&ct->pendingFreeList); local 136 for (int i = 0; i < len; i++) { 201 int len = cvector_count(&ct->pendingFreeList); local 202 for (int i = 0; i < len; i++) {
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | serv_connect.c | 135 int len = cvector_count(&ct->pendingFreeList); local 136 for (int i = 0; i < len; i++) { 201 int len = cvector_count(&ct->pendingFreeList); local 202 for (int i = 0; i < len; i++) {
|
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | libc.h | 17 size_t len, size, align, offset; member in struct:tls_module
|
/seL4-refos-master/kernel/tools/ |
H A D | reciprocal.py | 26 nbits = len(bin(nmax)) - 2
|
H A D | lex.py | 218 for i in range(len(lre)): 262 for i in range(len(lre)): 283 self.lexlen = len(s) 540 m = int(len(relist)/2) 560 for i in range(1, len(parts)): 649 if not isinstance(c, StringTypes) or len(c) > 1: 668 if not isinstance(s, tuple) or len(s) != 2: 707 if len(tsymbols) == 0: 759 s.sort(lambda x, y: (len(x[1]) < len( [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | raw.h | 32 * @param len Array of length 'num' detailing the length of each 41 typedef int (*ethif_raw_tx)(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len,
|
/seL4-refos-master/kernel/libsel4/include/sel4/ |
H A D | bootinfo_types.h | 87 seL4_Word len; member in struct:seL4_BootInfoHeader
|
/seL4-refos-master/libs/libsel4/include/sel4/ |
H A D | bootinfo_types.h | 87 seL4_Word len; member in struct:seL4_BootInfoHeader
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | lookup_name.c | 110 static int dns_parse_callback(void *c, int rr, const void *data, int len, const void *packet) argument 116 if (len != 4) return -1; 122 if (len != 16) return -1; 214 unsigned char len, mask; member in struct:policy 238 if (memcmp(a->s6_addr, defpolicy[i].addr, defpolicy[i].len)) 240 if ((a->s6_addr[defpolicy[i].len] & defpolicy[i].mask) 241 != defpolicy[i].addr[defpolicy[i].len]) 292 /* reject empty name and check len so it fits into temp bufs */
|
H A D | getifaddrs.c | 60 int len; local 65 len = 4; 69 len = 16; 76 if (addrlen < len) return; 78 memcpy(dst, addr, len);
|
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | libfdt.h | 1186 * @len: length of the property value 1197 int len); 1206 * @len: length of the property value 1209 * the data in val, of length len. This function cannot change the 1210 * size of a property, and so will only work if len is equal to the 1219 * -FDT_ERR_NOSPACE, if len is not equal to the property's current length 1230 const void *val, int len); 1373 int fdt_property(void *fdt, const char *name, const void *val, int len); 1397 * @len: length of property value in bytes 1405 int fdt_property_placeholder(void *fdt, const char *name, int len, voi [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | net.h | 59 * @param len packet length 63 unsigned len); 73 * @param len packet length 76 struct in_addr sip, unsigned sport, uchar *pkt, unsigned len); 595 int sport, int len); 660 static inline void net_send_packet(uchar *pkt, int len) argument 663 (void) eth_send(pkt, len); 683 void net_process_received_packet(uchar *in_packet, int len); 688 unsigned src_port, unsigned len);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | beaglebone.c | 174 unsigned int len = (dev->rx_ring[dev->rdh].flags_pktlen) & CPDMA_BD_PKTLEN_MASK; local 180 eth_driver->i_cb.rx_complete(eth_driver->cb_cookie, 1, &cookie, &len); 229 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument 238 if (len[0] < MIN_PKT_LEN) { 239 len[0] = MIN_PKT_LEN; 242 dev->tx_ring[dev->tdt].flags_pktlen = len[0]; 249 dev->tx_ring[ring].bufoff_len = len[i] & CPDMA_BD_LEN_MASK;
|
/seL4-refos-master/kernel/src/arch/x86/object/ |
H A D | ioport.c | 173 word_t len; local 195 len = 1; 197 len = 0; 201 len = 1; 205 wordFromMessageInfo(seL4_MessageInfo_new(0, 0, 0, len)));
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | restore.c | 748 uchar len; local 755 i = 0; j = 0; len = 0; 758 if(len > 0) { 760 len -= 1; 763 mread(fd, (genericptr_t)&len, sizeof(uchar)); 1035 mread(fd, buf, len) 1038 register unsigned len; 1043 while (len--) { 1068 mread(fd, buf, len) 1071 register unsigned int len; [all...] |
/seL4-refos-master/libs/libmuslc/src/regex/ |
H A D | regcomp.c | 429 must have at least `len' items. Sets buf[0] to zero if the there 450 int len; member in struct:literals 457 if (p->len >= p->cap) { 466 a = p->a + p->len++; 507 int len; member in struct:neg 537 int len; local 541 len = mbtowc(&wc, s, -1); 542 if (len <= 0) 558 for (len=0; len < CHARCLASS_NAME_MA 781 int len, ere = ctx->cflags & REG_EXTENDED; local [all...] |
/seL4-refos-master/libs/libvterm/src/ |
H A D | state.c | 149 static int on_text(const char bytes[], size_t len, void *user) argument 155 // We'll have at most len codepoints 156 uint32_t codepoints[len]; 166 codepoints, &npoints, len, bytes, &eaten, len); 389 char utf8[18]; size_t len = 0; local 394 len += fill_utf8((code | modifiers) + 0x20, utf8 + len); 395 len += fill_utf8(col + 0x21, utf8 + len); 470 settermprop_string(VTermState *state, VTermProp prop, const char *str, size_t len) argument 505 on_escape(const char *bytes, size_t len, void *user) argument [all...] |
/seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
H A D | state.c | 149 static int on_text(const char bytes[], size_t len, void *user) argument 155 // We'll have at most len codepoints 156 uint32_t codepoints[len]; 166 codepoints, &npoints, len, bytes, &eaten, len); 389 char utf8[18]; size_t len = 0; local 394 len += fill_utf8((code | modifiers) + 0x20, utf8 + len); 395 len += fill_utf8(col + 0x21, utf8 + len); 470 settermprop_string(VTermState *state, VTermProp prop, const char *str, size_t len) argument 505 on_escape(const char *bytes, size_t len, void *user) argument [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | virtio_pci.c | 259 .len = sizeof(struct virtio_net_hdr), 266 .len = BUF_SIZE, 288 unsigned int len = dev->rx_ring.used->ring[ring].len - sizeof(struct virtio_net_hdr); local 295 driver->i_cb.rx_complete(driver->cb_cookie, 1, &cookie, &len); 299 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) { argument 311 .len = sizeof(struct virtio_net_hdr), 322 .len = len[i],
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | topl.c | 148 unsigned len = strlen(toplines) + 1; local 150 if (len > (unsigned)cw->datlen[idx]) { 152 len += (8 - (len & 7)); /* pad up to next multiple of 8 */ 153 cw->data[idx] = (char *)alloc(len); 154 cw->datlen[idx] = (short)len;
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | topl.c | 148 unsigned len = strlen(toplines) + 1; local 150 if (len > (unsigned)cw->datlen[idx]) { 152 len += (8 - (len & 7)); /* pad up to next multiple of 8 */ 153 cw->data[idx] = (char *)alloc(len); 154 cw->datlen[idx] = (short)len;
|
/seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 378 assert len(members) == 1 499 return [" | ".join(x) for x in words if len(x) > 0] 548 return len([x for x in output_params if not x.type.pass_by_reference()]) != 0 653 input_param_words = len(input_expressions) 661 (method_id, len(cap_expressions), len(input_expressions))) 673 if len(cap_expressions) > 0: 675 for i in range(len(cap_expressions)): 686 if max(num_mrs, len(input_expressions)) > 0: 690 if i < len(input_expression [all...] |