Searched refs:data (Results 1 - 25 of 240) sorted by relevance

12345678910

/seL4-test-master/tools/nanopb/tests/fixed_count/
H A Dfixed_count_unittests.c22 msg_a.data[0] = 1;
23 msg_a.data[0] = 2;
24 msg_a.data[0] = 3;
46 msg_a.data[0].data[0] = 1;
47 msg_a.data[0].data[1] = 2;
48 msg_a.data[0].data[2] = 3;
49 msg_a.data[
[all...]
/seL4-test-master/projects/sel4test/apps/sel4test-driver/scripts/
H A Dcsvify.sh14 exec ./clean-log.sh "$@" | ./match-data.pl | ./generate-csv.pl
H A Dparselog.sh14 exec ./clean-log.sh "$@" | ./match-data.pl | ./generate-spread.pl
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/
H A Dinit.h18 void arch_init_allocator(env_t env, test_init_data_t *data);
20 seL4_CPtr get_irq_cap(void *data, int id, irq_type_t irq);
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dvirtio_emul_helpers.h11 int vm_guest_write_mem(vm_t *vm, void *data, uintptr_t address, size_t size);
13 int vm_guest_read_mem(vm_t *vm, void *data, uintptr_t address, size_t size);
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/am335x/
H A Dphy.c76 unsigned short data; local
79 MDIOPhyRegRead(mdioBaseAddr, phyAddr, PHY_ID1, &data);
82 id = data << PHY_ID_SHIFT;
85 MDIOPhyRegRead(mdioBaseAddr, phyAddr, PHY_ID2, &data);
88 id |= data;
141 unsigned short data; local
143 if (MDIOPhyRegRead(mdioBaseAddr, phyAddr, PHY_BCR, &data) != TRUE ) {
147 data |= PHY_LPBK_ENABLE;
150 MDIOPhyRegWrite(mdioBaseAddr, phyAddr, PHY_BCR, data);
168 unsigned short data; local
210 volatile unsigned short data; local
262 volatile unsigned short data; local
353 unsigned short data; local
[all...]
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dlist.h31 int list_prepend(list_t *l, void *data);
34 int list_append(list_t *l, void *data);
42 bool list_exists(list_t *l, void *data, int(*cmp)(void *, void *));
50 int list_index(list_t *l, void *data, int(*cmp)(void *, void *));
61 int list_remove(list_t *l, void *data, int(*cmp)(void *, void *));
78 void *data; member in struct:list_node
84 int list_remove_node(list_t *l, void *data, int(*cmp)(void *, void *));
/seL4-test-master/projects/musllibc/src/ldso/arm/
H A Dfind_exidx.c12 struct find_exidx_data *data = ptr; local
21 match |= data->pc >= addr && data->pc < addr + phdr->p_memsz;
29 data->exidx_start = exidx_start;
30 data->exidx_len = exidx_len;
36 struct find_exidx_data data; local
37 data.pc = pc;
38 if (dl_iterate_phdr(find_exidx, &data) <= 0)
40 *pcount = data.exidx_len / 8;
41 return data
[all...]
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/
H A Dvka.c28 * @param data cookie for the underlying allocator
32 static int am_vka_cspace_alloc(void *data, seL4_CPtr *res) argument
37 assert(data);
40 error = allocman_cspace_alloc((allocman_t *) data, &path);
52 * @param data cookie for the underlying allocator
56 static void am_vka_cspace_make_path (void *data, seL4_CPtr slot, cspacepath_t *res) argument
58 assert(data);
61 *res = allocman_cspace_make_path((allocman_t*) data, slot);
67 * @param data cookie for the underlying allocator
70 static void am_vka_cspace_free (void *data, seL4_CPt argument
90 am_vka_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
118 am_vka_utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
134 am_vka_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res) argument
160 am_vka_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
171 am_vka_utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dltimer.c35 static int get_time(void *data, uint64_t *time) argument
37 assert(data != NULL);
40 nv_tmr_ltimer_t *nv_tmr_ltimer = data;
45 static int get_resolution(void *data, uint64_t *resolution) argument
50 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
52 assert(data != NULL);
53 nv_tmr_ltimer_t *nv_tmr_ltimer = data;
71 static int reset(void *data) argument
73 assert(data != NULL);
74 nv_tmr_ltimer_t *nv_tmr_ltimer = data;
80 destroy(void *data) argument
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dguest_vcpu_fault.c9 seL4_Word emulate_vcpu_fault(vm_vcpu_t *vcpu, seL4_Word data) argument
16 /* Read data must be shifted to lsb */
17 return (data & ~(mask >> byte_shift)) | ((fault_data & mask) >> byte_shift);
20 return (data & ~mask) | ((fault_data << byte_shift) & mask);
/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/arch/riscv/
H A Ddefault.c24 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument
29 simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument
31 simple->data = data;
/seL4-test-master/projects/musllibc/src/linux/
H A Dptrace.c10 void *addr, *data, *addr2; local
16 data = va_arg(ap, void *);
20 if (req-1U < 3) data = &result;
21 ret = syscall(SYS_ptrace, req, pid, addr, data, addr2);
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-test-master/projects/util_libs/libplatsupport/src/mach/imx/
H A Dltimer.c33 static int get_time(void *data, uint64_t *time) argument
35 assert(data != NULL);
38 imx_ltimer_t *imx_ltimer = data;
43 static int get_resolution(void *data, uint64_t *resolution) argument
48 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
50 assert(data != NULL);
51 imx_ltimer_t *imx_ltimer = data;
61 static int reset(void *data) argument
63 assert(data != NULL);
64 imx_ltimer_t *imx_ltimer = data;
74 destroy(void *data) argument
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dltimer.c30 static int get_time(void *data, uint64_t *time) argument
32 assert(data != NULL);
35 pwm_ltimer_t *pwm_ltimer = data;
40 static int get_resolution(void *data, uint64_t *resolution) argument
45 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
47 assert(data != NULL);
48 pwm_ltimer_t *pwm_ltimer = data;
67 static int reset(void *data) argument
69 assert(data != NULL);
70 pwm_ltimer_t *pwm_ltimer = data;
75 destroy(void *data) argument
[all...]
/seL4-test-master/projects/seL4_libs/libsel4vka/src/
H A Dnull-vka.c21 static int cspace_alloc(void *data, seL4_CPtr *res) argument
26 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument
30 static void cspace_free(void *data, seL4_CPtr slot) argument
34 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, argument
40 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, argument
46 static int utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, argument
52 static void utspace_free(void *data, seL4_Word type, seL4_Word size_bits, argument
57 static uintptr_t utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
66 .data = NULL, /* not required */
/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/
H A Dlibsel4simple-default.c28 void *simple_default_get_frame_info(void *data, void *paddr, int size_bits, seL4_CPtr *frame_cap, seL4_Word *offset) argument
31 seL4_BootInfo *bi = (seL4_BootInfo *) data;
44 seL4_Error simple_default_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument
47 seL4_BootInfo *bi = (seL4_BootInfo *) data;
60 void *simple_default_get_frame_mapping(void *data, void *paddr, int size_bits) argument
65 seL4_Error simple_default_set_ASID(void *data, seL4_CPtr vspace) argument
70 int simple_default_cap_count(void *data) argument
72 assert(data);
74 seL4_BootInfo *bi = data;
83 seL4_CPtr simple_default_nth_cap(void *data, in argument
123 simple_default_init_cap(void *data, seL4_CPtr cap_pos) argument
128 simple_default_cnode_size(void *data) argument
135 simple_default_untyped_count(void *data) argument
142 simple_default_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument
164 simple_default_userimage_count(void *data) argument
171 simple_default_nth_userimage(void *data, int n) argument
184 simple_default_core_count(void *data) argument
191 simple_default_print(void *data) argument
200 simple_default_sched_control(void *data, int core) argument
211 simple_default_get_extended_bootinfo_size(void *data, seL4_Word type) argument
232 simple_default_get_extended_bootinfo(void *data, seL4_Word type, void *dest, ssize_t max_len) argument
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dltimer.c32 static int get_time(void *data, uint64_t *time) argument
34 assert(data != NULL);
36 dmt_ltimer_t *dmt_ltimer = data;
42 static int get_resolution(void *data, uint64_t *resolution) argument
48 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
50 assert(data != NULL);
51 dmt_ltimer_t *dmt_ltimer = data;
55 int error = get_time(data, &current_time);
66 static int reset(void *data) argument
68 assert(data !
77 destroy(void *data) argument
[all...]
/seL4-test-master/projects/util_libs/libutils/src/
H A Dlist.c27 static node_t *make_node(void *data) argument
31 n->data = data;
37 int list_prepend(list_t *l, void *data) argument
39 node_t *n = make_node(data);
46 int list_append(list_t *l, void *data) argument
48 node_t *n = make_node(data);
61 bool list_exists(list_t *l, void *data, int(*cmp)(void *, void *)) argument
65 if (!cmp(n->data, data)) {
82 list_index(list_t *l, void *data, int(*cmp)(void *, void *)) argument
106 remove(list_t *l, void *data, int (*cmp)(void *, void *), bool should_free) argument
127 list_remove(list_t *l, void *data, int(*cmp)(void *, void *)) argument
174 list_remove_node(list_t *l, void *data, int(*cmp)(void *, void *)) argument
[all...]
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/include/
H A Darch_stdio.h24 size_t __arch_write(char *data, size_t count) __attribute__((noinline));
33 typedef size_t (*write_buf_fn)(void *data, size_t count);
/seL4-test-master/projects/seL4_libs/libsel4simple-default/include/simple-default/
H A Dsimple-default.h20 void simple_default_init_arch_simple(arch_simple_t *simple, void *data);
/seL4-test-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-test-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-test-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);

Completed in 265 milliseconds

12345678910