/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
H A D | vma.h | 33 bool read; member in struct:camkes_vma
|
/seL4-camkes-master/projects/global-components/components/FileServer/libFileServer-client/ |
H A D | fsclient.c | 78 long read = ext_read(fd, iov[i].iov_len - iov_offset); local
|
/seL4-camkes-master/projects/musllibc/src/internal/ |
H A D | stdio_impl.h | 29 size_t (*read)(FILE *, unsigned char *, size_t); member in struct:_IO_FILE
|
/seL4-camkes-master/projects/musllibc/src/unistd/ |
H A D | read.c | 5 ssize_t read(int fd, void *buf, size_t count) function
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_sock.tex | [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dev_mock.h | 15 int read; member in struct:mock_frame
|
H A D | pico_dev_tap_windows.c | 85 HANDLE read; member in struct:rw_handle
|
H A D | pico_sntp_client.c | 158 int read = 0; local
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-master/tools/cogent/impl/fs/ext2/cogent/lib/ |
H A D | abstract.h | 84 int read; // Option (VfsIReadArgs -> VfsIReadResult), member in struct:cogent_file_operations
|
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 67 uint8_t read = is_leaf ? 1 : 0; local 652 word_t read = RISCVGetReadFromVMRights(vm_rights); local [all...] |
/seL4-camkes-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-camkes-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-camkes-master/projects/camkes/apps/rumprun_ethernet/components/rump_ether/ |
H A D | tcp_server.c | 100 int read = recv(client_fd, buf, REVERSE_STRING_BUFSIZE, 0); local
|
/seL4-camkes-master/projects/lwip/src/apps/http/ |
H A D | fs.c | 118 int read; local
|
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | tftp_server.h | 76 int (*read)(void* handle, void* buf, int bytes); member in struct:tftp_context
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | sockets.h | 664 #define read(s,mem,len) lwip_read(s,mem,len) macro
|
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 346 long read; local
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4bga/src/arch-x86/ |
H A D | bga.c | 20 uint16_t (*read)(uint16_t port); member in struct:bga
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | ept.c | 64 int read = EPT_VIOL_READ(qualification); local
|
/seL4-camkes-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
|