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

/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dcspacepath_t.h85 seL4_CPtr capPtr; member in struct:_cspacepath_t
/seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/
H A Dclient.c24 sel4rpc_call(sel4rpc_client_t *client, RpcMessage *msg, seL4_CPtr root, seL4_CPtr capPtr, seL4_Word capDepth) argument

Completed in 48 milliseconds