/seL4-camkes-master/projects/camkes/apps/uart_cogent/components/Client/src/ |
H A D | client.c | 13 char *data = buf; local 16 uart_put_char(data[i]);
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple/include/simple/ |
H A D | simple.h | 32 * @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 D | clock.h | 18 #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 D | reset.c | 33 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 D | debug-vka.c | 114 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 D | slab.c | 49 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 D | client.c | 196 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 D | server.c | 31 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 D | component.simple.c | 206 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 D | pmic_rtc.c | 57 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 D | server.c | 29 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 D | simple.h | 30 * @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 D | client.c | 30 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 D | vspace.c | 32 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 D | sel4bench.h | 20 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 D | irq.py | 15 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 D | plat.c | 41 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 D | platform_init.c | 34 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 D | test_mdns.c | 41 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 D | irq_combiner.c | 45 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 D | timer.c | 231 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 D | push_back.hpp | 17 # 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 D | push_front.hpp | 17 # 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 D | variant_1.c | 7 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 D | cpio-strip.c | 40 /* 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);
|