/seL4-test-master/projects/musllibc/src/unistd/ |
H A D | read.c | 5 ssize_t read(int fd, void *buf, size_t count) function
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | ept.c | 64 int read = EPT_VIOL_READ(qualification); local
|
/seL4-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 346 long read; local
|
/seL4-test-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-test-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-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | serial.c | 292 int read; local
|
/seL4-test-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...] |