Searched defs:data (Results 176 - 200 of 250) sorted by path

12345678910

/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dvspace.c32 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
65 static void insert_reservation(sel4utils_alloc_data_t *data, sel4utils_res_t *reservation) argument
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-refos-master/libs/libsel4vka/include/vka/
H A Dvka.h131 void *data; member in struct:vka
[all...]
/seL4-refos-master/libs/libsel4vspace/include/vspace/
H A Dvspace.h474 void *data; member in struct:vspace
/seL4-refos-master/libs/libutils/include/utils/
H A Dlist.h78 void *data; member in struct:list_node
/seL4-refos-master/libs/libutils/src/
H A Dcbor64.c16 int cbor64_initial_byte(base64_t *streamer, cbor64_mt_t type, uint8_t data) argument
H A Dlist.c27 static node_t *make_node(void *data) argument
37 int list_prepend(list_t *l, void *data) argument
46 int list_append(list_t *l, void *data) argument
61 bool list_exists(list_t *l, void *data, int(*cmp)(void *, void *)) argument
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-refos-master/projects/seL4_libs/libsel4bench/include/sel4bench/
H A Dkernel_logging.h65 static inline void kernel_logging_entry_set_data(kernel_log_entry_t *entry, seL4_Word data) argument
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_io.c172 static size_t sys_platform_write(void *data, size_t count) argument
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/
H A Dpmem.c20 seL4_X86_BootInfo_mmap_t data; local
31 seL4_X86_BootInfo_mmap_t data; local
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dirq.c525 ack_data_t *data = ack_data; local
/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
64 seL4_CPtr simple_default_get_iospace_nth_cap(void *data, int n) argument
95 void simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument
/seL4-refos-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
44 seL4_Error simple_default_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument
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
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-refos-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/
H A Dsimple.h50 void *data; member in struct:arch_simple
/seL4-refos-master/projects/seL4_libs/libsel4simple/include/simple/
H A Dsimple.h228 void *data; member in struct:simple_t
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dthread_config.h139 seL4_Word data = api_make_guard_skip_word(seL4_WordBits - simple_get_cnode_size_bits(simple)); local
176 static inline sel4utils_thread_config_t thread_config_default(simple_t *simple, seL4_CPtr cnode, seL4_Word data, argument
H A Dvspace.h243 sel4utils_get_vspace_leaky(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root) argument
259 sel4utils_bootstrap_vspace_with_bootinfo_leaky(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, seL4_BootInfo *info) argument
266 sel4utils_bootstrap_vspace_leaky(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, void *existing_frames[]) argument
[all...]
H A Dvspace_internal.h304 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
310 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
323 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c505 sel4utils_alloc_data_t *data = NULL; local
725 seL4_CPtr sel4utils_process_init_cap(void *data, seL4_CPtr cap) argument
109 sel4utils_mint_cap_to_process(sel4utils_process_t *process, cspacepath_t src, seL4_CapRights_t rights, seL4_Word data) argument
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c45 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
60 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
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...]
H A Dvspace.c32 sel4utils_alloc_data_t *data = get_alloc_data(vspace); local
65 static void insert_reservation(sel4utils_alloc_data_t *data, sel4utils_res_t *reservation) argument
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-refos-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dvka.h131 void *data; member in struct:vka
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dvspace.h474 void *data; member in struct:vspace
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A Denet.c407 int enet_mdio_write(struct enet *enet, uint16_t phy, uint16_t reg, uint16_t data) argument
H A Dimx6.c309 static void eth_irq_handle(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
H A Docotp_ctrl.c70 uint32_t data; /* 020 */ member in struct:ocotp_regs

Completed in 278 milliseconds

12345678910