Searched refs:IPCCapRecv (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.c193 error = vka_cspace_alloc_path(&s->vka, &s->IPCCapRecv);
195 rpc_setup_recv_cspace(s->IPCCapRecv.root, s->IPCCapRecv.capPtr, s->IPCCapRecv.capDepth);
H A Dstate.h65 cspacepath_t IPCCapRecv; member in struct:procserv_state
/seL4-refos-master/apps/process_server/src/
H A Dstate.c193 error = vka_cspace_alloc_path(&s->vka, &s->IPCCapRecv);
195 rpc_setup_recv_cspace(s->IPCCapRecv.root, s->IPCCapRecv.capPtr, s->IPCCapRecv.capDepth);
H A Dstate.h65 cspacepath_t IPCCapRecv; member in struct:procserv_state

Completed in 85 milliseconds