/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | __uflow.c | 9 if (!__toread(f) && f->read(f, &c, 1)==1) return c;
|
H A D | stdin.c | 9 .read = __stdio_read,
|
H A D | vsscanf.c | 13 .read = do_read, .lock = -1
|
H A D | __fopen_rb_ca.c | 16 f->read = __stdio_read;
|
H A D | freopen.c | 36 f->read = f2->read;
|
H A D | vswscanf.c | 34 .read = wstring_read, .lock = -1
|
H A D | __fdopen.c | 49 f->read = __stdio_read;
|
H A D | fread.c | 27 k = __toread(f) ? 0 : f->read(f, dest, l);
|
/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | read.c | 5 ssize_t read(int fd, void *buf, size_t count) function
|
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | eventfd.c | 17 return (sizeof(*value) == read(fd, value, sizeof(*value))) ? 0 : -1;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | wait_bit.h | 29 * @param reg Register that will be read (using read_x()) 37 #define BUILD_WAIT_FOR_BIT(sfx, type, read) \
|
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token); member in struct:ps_chardevice 125 ret = d->read(d, &data, 1, NULL, NULL); 131 * @param[in] d The device to read data from 132 * @param[out] data The location to store the read data to 133 * @param[in] size The number of bytes to read 135 * bytes have been read. The caller must periodically call 139 * @return Returns the number of bytes read on succes, negative 143 * read data from any internal fifos to meet the the request 150 return d->read(d, data, size, callback, token);
|
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token); member in struct:ps_chardevice 125 ret = d->read(d, &data, 1, NULL, NULL); 131 * @param[in] d The device to read data from 132 * @param[out] data The location to store the read data to 133 * @param[in] size The number of bytes to read 135 * bytes have been read. The caller must periodically call 139 * @return Returns the number of bytes read on succes, negative 143 * read data from any internal fifos to meet the the request 150 return d->read(d, data, size, callback, token);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | macconf.h | 91 # define read macread macro
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | macconf.h | 91 # define read macread macro
|
/seL4-refos-master/libs/libmuslc/src/legacy/ |
H A D | getpass.c | 28 l = read(fd, password, sizeof password);
|
/seL4-refos-master/kernel/manual/tools/ |
H A D | gen_env.py | 31 # Output in a format that LaTeX can read. 42 old_data = f.read()
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | miiphy.h | 44 int (*read)(const char *devname, unsigned char addr, member in struct:legacy_mii_dev 67 int (*read)(const char *devname, unsigned char addr,
|
H A D | miiphyutil.c | 97 ret = ldev->read(bus->name, addr, reg, &val); 112 * Register read and write MII access routines for the device <name>. 116 int (*read)(const char *devname, unsigned char addr, 144 new_dev->read = legacy_miiphy_read; 148 ldev->read = read; 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) 308 ret = bus->read(bu [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | miiphy.h | 46 int (*read)(const char *devname, unsigned char addr, member in struct:legacy_mii_dev 69 int (*read)(const char *devname, unsigned char addr,
|
H A D | miiphyutil.c | 97 ret = ldev->read(bus->name, addr, reg, &val); 112 * Register read and write MII access routines for the device <name>. 116 int (*read)(const char *devname, unsigned char addr, 144 new_dev->read = legacy_miiphy_read; 148 ldev->read = read; 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) 308 ret = bus->read(bu [all...] |
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | fault_handler.c | 45 /*! True if this fault is a read fault, false if it is a write fault. */ 46 bool read; member in struct:procserv_vmfault_msg 59 f->instruction ? "Instruction" : "Data", f->read ? "read" : "write", 196 output_segmentation_fault("Out of memory to allocate page or read off end of dspace.", f); 275 f->instruction ? "Instruction" : "Data", f->read ? "read" : "write", 301 if (f->read && !(window->permissions | W_PERMISSION_READ)) { 302 output_segmentation_fault("no read access permission to window.", f); 305 if (!f->read [all...] |
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | fault_handler.c | 45 /*! True if this fault is a read fault, false if it is a write fault. */ 46 bool read; member in struct:procserv_vmfault_msg 59 f->instruction ? "Instruction" : "Data", f->read ? "read" : "write", 196 output_segmentation_fault("Out of memory to allocate page or read off end of dspace.", f); 275 f->instruction ? "Instruction" : "Data", f->read ? "read" : "write", 301 if (f->read && !(window->permissions | W_PERMISSION_READ)) { 302 output_segmentation_fault("no read access permission to window.", f); 305 if (!f->read [all...] |
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | forkpty.c | 41 if (read(p[0], &ec, sizeof ec) > 0) {
|
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
H A D | serial.c | 71 dev->read = &uart_read;
|