Searched defs:rpcClient (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/librefos/include/refos-util/
H A Dserv_connect.h41 rpc_client_state_t rpcClient; /* Inherited, must be first. */ member in struct:srv_client
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Dserv_connect.h41 rpc_client_state_t rpcClient; /* Inherited, must be first. */ member in struct:srv_client
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dprocess.h53 rpc_client_state_t rpcClient; /* Inherited structure (must be 1st). */ member in struct:proc_pcb
/seL4-refos-master/apps/process_server/src/system/process/
H A Dprocess.h53 rpc_client_state_t rpcClient; /* Inherited structure (must be 1st). */ member in struct:proc_pcb

Completed in 37 milliseconds