Searched refs:data (Results 51 - 75 of 511) sorted by relevance

1234567891011>>

/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtime_manager.h37 * @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 Dltimer.h57 * @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 Dchardev.h44 /// 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 Dlocal_time_manager.c30 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 Dltimer.h18 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 Dltimer.h57 * @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 Dchardev.h44 /// 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 Dplatform_sift.py24 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 Dltimer.c29 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 Dltimer.c29 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 Dclient.c25 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), &ltimer->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 Dclient.c25 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), &ltimer->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 Ddefault.c25 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 Ddefault.c25 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 Dltimer.c35 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 Dltimer.c35 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 Dltimer.c35 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 Dltimer.c35 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 Dltimer.h18 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 Dltimer.c51 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 Dltimer.c51 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 Dltimer.c72 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 Dltimer.c72 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 Dltimer.c41 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 Dltimer.c41 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...]

Completed in 96 milliseconds

1234567891011>>