Searched refs:vka_alloc_vcpu (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/
H A Dobject.h22 static inline int vka_alloc_vcpu(vka_t *vka, vka_object_t *result) function
/seL4-test-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dobject.h22 static inline int vka_alloc_vcpu (vka_t *vka, vka_object_t *result) function
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dboot.c69 err = vka_alloc_vcpu(vm->vka, &vcpu_new->vcpu);

Completed in 92 milliseconds