Searched refs:serial_vka (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.c165 vka_t serial_vka = s->vka; local
175 serial_vka.utspace_alloc_at = serial_utspace_alloc_at_fn;
183 platsupport_serial_setup_simple(&s->vspace, &s->simpleEnv, &serial_vka);
/seL4-refos-master/apps/process_server/src/
H A Dstate.c165 vka_t serial_vka = s->vka; local
175 serial_vka.utspace_alloc_at = serial_utspace_alloc_at_fn;
183 platsupport_serial_setup_simple(&s->vspace, &s->simpleEnv, &serial_vka);

Completed in 30 milliseconds