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

1234567891011>>

/seL4-camkes-master/tools/pruner/
H A Dcfg.h36 const char *caller, void *data);
47 void *data);
/seL4-camkes-master/projects/musllibc/src/linux/
H A Dmount.c4 int mount(const char *special, const char *dir, const char *fstype, unsigned long flags, const void *data) argument
6 return syscall(SYS_mount, special, dir, fstype, flags, data);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Dnetfront.h6 struct netfront_dev *netfront_init(char *nodename, void (*netif_rx)(struct netfront_dev *, unsigned char *data, int len), unsigned char rawmac[6], char **ip, void *priv);
7 void netfront_xmit(struct netfront_dev *dev, unsigned char* data,int len);
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/
H A Dpmem.c20 seL4_X86_BootInfo_mmap_t data; local
21 int error = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_MBMMAP, &data, sizeof(seL4_X86_BootInfo_mmap_t));
27 return data.mmap_length/sizeof(data.mmap[0]);
31 seL4_X86_BootInfo_mmap_t data; local
32 int error = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_MBMMAP, &data, sizeof(seL4_X86_BootInfo_mmap_t));
37 seL4_X86_mb_mmap_t *mmap = (seL4_X86_mb_mmap_t *)((unsigned long)data.mmap);
39 for (i = 0; i < max_length && i < (data.mmap_length/sizeof(mmap[0])); i++) {
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dltimer.c32 static int get_time(void *data, uint64_t *time) argument
34 assert(data != NULL);
37 rk_ltimer_t *rk_ltimer = data;
42 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
44 assert(data != NULL);
45 rk_ltimer_t *rk_ltimer = data;
49 int error = get_time(data, &current_time);
57 static int reset(void *data) argument
59 assert(data != NULL);
60 rk_ltimer_t *rk_ltimer = data;
68 destroy(void *data) argument
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Dreset.h21 int (*reset_assert)(void *data, reset_id_t id);
22 int (*reset_deassert)(void *data, reset_id_t id);
23 void *data; member in struct:reset_sys
40 return reset->reset_assert(reset->data, id);
55 return reset->reset_deassert(reset->data, id);
/seL4-camkes-master/projects/global-components/components/ResetServer/libResetServer-client/
H A Dresetserver_client.c25 static int resetserver_assert_wrapper(void *data, reset_id_t id) argument
27 resetserver_interface_data_t *resetserver_data = data;
32 static int resetserver_deassert_wrapper(void *data, reset_id_t id) argument
34 resetserver_interface_data_t *resetserver_data = data;
61 reset_sys->data = &resetserver_private_data;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c45 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
46 data->vka = vka;
47 data->last_allocated = 0x10000000;
48 data->reservation_head = NULL;
49 data->is_empty = false;
51 data->vspace_root = vspace_root;
60 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
63 if (!data->is_empty) {
66 data->top_level->table[i] = RESERVED;
70 data
96 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
215 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
272 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
292 get_vspace_bootstrap(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, sel4utils_map_page_fn map_page) argument
308 sel4utils_get_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page) argument
321 sel4utils_get_empty_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page) argument
336 sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
344 sel4utils_get_empty_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
363 sel4utils_alloc_data_t *data = malloc(sizeof(*data)); local
373 sel4utils_bootstrap_vspace(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, vspace_allocated_object_fn allocated_object_fn, void *cookie, void *existing_frames[]) argument
398 sel4utils_bootstrap_vspace_with_bootinfo(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, seL4_BootInfo *info, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
[all...]
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/list/
H A Dfirst_n.hpp35 # define MSGPACK_PP_LIST_FIRST_N_P(d, data) MSGPACK_PP_TUPLE_ELEM(3, 0, data)
37 # define MSGPACK_PP_LIST_FIRST_N_P(d, data) MSGPACK_PP_LIST_FIRST_N_P_I data
42 # define MSGPACK_PP_LIST_FIRST_N_O(d, data) MSGPACK_PP_LIST_FIRST_N_O_D data
44 # define MSGPACK_PP_LIST_FIRST_N_O(d, data) MSGPACK_PP_LIST_FIRST_N_O_D(MSGPACK_PP_TUPLE_ELEM(3, 0, data), MSGPACK_PP_TUPLE_ELEM(3, 1, data), MSGPACK_PP_TUPLE_ELEM(3, 2, data))
[all...]
H A Dfor_each_i.hpp27 # define MSGPACK_PP_LIST_FOR_EACH_I(macro, data, list) MSGPACK_PP_FOR((macro, data, list, 0), MSGPACK_PP_LIST_FOR_EACH_I_P, MSGPACK_PP_LIST_FOR_EACH_I_O, MSGPACK_PP_LIST_FOR_EACH_I_M)
29 # define MSGPACK_PP_LIST_FOR_EACH_I(macro, data, list) MSGPACK_PP_LIST_FOR_EACH_I_I(macro, data, list)
30 # define MSGPACK_PP_LIST_FOR_EACH_I_I(macro, data, list) MSGPACK_PP_FOR((macro, data, list, 0), MSGPACK_PP_LIST_FOR_EACH_I_P, MSGPACK_PP_LIST_FOR_EACH_I_O, MSGPACK_PP_LIST_FOR_EACH_I_M)
59 # define MSGPACK_PP_LIST_FOR_EACH_I_R(r, macro, data, list) MSGPACK_PP_FOR_ ## r((macro, data, list, 0), MSGPACK_PP_LIST_FOR_EACH_I_P, MSGPACK_PP_LIST_FOR_EACH_I_O, MSGPACK_PP_LIST_FOR_EACH_I_M)
61 # define MSGPACK_PP_LIST_FOR_EACH_I_R(r, macro, data, list) MSGPACK_PP_LIST_FOR_EACH_I_R_I(r, macro, data, lis
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dltimer.c59 size_t get_num_irqs(void *data) argument
64 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument
66 assert(n < get_num_irqs(data));
80 static size_t get_num_pmems(void *data) argument
85 static int get_nth_pmem(void *data, size_t n, pmem_region_t *paddr) argument
87 assert(n < get_num_pmems(data));
92 static int handle_irq(void *data, ps_irq_t *irq) argument
94 assert(data != NULL);
95 spt_ltimer_t *spt_ltimer = data;
121 static int get_time(void *data, uint64_ argument
131 get_resolution(void *data, uint64_t *resolution) argument
136 set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
155 reset(void *data) argument
165 destroy(void *data) argument
[all...]
/seL4-camkes-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-camkes-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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/
H A Darray_ref.hpp29 array_ref() : data(nullptr) {}
30 array_ref(T& t) : data(&t) {}
32 T* data; member in struct:msgpack::type::array_ref
36 return *data == *t.data;
40 return !(*data == *t.data);
45 return *data < *t.data;
50 return *t.data < *dat
[all...]
/seL4-camkes-master/tools/seL4/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-camkes-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-camkes-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-camkes-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-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dmsr.c31 uint64_t data = 0; local
45 data = 0;
49 data = 0x100000000ULL;
58 data = 0;
62 data = 3;
66 data = 1 << 24;
70 data = vm_lapic_get_base_msr(vcpu);
82 vm_set_thread_context_reg(vcpu, VCPU_CONTEXT_EAX, (uint32_t)(data & 0xffffffff));
83 vm_set_thread_context_reg(vcpu, VCPU_CONTEXT_EDX, (uint32_t)(data >> 32));
/seL4-camkes-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-camkes-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-camkes-master/projects/lwip/src/include/lwip/
H A Dsio.h92 * @param data pointer to data buffer for receiving
93 * @param len maximum length (in bytes) of data to receive
96 * @note This function will block until data can be received. The blocking
99 u32_t sio_read(sio_fd_t fd, u8_t *data, u32_t len);
105 * immediately if no data is available and never blocks.
108 * @param data pointer to data buffer for receiving
109 * @param len maximum length (in bytes) of data to receive
112 u32_t sio_tryread(sio_fd_t fd, u8_t *data, u32_
[all...]

Completed in 223 milliseconds

1234567891011>>