Searched refs:vspace_t (Results 1 - 25 of 63) sorted by relevance

123

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dguest_vspace.h14 int vm_init_guest_vspace(vspace_t *loader, vspace_t *vmm, vspace_t *new_vspace, vka_t *vka, seL4_CPtr page_directory);
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dstack.h27 int sel4utils_run_on_stack(vspace_t *vspace, void * (*func)(void *arg), void *arg, void **retval);
H A Dvspace.h59 typedef int(*sel4utils_map_page_fn)(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights,
80 vspace_t *bootstrap;
110 sel4utils_get_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data,
132 sel4utils_get_empty_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data,
150 int sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data,
171 int sel4utils_get_empty_vspace(vspace_t *loader, vspace_t *new_vspac
[all...]
H A Dhelpers.h30 int sel4utils_stack_write(vspace_t *current_vspace, vspace_t *target_vspace,
68 vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace);
H A Delf.h72 sel4utils_elf_load_record_regions(vspace_t *loadee, vspace_t *loader, vka_t *loadee_vka,
88 sel4utils_elf_load(vspace_t *loadee, vspace_t *loader, vka_t *loadee_vka,
103 sel4utils_elf_reserve(vspace_t *loadee, elf_t *elf, sel4utils_elf_region_t *regions);
H A Dthread.h79 int sel4utils_configure_thread(vka_t *vka, vspace_t *parent, vspace_t *alloc, seL4_CPtr fault_endpoint,
86 int sel4utils_configure_thread_config(vka_t *vka, vspace_t *parent, vspace_t *alloc,
144 void sel4utils_clean_up_thread(vka_t *vka, vspace_t *alloc, sel4utils_thread_t *thread);
203 int sel4utils_start_fault_handler(seL4_CPtr fault_endpoint, vka_t *vka, vspace_t *vspace,
H A Dpage_dma.h33 int sel4utils_new_page_dma_alloc(vka_t *vka, vspace_t *vspace, ps_dma_man_t *dma_man);
H A Dvspace_internal.h36 void *create_level(vspace_t *vspace, size_t size);
37 void *bootstrap_create_level(vspace_t *vspace, size_t size);
39 static inline void *create_mid_level(vspace_t *vspace, uintptr_t init)
50 static inline void *create_bottom_level(vspace_t *vspace, uintptr_t init)
62 static inline sel4utils_alloc_data_t *get_alloc_data(vspace_t *vspace)
67 static int reserve_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end,
87 static int reserve_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start,
144 static int clear_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end,
160 static int clear_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end,
194 static int update_entries_bottom(vspace_t *vspac
[all...]
H A Diommu_dma.h41 int sel4utils_make_iommu_dma_alloc(vka_t *vka, vspace_t *vspace, ps_dma_man_t *dma_man, unsigned int num_iospaces,
/seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dvspace.h22 typedef struct vspace vspace_t; typedef in typeref:struct:vspace
106 reservation_t vspace_reserve_range(vspace_t *vspace, size_t bytes,
126 void *vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages,
140 void *vspace_new_pages_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, seL4_CapRights_t rights);
153 void *vspace_new_sized_stack(vspace_t *vspace, size_t n_pages);
185 int vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits,
188 static inline void *vspace_new_stack(vspace_t *vspace)
201 void vspace_free_sized_stack(vspace_t *vspac
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_iospace.h24 * @param {vspace_t *} loader Host loader vspace to create a new iospace
28 int vm_guest_add_iospace(vm_t *vm, vspace_t *loader, seL4_CPtr iospace);
/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dtimer.h30 typedef void (*destroy_fn_t)(seL4_timer_t *timer, vka_t *vka, vspace_t *vspace);
69 int sel4platsupport_init_default_timer_caps(vka_t *vka, vspace_t *vspace, simple_t *simple,
90 int sel4platsupport_init_default_timer_ops(vka_t *vka, vspace_t *vspace, simple_t *simple, ps_io_ops_t ops,
97 int sel4platsupport_init_default_timer(vka_t *vka, vspace_t *vspace, simple_t *simple,
H A Dio.h45 int sel4platsupport_new_io_mapper(vspace_t *vspace, vka_t *vka, ps_io_mapper_t *io_mapper);
77 int sel4platsupport_new_io_ops(vspace_t *vspace, vka_t *vka, simple_t *simple, ps_io_ops_t *io_ops);
H A Dplatsupport.h30 platsupport_serial_setup_simple(vspace_t *vspace, simple_t *simple, vka_t *vka);
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dguest_vspace_arch.h12 static inline int guest_vspace_map_page_arch(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights,
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_vspace_arch.h12 static inline int guest_vspace_map_page_arch(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights,
/seL4-test-master/projects/seL4_libs/libsel4vspace/src/
H A Dvspace.c17 void *vspace_new_sized_stack(vspace_t *vspace, size_t n_pages)
44 void vspace_free_sized_stack(vspace_t *vspace, void *stack_top, size_t n_pages)
56 void *vspace_new_ipc_buffer(vspace_t *vspace, seL4_CPtr *page)
70 void vspace_free_ipc_buffer(vspace_t *vspace, void *addr)
75 void *vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits,
101 int vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits,
120 void *vspace_new_pages_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, seL4_CapRights_t rights)
148 reservation_t vspace_reserve_range(vspace_t *vspac
[all...]
/seL4-test-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c42 static int common_init(vspace_t *vspace, vka_t *vka, seL4_CPtr vspace_root,
58 static void common_init_post_bootstrap(vspace_t *vspace, sel4utils_map_page_fn map_page)
94 static void *alloc_and_map(vspace_t *vspace, size_t size)
141 static int reserve_range_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end)
162 static int reserve_range_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end)
213 static int reserve_range(vspace_t *vspace, uintptr_t start, uintptr_t end)
234 static int reserve_initial_task_regions(vspace_t *vspace, void *existing_frames[])
270 static int bootstrap_page_table(vspace_t *vspace)
286 void *bootstrap_create_level(vspace_t *vspace, size_t size)
292 static int get_vspace_bootstrap(vspace_t *loade
[all...]
/seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/
H A Dvspace_pool.h33 vspace_t vspace;
39 /* reservation inside the vspace_t */
41 vspace_t vspace;
/seL4-test-master/projects/seL4_libs/libsel4serialserver/include/serial_server/
H A Dparent.h42 * @param parent_vspace Initialized vspace_t for the parent process that is
49 vspace_t *parent_vspace,
/seL4-test-master/projects/seL4_libs/libsel4utils/src/arch/riscv/
H A Darch.c31 vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace)
/seL4-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/
H A Darch.c36 vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace)
/seL4-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch64/
H A Darch.c37 vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace)
/seL4-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/arm_hyp/
H A Darch.c36 vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace)
/seL4-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/x86_64/
H A Darch.c34 vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace)

Completed in 122 milliseconds

123