/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/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | system.h | 103 # define read _read macro
|
H A D | macconf.h | 91 # define read macread macro
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | system.h | 103 # define read _read macro
|
H A D | macconf.h | 91 # define read macread macro
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | fault_handler.c | 46 bool read; member in struct:procserv_vmfault_msg [all...] |
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | fault_handler.c | 46 bool read; member in struct:procserv_vmfault_msg [all...] |
/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
|
/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
|
H A D | phy.h | 103 int (*read)(struct mii_dev *bus, int addr, int devad, int reg); member in struct:mii_dev
|
/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
|
H A D | phy.h | 105 int (*read)(struct mii_dev *bus, int addr, int devad, int reg); member in struct:mii_dev
|
/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
|
/seL4-refos-master/libs/librefossys/src/refos-io/ |
H A D | filetable.c | 262 filetable_internal_read_write(fd_table_t *fdt, int fd, char *buffer, int bufferLen, bool read) argument
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
H A D | filetable.c | 262 filetable_internal_read_write(fd_table_t *fdt, int fd, char *buffer, int bufferLen, bool read) argument
|
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | stdio_impl.h | 29 size_t (*read)(FILE *, unsigned char *, size_t); member in struct:_IO_FILE
|
/seL4-refos-master/kernel/src/arch/x86/object/ |
H A D | iospace.c | 382 bool_t read = seL4_CapRights_get_capAllowRead(dma_cap_rights_mask) && (frame_cap_rights != VMKernelOnly); local
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | miiphy.h | 141 int (*read)(struct udevice *mdio_dev, int addr, int devad, int reg); member in struct:mdio_ops
|
H A D | phy.h | 108 int (*read)(struct mii_dev *bus, int addr, int devad, int reg); member in struct:mii_dev
|
/seL4-refos-master/libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 346 long read; local
|
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 346 long read; local
|
/seL4-refos-master/kernel/src/plat/tk1/machine/ |
H A D | smmu.c | 119 static uint32_t make_ptb_data(uint32_t pd_base, bool_t read, bool_t write, bool_t nonsecure) argument 258 uint32_t UNUSED read = (err_status & MC_ERR_INVALID_SMMU_PAGE_READ_MASK); local
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | i2c.h | 206 int (*read)(i2c_bus_t *bus, void *buf, size_t size, bool end_with_repeat_start, member in struct:i2c_bus [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | i2c.h | 206 int (*read)(i2c_bus_t *bus, void *buf, size_t size, bool end_with_repeat_start, member in struct:i2c_bus [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | serial.c | 292 int read; local
|