/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | __stdio_read.c | 7 { .iov_base = buf, .iov_len = len - !!f->buf_size }, 8 { .iov_base = f->buf, .iov_len = f->buf_size } 21 if (f->buf_size) buf[len-1] = *f->rpos++;
|
H A D | setvbuf.c | 17 f->buf_size = 0;
|
H A D | stderr.c | 6 .buf_size = 0,
|
H A D | stdin.c | 6 .buf_size = sizeof buf-UNGET,
|
H A D | stdout.c | 6 .buf_size = sizeof buf-UNGET,
|
H A D | vdprintf.c | 12 .buf = (void *)fmt, .buf_size = 0,
|
H A D | vswscanf.c | 12 k = wcsrtombs((void *)f->buf, &src, f->buf_size, 0); 32 .buf = buf, .buf_size = sizeof buf,
|
H A D | __towrite.c | 15 f->wend = f->buf + f->buf_size;
|
H A D | __fopen_rb_ca.c | 15 f->buf_size = len - UNGET;
|
H A D | __toread.c | 12 f->rpos = f->rend = f->buf + f->buf_size;
|
H A D | ext.c | 42 return f->buf_size;
|
H A D | vswprintf.c | 32 f->wend = f->buf + f->buf_size; 47 f.buf_size = sizeof buf;
|
H A D | fmemopen.c | 38 if (rem > f->buf_size) rem = f->buf_size; 95 f->buf_size = BUFSIZ;
|
H A D | __fdopen.c | 41 f->buf_size = BUFSIZ;
|
H A D | __stdio_write.c | 17 f->wend = f->buf + f->buf_size;
|
H A D | open_memstream.c | 81 f->buf_size = BUFSIZ;
|
H A D | open_wmemstream.c | 83 f->buf_size = 0;
|
H A D | vfprintf.c | 701 if (!f->buf_size) { 704 f->buf_size = sizeof internal_buf; 712 f->buf_size = 0;
|
/seL4-refos-master/libs/libmuslc/src/stdlib/ |
H A D | wcstod.c | 17 for (i=0; i<f->buf_size && wcs[i]; i++) 38 f.buf_size = sizeof buf - 4;
|
H A D | wcstol.c | 19 for (i=0; i<f->buf_size && wcs[i]; i++) 40 f.buf_size = sizeof buf - 4;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/ |
H A D | lwip.c | 66 static uintptr_t lwip_allocate_rx_buf(void *iface, size_t buf_size, void **cookie) argument 69 if (buf_size > CONFIG_LIB_ETHDRIVER_PREALLOCATED_BUF_SIZE) { 70 LOG_ERROR("Requested RX buffer of size %zu which can never be fullfilled by preallocated buffers of size %d", buf_size, 87 ps_dma_cache_invalidate(&lwip_iface->dma_man, buf->virt, buf_size); 238 static uintptr_t lwip_pbuf_allocate_rx_buf(void *iface, size_t buf_size, void **cookie) argument 242 buf_size += ETH_PAD_SIZE; /* allow room for Ethernet padding */ 245 buf_size += lwip_iface->driver.dma_alignment; 246 struct pbuf *p = pbuf_alloc(PBUF_RAW, buf_size, PBUF_RAM); 262 uintptr_t phys = ps_dma_pin(&lwip_iface->dma_man, p->payload, buf_size); 267 ps_dma_cache_invalidate(&lwip_iface->dma_man, p->payload, buf_size); [all...] |
H A D | pico_dev_eth.c | 140 static uintptr_t pico_allocate_rx_buf(void *iface, size_t buf_size, void **cookie) argument 144 if (buf_size > CONFIG_LIB_ETHDRIVER_PREALLOCATED_BUF_SIZE) { 146 buf_size, CONFIG_LIB_ETHDRIVER_PREALLOCATED_BUF_SIZE); 165 ps_dma_cache_invalidate(&pico_iface->dma_man, buf->virt, buf_size);
|
/seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | raw.h | 79 * @param buf_size Size of buffer to allocate 86 typedef uintptr_t (*ethif_raw_allocate_rx_buf)(void *cb_cookie, size_t buf_size, void **cookie);
|
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | stdio_impl.h | 33 size_t buf_size; member in struct:_IO_FILE
|
/seL4-refos-master/libs/libmuslc/ldso/ |
H A D | dynlink.c | 719 static int path_open(const char *name, const char *s, char *buf, size_t buf_size) argument 727 if (snprintf(buf, buf_size, "%.*s/%s", (int)l, s, name) < buf_size) { 745 static int fixup_rpath(struct dso *p, char *buf, size_t buf_size) argument 774 l = readlink("/proc/self/exe", buf, buf_size); 783 if (l >= buf_size)
|