Searched refs:vka_alloc_vspace_root (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/
H A Dobject.h21 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/
H A Dobject.h21 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/
H A Dobject.h18 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/
H A Dobject.h39 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/
H A Dobject.h32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/
H A Dobject.h32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) function
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dboot.c56 err = vka_alloc_vspace_root(vka, &vm->mem.vm_vspace_root);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c512 error = vka_alloc_vspace_root(vka, &process->pd);

Completed in 61 milliseconds