/seL4-test-master/projects/musllibc/src/unistd/ |
H A D | write.c | 5 ssize_t write(int fd, const void *buf, size_t count) function
|
/seL4-test-master/tools/seL4/misc/ |
H A D | whence.py | 60 sys.stderr.write('Cloning %s into a temporary directory...\n' % opts.upstream) 66 sys.stderr.write('Cloning %s into a temporary directory...\n' % opts.downstream) 73 sys.stderr.write('Updating downstream to %s...\n' % opts.downstream_commit) 79 sys.stderr.write('Retrieving candidate commit list...\n') 84 sys.stderr.write('%d commits to consider\n' % len(commits)) 92 sys.stderr.write('Considering %s (%d of %d)...\n' % (commit, index, len(commits))) 103 sys.stderr.write('This commit has a difference metric of %d\n' % diff) 109 sys.stderr.write('The most likely commit is %s\n' % min_commit)
|
/seL4-test-master/projects/musllibc/src/stdio/ |
H A D | __overflow.c | 8 if (f->write(f, &c, 1)!=1) return EOF;
|
H A D | __stdout_write.c | 7 f->write = __stdio_write;
|
H A D | stderr.c | 10 .write = __stdio_write,
|
H A D | stdout.c | 10 .write = __stdout_write,
|
H A D | vdprintf.c | 11 .fd = fd, .lbf = EOF, .write = wrap_write,
|
H A D | __stdio_exit.c | 12 if (f->wpos > f->wbase) f->write(f, 0, 0);
|
H A D | __toread.c | 6 if (f->wpos > f->wbase) f->write(f, 0, 0);
|
H A D | freopen.c | 37 f->write = f2->write;
|
H A D | fwrite.c | 10 if (l > f->wend - f->wpos) return f->write(f, s, l); 16 size_t n = f->write(f, s, i);
|
H A D | fflush.c | 23 f->write(f, 0, 0); 33 /* Clear read and write modes */
|
H A D | fseek.c | 8 /* Flush write buffer, and report error on failure. */ 10 f->write(f, 0, 0);
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | serial.c | 37 .write = &debug_write 52 temp_device.write = &debug_write;
|
/seL4-test-master/tools/seL4/cmake-tool/helpers/ |
H A D | shoehorn.py | 34 def write(message: str): function 38 sys.stderr.write('{}: {}\n'.format(program_name, message)) 46 write('debug: {}'.format(message)) 57 write('fatal error: {}'.format(message)) 65 write('notice: {}'.format(message)) 72 write('warning: {}'.format(message)) 222 sys.stdout.write('#define IMAGE_START_ADDR 0x{load:x}\n'
|
/seL4-test-master/kernel/manual/tools/ |
H A D | gen_invocations.py | 82 output_file.write("/**\n * @defgroup %s %s\n * @{\n */\n\n" % (group_id, group_name)) 83 output_file.write("/** @} */\n") 93 output_file.write("/**\n * @defgroup %s %s\n * @{\n */\n\n" % (api.name, api.name)) 96 output_file.write(prototype) 97 output_file.write("\n\n") 99 output_file.write("/** @} */\n") 111 help="Output file to write stub to. (default: %(default)s).")
|
H A D | gen_env.py | 47 f.write(new_data)
|
/seL4-test-master/projects/musllibc/src/linux/ |
H A D | eventfd.c | 22 return (sizeof(value) == write(fd, &value, sizeof(value))) ? 0 : -1;
|
/seL4-test-master/tools/nanopb/generator/proto/ |
H A D | __init__.py | 18 sys.stderr.write("Failed to build nanopb_pb2.py: " + ' '.join(cmd) + "\n")
|
/seL4-test-master/kernel/tools/hardware/outputs/ |
H A D | compat_strings.py | 24 args.compat_strings_out.write(';'.join(sorted(compatibles)) + ';\n')
|
/seL4-test-master/projects/sel4_projects_libs/libsel4bga/src/arch-x86/ |
H A D | bga.c | 21 void (*write)(uint16_t port, uint16_t value); member in struct:bga 30 * port to indicate what register you are trying to read/write and then the 31 * data port to read or write the actual register. 38 device->write(INDEX, index); 39 device->write(DATA, data); 44 device->write(INDEX, index); 48 /* After writing INDEX_ENABLED to the index port, you can write either 0x0000 87 device->write = ioport_write; 104 /* Relevant indicies to write to. */ 161 /* Determine where we need to write an [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 54 ssize_t (*write)(ps_chardevice_t* device, const void* data, size_t bytes, chardev_callback_t cb, void* token); member in struct:ps_chardevice 112 ret = d->write(d, &data, 1, NULL, NULL); 155 * @param[in] d The device to write data to 157 * @param[in] size The number of bytes to write 167 * write data to any internal fifos to meet the the request 174 return d->write(d, data, size, callback, token);
|
/seL4-test-master/projects/musllibc/src/thread/ |
H A D | pthread_setname_np.c | 22 if ((fd = open(f, O_WRONLY)) < 0 || write(fd, name, len) < 0) status = errno;
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | miiphy.h | 46 int (*write)(const char *devname, unsigned char addr, member in struct:legacy_mii_dev 69 int (*write)(const char *devname, unsigned char addr,
|
H A D | miiphyutil.c | 23 * along with this program; if not, write to the Free Software 107 return ldev->write(bus->name, addr, reg, val); 112 * Register read and write MII access routines for the device <name>. 118 int (*write)(const char *devname, unsigned char addr, 145 new_dev->write = legacy_miiphy_write; 149 ldev->write = write; 152 debug("miiphy_register: added '%s', read=0x%08lx, write=0x%08lx\n", 153 new_dev->name, ldev->read, ldev->write); 180 if (!bus || !bus->name || !bus->read || !bus->write) [all...] |