Searched refs:serverSession (Results 1 - 12 of 12) sorted by relevance

/seL4-refos-master/libs/librefos/src/refos-rpc/
H A Dserv_client_helper.c56 sc.serverSession = sc.serverMountPoint.serverAnon;
63 sc.serverSession = serv_connect_direct(sc.serverMountPoint.serverAnon, REFOS_LIVENESS,
66 if (!sc.serverSession || sc.error != ESUCCESS) {
72 int error = serv_ping(sc.serverSession);
92 error = serv_set_param_buffer(sc.serverSession, sc.paramBuffer.dataspace,
112 assert(sc.serverSession);
114 serv_disconnect_direct(sc.serverSession);
115 seL4_CNode_Delete(REFOS_CSPACE, sc.serverSession, REFOS_CDEPTH);
116 csfree(sc.serverSession);
150 if (sc->serverSession
[all...]
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/
H A Dserv_client_helper.c56 sc.serverSession = sc.serverMountPoint.serverAnon;
63 sc.serverSession = serv_connect_direct(sc.serverMountPoint.serverAnon, REFOS_LIVENESS,
66 if (!sc.serverSession || sc.error != ESUCCESS) {
72 int error = serv_ping(sc.serverSession);
92 error = serv_set_param_buffer(sc.serverSession, sc.paramBuffer.dataspace,
112 assert(sc.serverSession);
114 serv_disconnect_direct(sc.serverSession);
115 seL4_CNode_Delete(REFOS_CSPACE, sc.serverSession, REFOS_CDEPTH);
116 csfree(sc.serverSession);
150 if (sc->serverSession
[all...]
/seL4-refos-master/libs/librefossys/src/refos-io/
H A Dstdio.c56 if (!refosIOState.stdioSession.error == ESUCCESS || !refosIOState.stdioSession.serverSession) {
67 refosIOState.stdioDataspace = data_open(refosIOState.stdioSession.serverSession,
83 if (!refosIOState.stdioDataspace || !refosIOState.stdioSession.serverSession) {
87 int c = data_getc(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace, false);
97 if (!refosIOState.stdioDataspace || !refosIOState.stdioSession.serverSession) {
101 int c = data_getc(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace, true);
H A Dfiletable.c94 if (e->connection.serverSession && e->dspace) {
95 refos_err_t error = data_close(e->connection.serverSession, e->dspace);
105 if (e->connection.serverSession) {
107 e->connection.serverSession = 0;
168 if (e->connection.error != ESUCCESS || !e->connection.serverSession) {
174 e->dspace = data_open(e->connection.serverSession,
181 e->dspaceSize = data_get_size(e->connection.serverSession, e->dspace);
304 nr = data_read(fdEntry->connection.serverSession, fdEntry->dspace, fdEntry->dspacePos,
307 nr = data_write(fdEntry->connection.serverSession, fdEntry->dspace, fdEntry->dspacePos,
325 fdEntry->dspaceSize = data_get_size(fdEntry->connection.serverSession, fdEntr
[all...]
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/
H A Dstdio.c56 if (!refosIOState.stdioSession.error == ESUCCESS || !refosIOState.stdioSession.serverSession) {
67 refosIOState.stdioDataspace = data_open(refosIOState.stdioSession.serverSession,
83 if (!refosIOState.stdioDataspace || !refosIOState.stdioSession.serverSession) {
87 int c = data_getc(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace, false);
97 if (!refosIOState.stdioDataspace || !refosIOState.stdioSession.serverSession) {
101 int c = data_getc(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace, true);
H A Dfiletable.c94 if (e->connection.serverSession && e->dspace) {
95 refos_err_t error = data_close(e->connection.serverSession, e->dspace);
105 if (e->connection.serverSession) {
107 e->connection.serverSession = 0;
168 if (e->connection.error != ESUCCESS || !e->connection.serverSession) {
174 e->dspace = data_open(e->connection.serverSession,
181 e->dspaceSize = data_get_size(e->connection.serverSession, e->dspace);
304 nr = data_read(fdEntry->connection.serverSession, fdEntry->dspace, fdEntry->dspacePos,
307 nr = data_write(fdEntry->connection.serverSession, fdEntry->dspace, fdEntry->dspacePos,
325 fdEntry->dspaceSize = data_get_size(fdEntry->connection.serverSession, fdEntr
[all...]
/seL4-refos-master/libs/librefos/include/refos-rpc/
H A Dserv_client_helper.h45 seL4_CPtr serverSession; /* Has ownership. */ member in struct:serv_connection_s
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/
H A Dserv_client_helper.h45 seL4_CPtr serverSession; /* Has ownership. */ member in struct:serv_connection_s
/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.c71 assert(fsSession && fsSession->serverSession);
78 selfloaderState.elfFileHeader = data_open_map(fsSession->serverSession,
187 error = data_init_data(fsSession->serverSession, elfSegment->dataspace, elfFile->dataspace,
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.c71 assert(fsSession && fsSession->serverSession);
78 selfloaderState.elfFileHeader = data_open_map(fsSession->serverSession,
187 error = data_init_data(fsSession->serverSession, elfSegment->dataspace, elfFile->dataspace,
/seL4-refos-master/libs/librefossys/src/
H A Dsys_io.c55 if (refosIOState.stdioDataspace && refosIOState.stdioSession.serverSession) {
59 int n = data_write(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace,
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/
H A Dsys_io.c55 if (refosIOState.stdioDataspace && refosIOState.stdioSession.serverSession) {
59 int n = data_write(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace,

Completed in 94 milliseconds