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

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.c121 serial_utspace_alloc_at_fn(void *data, const cspacepath_t *dest, seL4_Word type, function
175 serial_vka.utspace_alloc_at = serial_utspace_alloc_at_fn;
/seL4-refos-master/apps/process_server/src/
H A Dstate.c121 serial_utspace_alloc_at_fn(void *data, const cspacepath_t *dest, seL4_Word type, function
175 serial_vka.utspace_alloc_at = serial_utspace_alloc_at_fn;

Completed in 36 milliseconds