/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | time_manager.h | 37 * @param data data specific to this implementation. 39 * @return 0 on success, EINVAL if data or id is invalid, ENOMEM if no ids are available. 41 int (*alloc_id)(void *data, unsigned int *id); 46 * @param data data specific to this implementation. 48 * @return 0 on success, EINVAL if data or id is invalid, EADDRINUSE if the id 51 int (*alloc_id_at)(void *data, unsigned int id); 57 * @param data data specifi 115 void *data; member in struct:time_manager [all...] |
H A D | ltimer.h | 57 * @param data for the logical timer to use 60 size_t (*get_num_irqs)(void *data); 65 * @param data for the logical timer to use 70 int (*get_nth_irq)(void *data, size_t n, ps_irq_t *irq); 74 * @param data for the logical timer to use 77 size_t (*get_num_pmems)(void *data); 82 * @param data for the logical timer to use 86 int (*get_nth_pmem)(void *data, size_t n, pmem_region_t *region); 92 * @param data for the logical timer to use 96 int (*get_time)(void *data, uint64_ 134 void *data; member in struct:ltimer [all...] |
H A D | chardev.h | 44 /// The source or destination for the data 45 void* data; member in struct:chardev_xmit_descriptor 53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token); 54 ssize_t (*write)(ps_chardevice_t* device, const void* data, size_t bytes, chardev_callback_t cb, void* token); 58 /// Transmit transfer data for use with IRQs 60 /// Receive transfer data for use with IRQs 111 char data = c; local 112 ret = d->write(d, &data, 1, NULL, NULL); 124 char data; local 125 ret = d->read(d, &data, 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/src/ |
H A D | local_time_manager.c | 30 static int alloc_id(void *data, unsigned int *id) argument 32 time_man_state_t *state = data; 36 static int alloc_id_at(void *data, unsigned int id) argument 38 time_man_state_t *state = data; 42 static int free_id(void *data, unsigned int id) argument 44 time_man_state_t *state = data; 48 static int get_time(void *data, uint64_t *time) argument 50 assert(data && time); 51 time_man_state_t *state = data; 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...] |
H A D | ltimer.h | 18 typedef int (*ltimer_handle_irq_fn_t)(void *data, ps_irq_t *irq); 33 static inline void handle_irq_wrapper(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument 35 assert(data); 37 timer_callback_data_t *callback_data = (timer_callback_data_t *) data; 43 int UNUSED error = irq_handler(ltimer->data, irq); 101 static int get_resolution_dummy(void *data, uint64_t *resolution) argument 108 int (*get_time)(void *data, uint64_t *time), 109 int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), 110 int (*reset)(void *data), 111 void (*destroy)(void *data) 106 create_ltimer_simple( ltimer_t *ltimer, ps_io_ops_t ops, size_t sz, int (*get_time)(void *data, uint64_t *time), int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), int (*reset)(void *data), void (*destroy)(void *data) ) argument [all...] |
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | ltimer.h | 57 * @param data for the logical timer to use 60 size_t (*get_num_irqs)(void *data); 65 * @param data for the logical timer to use 70 int (*get_nth_irq)(void *data, size_t n, ps_irq_t *irq); 74 * @param data for the logical timer to use 77 size_t (*get_num_pmems)(void *data); 82 * @param data for the logical timer to use 86 int (*get_nth_pmem)(void *data, size_t n, pmem_region_t *region); 92 * @param data for the logical timer to use 96 int (*get_time)(void *data, uint64_ 134 void *data; member in struct:ltimer [all...] |
H A D | chardev.h | 44 /// The source or destination for the data 45 void* data; member in struct:chardev_xmit_descriptor 53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token); 54 ssize_t (*write)(ps_chardevice_t* device, const void* data, size_t bytes, chardev_callback_t cb, void* token); 58 /// Transmit transfer data for use with IRQs 60 /// Receive transfer data for use with IRQs 111 char data = c; local 112 ret = d->write(d, &data, 1, NULL, NULL); 124 char data; local 125 ret = d->read(d, &data, 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/seL4_tools/cmake-tool/helpers/ |
H A D | platform_sift.py | 24 def is_valid(data: Dict[str, Any]) -> Tuple[bool, List[str]]: 26 Verify that the `data` (which should be obtained from a YAML file using 35 (False, ['no data in file']) 63 if data is None: 64 problems.append('no data in file') 65 elif 'memory' not in data: 67 elif not isinstance(data['memory'], list): 70 elif len(data['memory']) == 0: 79 for region in data['memory']: 103 def report(data [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/omap/ |
H A D | ltimer.c | 29 static int get_time(void *data, uint64_t *time) argument 31 assert(data != NULL); 34 omap_ltimer_t *omap_ltimer = data; 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 46 assert(data != NULL); 47 omap_ltimer_t *omap_ltimer = data; 70 static int reset(void *data) argument 72 assert(data != NULL); 73 omap_ltimer_t *omap_ltimer = data; 84 destroy(void *data) argument [all...] |
/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 31 assert(data != NULL); 34 omap_ltimer_t *omap_ltimer = data; 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 46 assert(data != NULL); 47 omap_ltimer_t *omap_ltimer = data; 70 static int reset(void *data) argument 72 assert(data != NULL); 73 omap_ltimer_t *omap_ltimer = data; 84 destroy(void *data) 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 27 client_ltimer_t *ltimer = data; 35 static int client_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 37 client_ltimer_t *ltimer = data; 51 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(client_ltimer_t), <imer->data); 55 assert(ltimer->data != NULL); 56 client_ltimer_t *client_ltimer = ltimer->data;
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/time_server/ |
H A D | client.c | 25 static int client_get_time(void *data, uint64_t *time) argument 27 client_ltimer_t *ltimer = data; 35 static int client_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 37 client_ltimer_t *ltimer = data; 51 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(client_ltimer_t), <imer->data); 55 assert(ltimer->data != NULL); 56 client_ltimer_t *client_ltimer = ltimer->data;
|
/seL4-refos-master/libs/libsel4simple-default/src/arch/arm/ |
H A D | default.c | 25 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) argument 30 seL4_Error simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUSED int core, seL4_CNode root, argument 41 seL4_Error simple_default_get_iospace_cap_count(void *data, int *count) argument 43 seL4_BootInfo *bi = data; 64 seL4_CPtr simple_default_get_iospace_nth_cap(void *data, int n) argument 66 seL4_BootInfo *bi = data; 95 void simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument 97 simple->data = data;
|
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/ |
H A D | default.c | 25 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) argument 30 seL4_Error simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUSED int core, seL4_CNode root, argument 41 seL4_Error simple_default_get_iospace_cap_count(void *data, int *count) argument 43 seL4_BootInfo *bi = data; 64 seL4_CPtr simple_default_get_iospace_nth_cap(void *data, int n) argument 66 seL4_BootInfo *bi = data; 95 void simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument 97 simple->data = data;
|
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument 37 fvp_ltimer_t *fvp_ltimer = data; 38 assert(data != NULL); 45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 49 int error = get_time(data, &time); 59 fvp_ltimer_t *fvp_ltimer = data; 63 static int reset(void *data) argument 65 fvp_ltimer_t *fvp_ltimer = data; 72 static void destroy(void *data) argument 74 assert(data ! [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument 37 fvp_ltimer_t *fvp_ltimer = data; 38 assert(data != NULL); 45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 49 int error = get_time(data, &time); 59 fvp_ltimer_t *fvp_ltimer = data; 63 static int reset(void *data) argument 65 fvp_ltimer_t *fvp_ltimer = data; 72 static void destroy(void *data) argument 74 assert(data ! [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument 37 hikey_ltimer_t *hikey_ltimer = data; 38 assert(data != NULL); 45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 49 int error = get_time(data, &time); 59 hikey_ltimer_t *hikey_ltimer = data; 63 static int reset(void *data) argument 65 hikey_ltimer_t *hikey_ltimer = data; 72 static void destroy(void *data) argument 74 assert(data ! [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument 37 hikey_ltimer_t *hikey_ltimer = data; 38 assert(data != NULL); 45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 49 int error = get_time(data, &time); 59 hikey_ltimer_t *hikey_ltimer = data; 63 static int reset(void *data) argument 65 hikey_ltimer_t *hikey_ltimer = data; 72 static void destroy(void *data) argument 74 assert(data ! [all...] |
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | ltimer.h | 18 typedef int (*ltimer_handle_irq_fn_t)(void *data, ps_irq_t *irq); 33 static inline void handle_irq_wrapper(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument 35 assert(data); 37 timer_callback_data_t *callback_data = (timer_callback_data_t *) data; 43 int UNUSED error = irq_handler(ltimer->data, irq); 101 static int get_resolution_dummy(void *data, uint64_t *resolution) argument 108 int (*get_time)(void *data, uint64_t *time), 109 int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), 110 int (*reset)(void *data), 111 void (*destroy)(void *data) 106 create_ltimer_simple( ltimer_t *ltimer, ps_io_ops_t ops, size_t sz, int (*get_time)(void *data, uint64_t *time), int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), int (*reset)(void *data), void (*destroy)(void *data) ) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/ |
H A D | ltimer.c | 51 static size_t get_num_irqs(void *data) argument 56 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument 58 assert(n < get_num_irqs(data)); 63 static size_t get_num_pmems(void *data) argument 68 static int get_nth_pmem(void *data, size_t n, pmem_region_t *region) argument 70 assert(n < get_num_pmems(data)); 75 static int handle_irq(void *data, ps_irq_t *irq) argument 77 assert(data != NULL); 78 odroidc2_ltimer_t *odroidc2_timer = data; 93 static int get_time(void *data, uint64_ argument 104 get_resolution(void *data, uint64_t *resolution) argument 109 set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 149 reset(void *data) argument 158 destroy(void *data) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | ltimer.c | 51 static size_t get_num_irqs(void *data) argument 56 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument 58 assert(n < get_num_irqs(data)); 63 static size_t get_num_pmems(void *data) argument 68 static int get_nth_pmem(void *data, size_t n, pmem_region_t *region) argument 70 assert(n < get_num_pmems(data)); 75 static int handle_irq(void *data, ps_irq_t *irq) argument 77 assert(data != NULL); 78 odroidc2_ltimer_t *odroidc2_timer = data; 93 static int get_time(void *data, uint64_ argument 104 get_resolution(void *data, uint64_t *resolution) argument 109 set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 149 reset(void *data) argument 158 destroy(void *data) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 72 size_t get_num_irqs(void *data) argument 77 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument 85 static size_t get_num_pmems(void *data) argument 90 static int get_nth_pmem(void *data, size_t n, pmem_region_t *paddr) argument 97 static int ltimer_handle_irq(void *data, ps_irq_t *irq) argument 99 assert(data != NULL); 100 hifive_timers_t *timers = data; 120 static int get_time(void *data, uint64_t *time) argument 122 assert(data != NULL); 124 hifive_timers_t *timers = data; 130 get_resolution(void *data, uint64_t *resolution) argument 135 set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 157 reset(void *data) argument 168 destroy(void *data) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 72 size_t get_num_irqs(void *data) argument 77 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument 85 static size_t get_num_pmems(void *data) argument 90 static int get_nth_pmem(void *data, size_t n, pmem_region_t *paddr) argument 97 static int ltimer_handle_irq(void *data, ps_irq_t *irq) argument 99 assert(data != NULL); 100 hifive_timers_t *timers = data; 120 static int get_time(void *data, uint64_t *time) argument 122 assert(data != NULL); 124 hifive_timers_t *timers = data; 130 get_resolution(void *data, uint64_t *resolution) argument 135 set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 157 reset(void *data) argument 168 destroy(void *data) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | ltimer.c | 41 static int get_time(void *data, uint64_t *time) argument 43 assert(data != NULL); 45 ttc_ltimer_t *ttc_ltimer = data; 50 static int get_resolution(void *data, uint64_t *resolution) argument 55 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 57 assert(data != NULL); 58 ttc_ltimer_t *ttc_ltimer = data; 62 get_time(data, &time); 73 static int reset(void *data) argument 75 assert(data ! 87 destroy(void *data) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
H A D | ltimer.c | 41 static int get_time(void *data, uint64_t *time) argument 43 assert(data != NULL); 45 ttc_ltimer_t *ttc_ltimer = data; 50 static int get_resolution(void *data, uint64_t *resolution) argument 55 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 57 assert(data != NULL); 58 ttc_ltimer_t *ttc_ltimer = data; 62 get_time(data, &time); 73 static int reset(void *data) argument 75 assert(data ! 87 destroy(void *data) argument [all...] |