| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | i2c_bitbang.c | 162 char data = 0; local
205 char* data = (char*)vdata; local
238 const char* data = (const char*)vdata; local
|
| H A D | i2c.c | 32 _fill_data(char* buf, const char* data, enum kvfmt fmt, int count) argument
61 _do_kvread(i2c_kvslave_t* kvs, uint64_t reg, void* data, int count) argument
100 _do_kvwrite(i2c_kvslave_t* kvs, uint64_t reg, const void* data, int count) argument
216 char* data = (char*)vdata; local
246 char* data = (char*)vdata; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | i2c.c | 32 _fill_data(char* buf, const char* data, enum kvfmt fmt, int count) argument
61 _do_kvread(i2c_kvslave_t* kvs, uint64_t reg, void* data, int count) argument
100 _do_kvwrite(i2c_kvslave_t* kvs, uint64_t reg, const void* data, int count) argument
216 char* data = (char*)vdata; local
246 char* data = (char*)vdata; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
| H A D | asf.h | 73 uint8_t data; member in struct:acpi_asf_ctl_array
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
| H A D | asf.h | 73 uint8_t data; member in struct:acpi_asf_ctl_array
|
| /seL4-refos-master/libs/libplatsupport/plat_include/apq8064/platsupport/plat/ |
| H A D | timer.h | 137 void *data; member in struct:__anon509
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/apq8064/platsupport/plat/ |
| H A D | timer.h | 137 void *data; member in struct:__anon940
|
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| H A D | time_manager.h | 115 void *data; member in struct:time_manager
[all...] |
| H A D | chardev.h | 45 void* data; member in struct:chardev_xmit_descriptor
111 char data = c; local
124 char data; local
147 ps_cdev_read(ps_chardevice_t* d, void* data, size_t size, chardev_callback_t callback, void* token) argument
171 ps_cdev_write(ps_chardevice_t* d, void* data, size_t size, chardev_callback_t callback, void* token) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | time_manager.h | 115 void *data; member in struct:time_manager
[all...] |
| H A D | chardev.h | 45 void* data; member in struct:chardev_xmit_descriptor
111 char data = c; local
124 char data; local
147 ps_cdev_read(ps_chardevice_t* d, void* data, size_t size, chardev_callback_t callback, void* token) argument
171 ps_cdev_write(ps_chardevice_t* d, void* data, size_t size, chardev_callback_t callback, void* token) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libfdt/ |
| H A D | fdt.h | 90 char data[0]; member in struct:fdt_property
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
| H A D | net.h | 458 u8 data[0]; member in union:icmp_hdr::__anon881
|
| H A D | marvell.c | 280 m88e1518_phy_writebits(struct phy_device *phydev, u8 reg_num, u16 offset, u16 len, u16 data) argument
|
| H A D | ethtool.h | 94 uint32_t data; member in struct:ethtool_value
102 uint8_t data[0]; member in struct:ethtool_regs
111 uint8_t data[0]; member in struct:ethtool_eeprom
265 uint8_t data[0]; member in struct:ethtool_gstrings
273 uint32_t data[0]; /* ETH_SS_xxx count, in order, based on bits member in struct:ethtool_sset_info
290 uint64_t data[ member in struct:ethtool_test
297 uint64_t data[0]; member in struct:ethtool_stats
303 uint8_t data[0]; member in struct:ethtool_perm_addr
406 char data[ETHTOOL_FLASH_MAX_FILENAME]; member in struct:ethtool_flash
[all...] |
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
| H A D | imx-regs.h | 382 uint32_t data; member in struct:iim_regs
|
| H A D | ethtool.h | 93 uint32_t data; member in struct:ethtool_value
101 uint8_t data[0]; member in struct:ethtool_regs
110 uint8_t data[0]; member in struct:ethtool_eeprom
264 uint8_t data[0]; member in struct:ethtool_gstrings
272 uint32_t data[0]; /* ETH_SS_xxx count, in order, based on bits member in struct:ethtool_sset_info
289 uint64_t data[ member in struct:ethtool_test
296 uint64_t data[0]; member in struct:ethtool_stats
302 uint8_t data[0]; member in struct:ethtool_perm_addr
404 char data[ETHTOOL_FLASH_MAX_FILENAME]; member in struct:ethtool_flash
[all...] |
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
| H A D | phy.c | 76 unsigned short data; local
141 unsigned short data; local
168 unsigned short data; local
210 volatile unsigned short data; local
262 volatile unsigned short data; local
353 unsigned short data; local
[all...] |
| /seL4-refos-master/libs/libcpio/src/ |
| H A D | cpio.c | 22 void *data; member in struct:cpio_header_info
114 void *data; local
[all...] |
| /seL4-refos-master/projects/util_libs/libcpio/src/ |
| H A D | cpio.c | 22 void *data; member in struct:cpio_header_info
114 void *data; local
[all...] |
| /seL4-refos-master/libs/libsel4vka/src/ |
| H A D | null-vka.c | 21 static int cspace_alloc(void *data, seL4_CPtr *res) argument
26 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument
30 static void cspace_free(void *data, seL4_CPtr slot) argument
34 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, argument
40 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, argument
46 static int utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, argument
52 static void utspace_free(void *data, seL4_Word type, seL4_Word size_bits, argument
57 static uintptr_t utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
|
| H A D | debug-vka.c | 114 static int cspace_alloc(void *data, seL4_CPtr *res) argument
142 static void cspace_free(void *data, seL4_CPtr slot) argument
162 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument
207 utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
228 utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument
243 utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument
288 utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
| H A D | null-vka.c | 21 static int cspace_alloc(void *data, seL4_CPtr *res) argument
26 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument
30 static void cspace_free(void *data, seL4_CPtr slot) argument
34 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, argument
40 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, argument
46 static int utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, argument
52 static void utspace_free(void *data, seL4_Word type, seL4_Word size_bits, argument
57 static uintptr_t utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
|
| H A D | debug-vka.c | 114 static int cspace_alloc(void *data, seL4_CPtr *res) argument
142 static void cspace_free(void *data, seL4_CPtr slot) argument
162 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument
207 utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
228 utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument
243 utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument
288 utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
[all...] |
| /seL4-refos-master/libs/libsel4utils/src/time_server/ |
| H A D | client.c | 25 static int client_get_time(void *data, uint64_t *time) argument
35 static int client_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
|