Searched defs:host_endpoint (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dboot.c23 vm_init(vm_t *vm, vka_t *vka, simple_t *host_simple, vspace_t host_vspace, ps_io_ops_t *io_ops, seL4_CPtr host_endpoint, const char *name) argument
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_vm.h197 seL4_CPtr host_endpoint; member in struct:vm

Completed in 75 milliseconds