/seL4-refos-master/libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 32 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 D | vka.h | 131 void *data; member in struct:vka [all...] |
/seL4-refos-master/libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 474 void *data; member in struct:vspace
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | list.h | 78 void *data; member in struct:list_node
|
/seL4-refos-master/libs/libutils/src/ |
H A D | cbor64.c | 16 int cbor64_initial_byte(base64_t *streamer, cbor64_mt_t type, uint8_t data) argument
|
H A D | list.c | 27 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 D | kernel_logging.h | 65 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 D | sys_io.c | 172 static size_t sys_platform_write(void *data, size_t count) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
H A D | pmem.c | 20 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 D | irq.c | 525 ack_data_t *data = ack_data; local
|
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/ |
H A D | default.c | 25 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 D | libsel4simple-default.c | 28 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 D | simple.h | 50 void *data; member in struct:arch_simple
|
/seL4-refos-master/projects/seL4_libs/libsel4simple/include/simple/ |
H A D | simple.h | 228 void *data; member in struct:simple_t [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | thread_config.h | 139 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 D | vspace.h | 243 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 D | vspace_internal.h | 304 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 D | process.c | 505 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 D | bootstrap.c | 45 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 D | vspace.c | 32 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 D | vka.h | 131 void *data; member in struct:vka [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 474 void *data; member in struct:vspace
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | enet.c | 407 int enet_mdio_write(struct enet *enet, uint16_t phy, uint16_t reg, uint16_t data) argument
|
H A D | imx6.c | 309 static void eth_irq_handle(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
H A D | ocotp_ctrl.c | 70 uint32_t data; /* 020 */ member in struct:ocotp_regs
|