Searched refs:data (Results 101 - 125 of 544) sorted by relevance

1234567891011>>

/seL4-camkes-master/projects/camkes/apps/uart_cogent/components/Client/src/
H A Dclient.c13 char *data = buf; local
16 uart_put_char(data[i]);
/seL4-camkes-master/projects/seL4_libs/libsel4simple/include/simple/
H A Dsimple.h32 * @param data cookie for the underlying implementation
40 typedef seL4_Error(*simple_get_frame_cap_fn)(void *data, void *paddr, int size_bits, cspacepath_t *path);
47 * @param data cookie for the underlying implementation
56 typedef void *(*simple_get_frame_mapping_fn)(void *data, void *paddr, int size_bits);
59 * Request data to a region of physical memory.
63 * @param data cookie for the underlying implementation
74 typedef void *(*simple_get_frame_info_fn)(void *data, void *paddr, int size_bits, seL4_CPtr *cap, seL4_Word *ut_offset);
79 * @param data cookie for the underlying implementation
83 typedef seL4_Error(*simple_ASIDPool_assign_fn)(void *data, seL4_CPtr vspace);
88 * @param data cooki
228 void *data; member in struct:simple_t
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dclock.h18 #define _CLK_OPS(_id, _name, ops, data) \
29 .priv = (void*)data
31 #define CLK_OPS(name, ops, data) _CLK_OPS(CLK_##name, #name, ops, data)
32 #define CLK_OPS_CUSTOM(name, ops, data) _CLK_OPS(CLK_CUSTOM, name, ops, data)
/seL4-camkes-master/projects/projects_libs/libplatsupportports/src/plat/tx2/
H A Dreset.c33 static int tx2_reset_common(void *data, reset_id_t id, bool assert) argument
40 tx2_reset_t *reset = data;
55 static int tx2_reset_assert(void *data, reset_id_t id) argument
57 return tx2_reset_common(data, id, true);
60 static int tx2_reset_deassert(void *data, reset_id_t id) argument
62 return tx2_reset_common(data, id, false);
89 error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(tx2_reset_t), (void **) &reset_sys->data);
96 reset = reset_sys->data;
127 if (reset_sys->data) {
132 ZF_LOGF_IF(ps_free(&io_ops->malloc_ops, sizeof(tx2_reset_t), (void *) reset_sys->data),
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4vka/src/
H A Ddebug-vka.c114 static int cspace_alloc(void *data, seL4_CPtr *res) argument
116 assert(data != NULL);
118 state_t *s = (state_t *)data;
120 int result = v->cspace_alloc(v->data, res);
142 static void cspace_free(void *data, seL4_CPtr slot) argument
144 assert(data != NULL);
146 state_t *s = (state_t *)data;
156 v->cspace_free(v->data, slot);
162 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument
164 assert(data !
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-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dslab.c49 static int delegate_cspace_alloc(void *data, seL4_CPtr *res) argument
51 slab_data_t *sdata = data;
52 assert(data != NULL);
57 static void delegate_cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument
59 slab_data_t *sdata = data;
63 static void delegate_cspace_free(void *data, seL4_CPtr slot) argument
65 slab_data_t *sdata = data;
69 static int slab_utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, argument
72 slab_data_t *sdata = data;
95 static int slab_utspace_alloc_maybe_device(void *data, cons argument
101 delegate_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res) argument
109 slab_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
184 slab_data_t *data = calloc(1, sizeof(slab_data_t)); local
[all...]
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/
H A Dclient.c196 state_t *data = cookie; local
197 register_handler(0, "notify_ethernet", notify_server, data);
205 state_t *data; local
206 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*data), (void **)&data);
207 data->io_ops = io_ops;
212 error = camkes_virtqueue_driver_init_with_recv(&data->tx_virtqueue, camkes_virtqueue_get_id_from_name(tx_virtqueue),
219 error = camkes_virtqueue_driver_init_with_recv(&data->rx_virtqueue, camkes_virtqueue_get_id_from_name(rx_virtqueue),
235 /* Save the dataport ID to state data mapping for later.
243 .dataport_id = wrapped_ptr.id, .state = data
[all...]
H A Dserver.c31 typedef struct data { struct
199 server_data_t *data; local
200 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*data), (void **)&data);
201 data->io_ops = io_ops;
205 PS_ETHERNET_INTERFACE, hardware_interface_searcher, data);
210 data->eth_driver->cb_cookie = data;
211 data->eth_driver->i_cb = ethdriver_callbacks;
217 error = camkes_virtqueue_device_init_with_recv(&data
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.simple.c206 static int simple_camkes_untyped_count(void *data) { argument
210 static int simple_camkes_cap_count(void *data) { argument
215 static seL4_CPtr simple_camkes_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device) { argument
216 camkes_simple_data_t *camkes = (camkes_simple_data_t *)data;
229 static seL4_Error simple_camkes_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) { argument
241 static seL4_CPtr simple_camkes_nth_cap(void *data, int n) { argument
242 camkes_simple_data_t *camkes = (camkes_simple_data_t *)data;
285 static seL4_CPtr simple_camkes_init_cap(void *data, seL4_CPtr cap) { argument
286 camkes_simple_data_t *camkes = (camkes_simple_data_t *)data;
304 static uint8_t simple_camkes_cnode_size(void *data) { argument
313 simple_camkes_get_IOPort_cap(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) argument
335 simple_camkes_get_iospace(void *data, uint16_t domainID, uint16_t deviceID, cspacepath_t *path) argument
356 simple_camkes_get_iospace_cap_count(void *data, int *count) argument
363 simple_camkes_get_iospace_nth_cap(void *data, int n) argument
379 simple_camkes_print(void *data) argument
383 simple_camkes_set_ASID(void *data, seL4_CPtr vspace) argument
395 simple_camkes_get_irq(void *data, int irq, seL4_CNode cnode, seL4_Word index, uint8_t depth) argument
454 camkes_get_extended_bootinfo(void *data, seL4_Word type, void *dest, ssize_t max_len) argument
469 camkes_simple_sched_ctrl(void *data, int core) argument
480 camkes_simple_core_count(void *data) argument
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dpmic_rtc.c57 pmic_rtc_reg_read(pmic_rtc_t* dev, uint8_t reg, void* data, int count) argument
59 return i2c_kvslave_read(&dev->kvslave, reg, data, count);
63 pmic_rtc_reg_write(pmic_rtc_t* dev, uint8_t reg, const void* data, int count) argument
65 return i2c_kvslave_write(&dev->kvslave, reg, data, count);
104 uint8_t data[7]; local
122 data[RTCREG_INTSTAT ] = 0x00;
123 data[RTCREG_INTMASK ] = 0x3F;
124 data[RTCREG_CTRLWMASK] = RTCCTRL_24HOUR | RTCCTRL_BCD;
125 data[RTCREG_CTRL ] = RTCCTRL_24HOUR;
126 data[RTCREG_UPDAT
[all...]
/seL4-camkes-master/projects/global-components/components/FileServer/src/
H A Dserver.c29 cpio_file_data_t data; member in struct:cpio_file_data_wrap
52 cpio_file_data_wrap_t *data = (cpio_file_data_wrap_t*)fd_struct->data; local
53 if (data->client != client) {
54 ZF_LOGE("Client %zu attempted to use fd %d that is for client %zu", client, fd, data->client);
71 cpio_file_data_wrap_t *newdata = realloc(fd_struct->data, sizeof(cpio_file_data_wrap_t));
78 fd_struct->data = newdata;
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/
H A Dsimple.h30 * @param data cookie for the underlying implementation
35 typedef seL4_Error(*simple_get_IRQ_handler_fn)(void *data, int irq, seL4_CNode cnode,
37 typedef seL4_Error(*simple_get_IRQ_trigger_fn)(void *data, int irq, int trigger, int core, seL4_CNode root,
40 typedef seL4_Error(*simple_get_iospace_cap_count_fn)(void *data, int *count);
41 typedef seL4_CPtr(*simple_get_nth_iospace_cap_fn)(void *data, int n);
50 void *data; member in struct:arch_simple
73 return simple->irq_trigger(simple->data, irq, trigger, 0, path.root, path.capPtr, path.capDepth);
88 return simple->irq_trigger(simple->data, irq, trigger, core, path.root, path.capPtr, path.capDepth);
/seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/client/
H A Dclient.c30 payload_t data; local
31 data.val = val;
35 /* First check if there is data still waiting in the send virtqueue
36 * We need to flush the virtqueue before sending data on it
48 memcpy(alloc_buffer, (void *)&data, sizeof(payload_t));
59 payload_t *data = (payload_t *)buffer; local
61 printf("Client %d recieved payload value: %d\n", client_id, data->val);
64 if (data->val == COUNT_LIMIT) {
69 send_payload_message(data->val + 1);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c32 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
35 if (data->bootstrap == NULL) {
41 void *level = vspace_new_pages(data->bootstrap, seL4_AllRights,
65 static void insert_reservation(sel4utils_alloc_data_t *data, sel4utils_res_t *reservation) argument
68 assert(data != NULL);
74 if (data->reservation_head == NULL || reservation->start > data->reservation_head->start) {
75 reservation->next = data->reservation_head;
76 data->reservation_head = reservation;
81 sel4utils_res_t *prev = data
99 remove_reservation(sel4utils_alloc_data_t *data, sel4utils_res_t *reservation) argument
153 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
174 struct sel4utils_alloc_data *data = get_alloc_data(vspace); local
209 struct sel4utils_alloc_data *data = get_alloc_data(vspace); local
232 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
236 find_reserve(sel4utils_alloc_data_t *data, uintptr_t vaddr) argument
252 find_range(sel4utils_alloc_data_t *data, size_t num_pages, size_t size_bits) argument
309 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
347 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
373 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
399 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
426 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
437 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
444 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
494 struct sel4utils_alloc_data *data = get_alloc_data(vspace); local
508 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
544 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
599 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
644 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
667 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
726 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
732 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
750 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
796 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/
H A Dsel4bench.h20 static KERNELFN void sel4bench_private_init(void* data) argument
35 static KERNELFN void sel4bench_private_destroy(void* data) argument
50 static KERNELFN void sel4bench_private_reset_gp_counters(void* data) argument
63 static KERNELFN void sel4bench_private_get_cycle_count(void* data) argument
79 *(uint32_t*)data = sel4bench_private_get_ccnt();
85 static KERNELFN void sel4bench_private_get_counter(void* data) argument
101 *(uint32_t*)data = *(uint32_t*)data ? sel4bench_private_get_pmn1() : sel4bench_private_get_pmn0();
107 static KERNELFN void sel4bench_private_get_counters(void* data) argument
122 uint32_t* args = (uint32_t*)data;
141 sel4bench_private_set_count_event(void* data) argument
[all...]
/seL4-camkes-master/kernel/tools/hardware/
H A Dirq.py15 def parse_irq(self, child, data):
22 data.pop(0)
47 def parse_irq(self, child, data):
70 specifier = Utils.make_number(child_interrupt_cells, data)
121 def parse_irq(self, child, data):
129 interrupt_type = data.pop(0)
130 number = data.pop(0)
133 data.pop(0)
151 ''' parses IRQs of format <irq-num data...> '''
153 def parse_irq(self, child, data)
[all...]
/seL4-camkes-master/projects/global-components/components/SerialServer/src/
H A Dplat.c41 int data = 0; local
43 while (data != EOF) {
44 data = ps_cdev_getchar(serial);
45 if (data != EOF) {
46 handle_char((uint8_t)data);
/seL4-camkes-master/tools/seL4/elfloader-tool/src/plat/tx2/
H A Dplatform_init.c34 uint64_t data; member in union:__anon133
62 static void tegra_mce_write_uncore_mca(mca_cmd_t cmd, uint64_t data, uint32_t *err) argument
65 regs.args[0] = cmd.data;
66 regs.args[1] = data;
75 cmd.data = 0;
/seL4-camkes-master/projects/lwip/test/unit/mdns/
H A Dtest_mdns.c41 static const u8_t data[] = { 0x05, 'm', 'u', 'l', 't', 'i', 0x04, 'c', 'a', 's', 't', 0x00 }; local
47 p = pbuf_alloc(PBUF_RAW, sizeof(data), PBUF_ROM);
49 p->payload = (void *)(size_t)data;
52 fail_unless(offset == sizeof(data));
53 fail_unless(domain.length == sizeof(data));
54 fail_if(memcmp(&domain.name, data, sizeof(data)));
60 static const u8_t data[] = { 0x05, 0x00, 0xFF, 0x08, 0xc0, 0x0f, 0x04, 0x7f, 0x80, 0x82, 0x88, 0x00 }; local
66 p = pbuf_alloc(PBUF_RAW, sizeof(data), PBUF_ROM);
68 p->payload = (void *)(size_t)data;
79 static const u8_t data[] = { 0x05, 'm', 'u', 'l', 't', 'i', 0x04, 'c', 'a' }; local
96 static const u8_t data[] = { local
121 static const u8_t data[] = { local
177 static const u8_t data[] = { local
205 static const u8_t data[] = { local
234 static const u8_t data[] = { local
268 static const u8_t data[] = { local
294 static const u8_t data[] = { local
313 static const u8_t data[] = { local
332 static const u8_t data[] = { local
352 static const u8_t data[] = { local
372 static const u8_t data[] = { 0x05, 'm', 'u', 'l', 't', 'i', 0x04, 'c', 'a', 's', 't', 0x00 }; local
456 static const u8_t data[] = { local
594 static const u8_t data[] = { local
629 static const u8_t data[] = { local
664 static const u8_t data[] = { local
701 static const u8_t data[] = { local
735 static const u8_t data[] = { local
770 static const u8_t data[] = { local
805 static const u8_t data[] = { local
847 static const u8_t data[] = { local
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dirq_combiner.c45 struct irq_group_data *data[32]; member in struct:combiner_data
82 cirq->priv = combiner->data[g][i].priv;
88 combiner->data[g][i].cb(cirq);
112 if (combiner->data[group] == NULL) {
121 combiner->data[group] = (struct irq_group_data *)addr;
127 combiner->data[group][idx].cb = cb;
128 combiner->data[group][idx].priv = priv;
161 uint32_t data; local
167 data = get_vcpu_fault_data(vcpu);
168 data
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/
H A Dtimer.c231 gpt_regs_t* regs = (gpt_regs_t*)timer->data;
239 gpt_regs_t* regs = (gpt_regs_t*)timer->data;
247 gpt_regs_t* regs = (gpt_regs_t*)timer->data;
254 gpt_regs_t* regs = (gpt_regs_t*)timer->data;
255 uintptr_t sts_base = (uintptr_t)timer->data & ~0xfff;
331 dgt_regs_t* regs = (dgt_regs_t*)timer->data;
339 dgt_regs_t* regs = (dgt_regs_t*)timer->data;
347 dgt_regs_t* regs = (dgt_regs_t*)timer->data;
354 dgt_regs_t* regs = (dgt_regs_t*)timer->data;
379 tmr_regs_t* regs = (tmr_regs_t*)timer->data;
[all...]
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/array/
H A Dpush_back.hpp17 # include <msgpack/preprocessor/array/data.hpp>
33 # define MSGPACK_PP_ARRAY_PUSH_BACK_I(size, data, elem) (MSGPACK_PP_INC(size), (MSGPACK_PP_ARRAY_DETAIL_GET_DATA(size,data) MSGPACK_PP_COMMA_IF(size) elem))
H A Dpush_front.hpp17 # include <msgpack/preprocessor/array/data.hpp>
33 # define MSGPACK_PP_ARRAY_PUSH_FRONT_I(size, data, elem) (MSGPACK_PP_INC(size), (elem MSGPACK_PP_COMMA_IF(size) MSGPACK_PP_ARRAY_DETAIL_GET_DATA(size,data)))
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_1/
H A Dvariant_1.c7 return (*b).data[0U] >> 0U & 4294967295U;
15 return (*b).data[1U] >> 0U & 4294967295U;
19 return (*b).data[2U] >> 0U & 4294967295U;
/seL4-camkes-master/tools/seL4/misc/
H A Dcpio-strip.c40 /* Find the pointer to a CPIO entry header from a pointer to the entry's data.
43 static void *get_header(void *data, const char *filename) argument
45 assert((uintptr_t)data % CPIO_ALIGNMENT == 0);
46 uintptr_t p = (uintptr_t)data - strlen(filename) - 1
55 " Strip meta data from a CPIO file\n", argv[0]);
106 void *data = cpio_get_entry(p, i, &filename, &size); local
107 if (data == NULL) {
112 /* Reverse the data pointer to a header pointer. */
113 struct cpio_header *header = get_header(data, filename);

Completed in 158 milliseconds

1234567891011>>