/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_console_emul.c | 144 bool console_device_emul_io_out(struct virtio_emul *emul, unsigned int offset, unsigned int size, unsigned int value) argument
|
H A D | virtio_con.c | 36 static int virtio_con_io_out(void *cookie, unsigned int port_no, unsigned int size, unsigned int value) argument
|
H A D | pci_helper.c | 39 int vmm_pci_mem_device_write(void *cookie, int offset, int size, uint32_t value) argument 63 int vmm_pci_entry_ignore_write(void *cookie, int offset, int size, uint32_t value) argument 189 static int pci_irq_emul_write(void *cookie, int offset, int size, uint32_t value) argument 219 static int pci_bar_emul_write(void *cookie, int offset, int size, uint32_t value) argument 239 pci_bar_passthrough_emul_write(void *cookie, int offset, int size, uint32_t value) argument 353 pci_cap_emul_write(void *cookie, int offset, int size, uint32_t value) argument 395 uint32_t value; local [all...] |
H A D | virtio_net_emul.c | 247 bool net_device_emul_io_out(struct virtio_emul *emul, unsigned int offset, unsigned int size, unsigned int value) argument
|
H A D | virtio_net.c | 36 static int virtio_net_io_out(void *cookie, unsigned int port_no, unsigned int size, unsigned int value) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | ioports.c | 53 unsigned int value; local
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | miiphyutil.c | 115 miiphy_register(const char *name, int (*read)(const char *devname, unsigned char addr, unsigned char reg, unsigned short *value), int (*write)(const char *devname, unsigned char addr, unsigned char reg, unsigned short value)) argument 298 miiphy_read(const char *devname, unsigned char addr, unsigned char reg, unsigned short *value) argument 326 miiphy_write(const char *devname, unsigned char addr, unsigned char reg, unsigned short value) argument
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | miiphyutil.c | 115 miiphy_register(const char *name, int (*read)(const char *devname, unsigned char addr, unsigned char reg, unsigned short *value), int (*write)(const char *devname, unsigned char addr, unsigned char reg, unsigned short value)) argument 298 miiphy_read(const char *devname, unsigned char addr, unsigned char reg, unsigned short *value) argument 326 miiphy_write(const char *devname, unsigned char addr, unsigned char reg, unsigned short value) argument
|
/seL4-test-master/tools/nanopb/tests/alltypes_proto3_callback/ |
H A D | decode_alltypes_callback.c | 20 uint64_t value; local 30 int64_t value; local 40 uint32_t value; local 50 uint64_t value; local 93 uint64_t value; local 104 int64_t value; local 115 uint32_t value; local 126 uint64_t value; local [all...] |
/seL4-test-master/tools/nanopb/tests/fuzztest/ |
H A D | fuzztest.c | 97 uint64_t value; local 103 uint64_t value; local 109 uint32_t value; local [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | mux.h | 76 uint8_t value; member in struct:mux_feature_data
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | vcpu.c | 78 static void writeVCPUReg(vcpu_t *vcpu, word_t field, word_t value) argument 299 exception_t invokeVCPUWriteReg(vcpu_t *vcpu, word_t field, word_t value) argument 308 word_t value; local 330 word_t value = readVCPUReg(vcpu, field); local [all...] |
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | miiphyutil.c | 254 miiphy_read(const char *devname, unsigned char addr, unsigned char reg, unsigned short *value) argument 284 miiphy_write(const char *devname, unsigned char addr, unsigned char reg, unsigned short value) argument
|
/seL4-test-master/projects/util_libs/libfdt/ |
H A D | fdtget.c | 95 int value; local 233 const void *value = NULL; local
|
H A D | fdt_overlay.c | 475 const char *value; local
|
/seL4-test-master/kernel/include/arch/riscv/arch/ |
H A D | machine.h | 118 static inline void write_satp(word_t value) argument 123 static inline void write_stvec(word_t value) argument 185 static inline void write_fcsr(uint32_t value) argument
|
/seL4-test-master/kernel/include/drivers/irq/ |
H A D | riscv_plic0.h | 57 static inline void write_sie(word_t value) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | ioports.c | 64 static void set_io_in_value(vm_vcpu_t *vcpu, unsigned int value, unsigned int size) argument 132 unsigned int value; local [all...] |
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | edma.c | 758 void EDMA3ClrIntr(unsigned int baseAdd, unsigned int value) argument [all...] |
/seL4-test-master/projects/musllibc/src/crypt/ |
H A D | crypt_des.c | 906 uint32_t value = ascii_to_bin(setting[i]); local 915 uint32_t value = ascii_to_bin(setting[i]); local
|
/seL4-test-master/tools/nanopb/ |
H A D | pb_encode.c | 560 bool checkreturn pb_encode_varint(pb_ostream_t *stream, pb_uint64_t value) argument 578 pb_encode_svarint(pb_ostream_t *stream, pb_int64_t value) argument 589 pb_encode_fixed32(pb_ostream_t *stream, const void *value) argument 601 pb_encode_fixed64(pb_ostream_t *stream, const void *value) argument 721 pb_uint64_t value = 0; local 739 pb_int64_t value = 0; local [all...] |
/seL4-test-master/tools/nanopb/tests/alltypes_callback/ |
H A D | decode_alltypes_callback.c | 20 uint64_t value; local 30 int64_t value; local 40 uint32_t value; local 50 uint64_t value; local 94 uint64_t value; local 105 int64_t value; local 116 uint32_t value; local 127 uint64_t value; local [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | gpt.c | 233 uint64_t value = ((uint64_t) high_bits << 32llu) + low_bits; local
|
/seL4-test-master/kernel/include/arch/arm/arch/object/ |
H A D | vcpu.h | 178 static inline void vcpu_write_reg(vcpu_t *vcpu, word_t reg, word_t value) argument
|
/seL4-test-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 312 word_t value; member in struct:readWordFromVSpace_ret 323 word_t *value; local
|