/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
H A D | guest_vspace.h | 14 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 D | stack.h | 27 int sel4utils_run_on_stack(vspace_t *vspace, void * (*func)(void *arg), void *arg, void **retval);
|
H A D | vspace.h | 59 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 D | helpers.h | 30 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 D | elf.h | 72 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 D | thread.h | 79 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 D | page_dma.h | 33 int sel4utils_new_page_dma_alloc(vka_t *vka, vspace_t *vspace, ps_dma_man_t *dma_man);
|
H A D | vspace_internal.h | 36 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 D | iommu_dma.h | 41 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 D | vspace.h | 22 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 D | guest_iospace.h | 24 * @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 D | timer.h | 30 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 D | io.h | 45 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 D | platsupport.h | 30 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 D | guest_vspace_arch.h | 12 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 D | guest_vspace_arch.h | 12 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 D | vspace.c | 17 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 D | bootstrap.c | 42 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 D | vspace_pool.h | 33 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 D | parent.h | 42 * @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 D | arch.c | 31 vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace)
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/ |
H A D | arch.c | 36 vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace)
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch64/ |
H A D | arch.c | 37 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 D | arch.c | 36 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 D | arch.c | 34 vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace)
|