| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/ |
| 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/exynos/ |
| 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/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...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
| H A D | ltimer.c | 32 static int get_time(void *data, uint64_t *time) argument
42 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
57 static int reset(void *data) argument
68 destroy(void *data) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | ltimer.c | 32 static int get_time(void *data, uint64_t *time) argument
42 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
57 static int reset(void *data) argument
68 destroy(void *data) argument
[all...] |
| /seL4-refos-master/kernel/libsel4/include/sel4/ |
| H A D | functions.h | 62 LIBSEL4_INLINE_FUNC void seL4_SetUserData(seL4_Word data) argument
|
| /seL4-refos-master/libs/libsel4/include/sel4/ |
| H A D | functions.h | 62 LIBSEL4_INLINE_FUNC void seL4_SetUserData(seL4_Word data) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/ |
| H A D | simple.h | 50 void *data; member in struct:arch_simple
|
| /seL4-refos-master/libs/libsel4simple/arch_include/arm/simple/arch/ |
| H A D | simple.h | 50 void *data; member in struct:arch_simple
|
| /seL4-refos-master/libs/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 90 void *data; member in struct:arch_simple
[all...] |
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | process.h | 38 sel4utils_alloc_data_t data; member in struct:__anon638
|
| /seL4-refos-master/libs/libsel4vka/src/ |
| 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/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 90 void *data; member in struct:arch_simple
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | process.h | 38 sel4utils_alloc_data_t data; member in struct:__anon804
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
| 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/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/libmuslc/include/sys/ |
| H A D | epoll.h | 49 epoll_data_t data; member in struct:epoll_event
|
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| 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...] |
| H A D | time_manager.h | 115 void *data; member in struct:time_manager
[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/src/ |
| H A D | local_time_manager.c | 30 static int alloc_id(void *data, unsigned int *id) argument
36 static int alloc_id_at(void *data, unsigned int id) argument
42 static int free_id(void *data, unsigned int id) argument
48 static int get_time(void *data, uint64_t *time) argument
57 static int update_with_time(void *data, uint64_ argument
92 register_cb(void *data, timeout_type_t type, uint64_t ns, uint64_t start, uint32_t id, timeout_cb_fn_t callback, uintptr_t token) argument
158 deregister_cb(void *data, uint32_t id) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
| H A D | axi_uartlite.c | 104 const char *data = (const char*)vdata; local
117 char *data = (char*)vdata; local
|
| /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/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...] |