| /seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
| H A D | ltimer.c | 32 static int get_time(void *data, uint64_t *time) argument
42 static int get_resolution(void *data, uint64_t *resolution) argument
48 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
66 static int reset(void *data) argument
77 destroy(void *data) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | ltimer.c | 32 static int get_time(void *data, uint64_t *time) argument
42 static int get_resolution(void *data, uint64_t *resolution) argument
48 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
66 static int reset(void *data) argument
77 destroy(void *data) argument
[all...] |
| H A D | timer.c | 134 void dmt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-refos-master/libs/libplatsupport/src/mach/omap/ |
| H A D | gpt.c | 180 static void gpt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| H A D | ltimer.c | 29 static int get_time(void *data, uint64_t *time) argument
39 static int get_resolution(void *data, uint64_t *resolution) argument
44 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
70 static int reset(void *data) argument
84 destroy(void *data) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/ |
| H A D | gpt.c | 180 static void gpt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| H A D | ltimer.c | 29 static int get_time(void *data, uint64_t *time) argument
39 static int get_resolution(void *data, uint64_t *resolution) argument
44 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
70 static int reset(void *data) argument
84 destroy(void *data) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
| H A D | pwm.c | 195 static void pwm_handle_irq0(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
205 static void pwm_handle_irq4(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| H A D | ltimer.c | 30 static int get_time(void *data, uint64_t *time) argument
40 static int get_resolution(void *data, uint64_t *resolution) argument
45 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
67 static int reset(void *data) argument
75 destroy(void *data) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | pwm.c | 195 static void pwm_handle_irq0(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
205 static void pwm_handle_irq4(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| H A D | ltimer.c | 30 static int get_time(void *data, uint64_t *time) argument
40 static int get_resolution(void *data, uint64_t *resolution) argument
45 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
67 static int reset(void *data) argument
75 destroy(void *data) argument
[all...] |
| /seL4-refos-master/kernel/src/arch/riscv/object/ |
| H A D | objecttype.c | 53 cap_t CONST Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/ |
| H A D | serial.c | 25 const unsigned char *data = (const unsigned char *)vdata; local
41 char *data = (char *)vdata; local
|
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | serial.c | 25 const unsigned char *data = (const unsigned char *)vdata; local
41 char *data = (char *)vdata; local
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
| H A D | imx6.c | 309 static void eth_irq_handle(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | reset.h | 23 void *data; member in struct:reset_sys
|
| /seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | reset.h | 23 void *data; member in struct:reset_sys
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
| H A D | net.h | 466 u8 data[0]; member in union:icmp_hdr::__anon1
|
| 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
405 char data[ETHTOOL_FLASH_MAX_FILENAME]; member in struct:ethtool_flash
[all...] |
| /seL4-refos-master/seL4_tools/misc/ |
| H A D | cpio-strip.c | 43 static void *get_header(void *data, const char *filename) argument
106 void *data = cpio_get_entry(p, i, &filename, &size); local
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tx2/ |
| H A D | platform_init.c | 34 uint64_t data; member in union:__anon199
62 static void tegra_mce_write_uncore_mca(mca_cmd_t cmd, uint64_t data, uint32_t *err) argument
|
| /seL4-refos-master/tools/elfloader/src/plat/tx2/ |
| H A D | platform_init.c | 34 uint64_t data; member in union:__anon215
62 static void tegra_mce_write_uncore_mca(mca_cmd_t cmd, uint64_t data, uint32_t *err) argument
|
| /seL4-refos-master/kernel/src/arch/x86/object/ |
| H A D | objecttype.c | 141 cap_t CONST Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
|
| H A D | ioport.c | 216 static exception_t invokeX86PortOut(word_t invLabel, uint16_t port, uint32_t data) argument
285 uint32_t data; local
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | generic_ltimer.c | 36 static size_t get_num_irqs(void *data) argument
41 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument
52 static size_t get_num_pmems(void *data) argument
57 static int get_nth_pmem(void *data, size_t n, pmem_region_t *region) argument
62 static int get_time(void *data, uint64_t *time) argument
73 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
99 handle_irq(void *data, ps_irq_t *irq) argument
122 get_resolution(void *data, uint64_t *resolution) argument
127 reset(void *data) argument
135 destroy(void *data) argument
[all...] |