| /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/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | ept.c | 65 int write = EPT_VIOL_WRITE(qualification); local
|
| /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
|
| H A D | phy.h | 104 int (*write)(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 | 48 int (*write)(const char *devname, unsigned char addr, member in struct:legacy_mii_dev
|
| H A D | phy.h | 106 int (*write)(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 | 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
|
| /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
[all...] |
| /seL4-test-master/projects/musllibc/src/internal/ |
| H A D | stdio_impl.h | 30 size_t (*write)(FILE *, const unsigned char *, size_t); member in struct:_IO_FILE
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | i2c.c | 152 static int omap4_i2c_do_xfer(i2c_slave_t *slave, void *data, size_t size, bool write, argument
|
| /seL4-test-master/kernel/src/arch/x86/object/ |
| H A D | iospace.c | 381 bool_t write = seL4_CapRights_get_capAllowWrite(dma_cap_rights_mask) && (frame_cap_rights == VMReadWrite); local
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
| H A D | miiphy.h | 142 int (*write)(struct udevice *mdio_dev, int addr, int devad, int reg, member in struct:mdio_ops
|
| H A D | phy.h | 109 int (*write)(struct mii_dev *bus, int addr, int devad, int reg, member in struct:mii_dev
|
| /seL4-test-master/tools/seL4/cmake-tool/helpers/ |
| H A D | shoehorn.py | 34 def write(message: str): function
|
| /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
259 uint32_t UNUSED write = (err_status & MC_ERR_INVALID_SMMU_PAGE_WRITE_MASK); local
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
| H A D | vcpu.h | 637 static inline void access_fpexc(vcpu_t *vcpu, bool_t write) argument
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
| H A D | vcpu.h | 637 static inline void access_fpexc(vcpu_t *vcpu, bool_t write) argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | i2c.h | 208 int (*write)(i2c_bus_t *bus, const void *buf, size_t size, bool end_with_repeat_start, member in struct:i2c_bus
[all...] |
| /seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | vcpu.h | 637 static inline void access_fpexc(vcpu_t *vcpu, bool_t write) argument
|
| /seL4-test-master/kernel/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 2641 def write(self, *args, **kwargs): member in class:OutputFile
|
| /seL4-test-master/kernel/libsel4/tools/ |
| H A D | bitfield_gen.py | 2641 def write(self, *args, **kwargs): member in class:OutputFile
|
| /seL4-test-master/kernel/tools/ |
| H A D | bitfield_gen.py | 2641 def write(self, *args, **kwargs): member in class:OutputFile
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 68 uint8_t write = read; local
651 word_t write = RISCVGetWriteFromVMRights(vm_rights); local
[all...] |