Searched defs:host_vspace (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ | ||
| H A D | boot.c | 23 int vm_init(vm_t *vm, vka_t *vka, simple_t *host_simple, vspace_t host_vspace, argument |
Completed in 21 milliseconds