/seL4-refos-master/projects/util_libs/libcpio/include/cpio/ |
H A D | cpio.h | 82 * @param[in] buf A memory location to store the CPIO file list to 83 * @param[in] buf_len The length of the provided buf 85 void cpio_ls(void *archive, unsigned long len, char **buf, unsigned long buf_len);
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | res_mkquery.c | 8 const unsigned char *newrr, unsigned char *buf, int buflen) 40 memcpy(buf, q, n); 6 __res_mkquery(int op, const char *dname, int class, int type, const unsigned char *data, int datalen, const unsigned char *newrr, unsigned char *buf, int buflen) argument
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/ |
H A D | lwip.c | 86 dma_addr_t *buf = lwip_iface->bufs[lwip_iface->num_free_bufs]; local 87 ps_dma_cache_invalidate(&lwip_iface->dma_man, buf->virt, buf_size); 88 *cookie = (void *)buf; 89 return buf->phys; 130 unsigned int buf = 0; local 134 unsigned int next = MIN(q->len - pbuf_done, lens[buf] - buf_done); 135 memcpy(q->payload + pbuf_done, ((dma_addr_t *)cookies[buf])->virt + buf_done, next); 139 if (buf_done == lens[buf]) { 140 buf++; 190 dma_addr_t buf; local [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | pcunix.c | 28 static struct stat buf; 45 if(fstat(fd, &buf)) { 49 if(buf.st_mtime < hbuf.st_mtime) { 55 if(fstat(fd, &buf)) { 60 if(comp_times(buf.st_mtime)) {
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | pcunix.c | 28 static struct stat buf; 45 if(fstat(fd, &buf)) { 49 if(buf.st_mtime < hbuf.st_mtime) { 55 if(fstat(fd, &buf)) { 60 if(comp_times(buf.st_mtime)) {
|
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | fdt_rw.c | 429 int fdt_open_into(const void *fdt, void *buf, int bufsize) argument 455 err = fdt_move(fdt, buf, bufsize); 458 fdt_set_version(buf, 17); 459 fdt_set_size_dt_struct(buf, struct_size); 460 fdt_set_totalsize(buf, bufsize); 472 tmp = buf; 477 if ((tmp + newsize) > ((char *)buf + bufsize)) 482 memmove(buf, tmp, newsize); 484 fdt_set_magic(buf, FDT_MAGIC); 485 fdt_set_totalsize(buf, bufsiz [all...] |
/seL4-refos-master/libs/libmuslc/src/passwd/ |
H A D | getgrouplist.c | 22 char *buf = 0; local 50 while (!(rv = __getgrent_a(f, &gr, &buf, &size, &mem, &nmem, &res)) && res) { 77 free(buf);
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | vfprintf.c | 212 char buf[9+LDBL_MANT_DIG/4], *s; local 267 s=buf; 272 if (s-buf==1 && (y||p>0||(fl&ALT_FORM))) *s++='.'; 277 if (p && s-buf-2 < p) 280 l = (s-buf) + (ebuf-estr); 285 out(f, buf, s-buf); 286 pad(f, '0', l-(ebuf-estr)-(s-buf), 0, 0); 412 char *s = fmt_u(*d, buf+9); 413 if (d!=a) while (s>buf) * 465 char buf[sizeof(uintmax_t)*3+3+LDBL_MANT_DIG/4]; local [all...] |
H A D | ungetwc.c | 21 f->rpos < f->buf - UNGET + l) {
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | helpers.h | 31 vka_t *vka, void *buf, size_t len, uintptr_t *stack_top);
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
H A D | ega_vterm.c | 21 vterm_buffer_puts_internal(vterm_state_t *s, int r, int c, uint32_t *buf, int len) argument 35 if (buf[n] & ~0xFF) { 37 buf[n] = (char) 127; 39 char ch = (char) buf[n++];
|
H A D | device_screen.c | 113 device_screen_write(struct device_screen_state* s, char* buf, int len) argument 119 vterm_write(s->vterm, buf, len);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | helpers.h | 31 vka_t *vka, void *buf, size_t len, uintptr_t *stack_top);
|
/seL4-refos-master/apps/console_server/src/ |
H A D | ega_vterm.c | 21 vterm_buffer_puts_internal(vterm_state_t *s, int r, int c, uint32_t *buf, int len) argument 35 if (buf[n] & ~0xFF) { 37 buf[n] = (char) 127; 39 char ch = (char) buf[n++];
|
H A D | device_screen.c | 113 device_screen_write(struct device_screen_state* s, char* buf, int len) argument 119 vterm_write(s->vterm, buf, len);
|
/seL4-refos-master/libs/libmuslc/src/stdlib/ |
H A D | strtod.c | 10 .buf = (void *)s, .rpos = (void *)s,
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | dlb.h | 89 int rsrc_dlb_fread(char *buf, int size, int quan, dlb *dp); 91 char *rsrc_dlb_fgets(char *buf, int len, dlb *dp);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | dlb.h | 89 int rsrc_dlb_fread(char *buf, int size, int quan, dlb *dp); 91 char *rsrc_dlb_fgets(char *buf, int len, dlb *dp);
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | wcsftime.c | 12 char buf[100]; local 38 t_mb = __strftime_fmt_1(&buf, &k, *f, tm, loc);
|
/seL4-refos-master/kernel/src/machine/ |
H A D | io.c | 24 typedef void (*out_fn)(char character, char *buf, word_t idx); 28 * a out_fn handle and a buf to work on 32 char *buf; member in struct:__anon1 38 * putchar would then just call the handle with its buf 44 out->putchar(c, out->buf, out->idx); 252 // the buf length under all code paths 280 char buf[sizeof(word_t) * 3 + 3 + LDBL_MANT_DIG / 4]; local 402 z = buf + sizeof(buf); 547 // sprintf fills its buf wit 548 buf_out_fn(char c, char *buf, word_t idx) argument 554 kernel_out_fn(char c, char *buf, word_t idx) argument [all...] |
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
H A D | test_memserv.c | 229 int ram_dspace_read_page(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset); 230 int ram_dspace_write_page(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset); 245 int (*dsRead)(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset) = NULL; 246 int (*dsWrite)(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset) = NULL; 411 char *buf = kmalloc(REFOS_PAGE_SIZE * 3); local 413 test_assert(ds && buf && outbuf); 421 buf[i] = 'a' + (i / REFOS_PAGE_SIZE); 436 rb_write(rb, buf + REFOS_PAGE_SIZE, REFOS_PAGE_SIZE); 449 test_assert(buf[i] != outbuf[i]); 452 test_assert(buf[ [all...] |
/seL4-refos-master/apps/process_server/src/test/ |
H A D | test_memserv.c | 229 int ram_dspace_read_page(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset); 230 int ram_dspace_write_page(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset); 245 int (*dsRead)(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset) = NULL; 246 int (*dsWrite)(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset) = NULL; 411 char *buf = kmalloc(REFOS_PAGE_SIZE * 3); local 413 test_assert(ds && buf && outbuf); 421 buf[i] = 'a' + (i / REFOS_PAGE_SIZE); 436 rb_write(rb, buf + REFOS_PAGE_SIZE, REFOS_PAGE_SIZE); 449 test_assert(buf[i] != outbuf[i]); 452 test_assert(buf[ [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | read.c | 77 char buf[BUFSZ]; local 87 Strcpy(buf, shirt_msgs[scroll->o_id % SIZE(shirt_msgs)]); 90 wipeout_text(buf, 91 (int)(strlen(buf) * erosion / (2*MAX_ERODE)), 93 pline("\"%s\"", buf); 1431 char buf[BUFSZ]; local 1441 buf); 1442 (void)mungspaces(buf); 1443 } while (buf[0]=='\033' || !buf[ 1591 char buf[BUFSZ]; local 1809 char buf[BUFSZ], *bufp, monclass = MAXMCLASSES; local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | read.c | 77 char buf[BUFSZ]; local 87 Strcpy(buf, shirt_msgs[scroll->o_id % SIZE(shirt_msgs)]); 90 wipeout_text(buf, 91 (int)(strlen(buf) * erosion / (2*MAX_ERODE)), 93 pline("\"%s\"", buf); 1431 char buf[BUFSZ]; local 1441 buf); 1442 (void)mungspaces(buf); 1443 } while (buf[0]=='\033' || !buf[ 1591 char buf[BUFSZ]; local 1809 char buf[BUFSZ], *bufp, monclass = MAXMCLASSES; local [all...] |
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | i2c.c | 30 /* Copy from data into buf while fixing endianess */ 32 _fill_data(char* buf, const char* data, enum kvfmt fmt, int count) argument 39 buf[idx] = data[i]; 42 buf += bytes; 46 /* Copy reg into buf with required endianess */ 48 _fill_reg(char* buf, uint64_t reg, enum kvfmt fmt) argument 54 buf[idx] = reg & 0xff;
|