/seL4-refos-master/libs/librefos/src/refos-rpc/ |
H A D | serv_client_helper.c | 56 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 D | serv_client_helper.c | 56 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 D | stdio.c | 56 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 D | filetable.c | 94 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 D | stdio.c | 56 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 D | filetable.c | 94 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 D | serv_client_helper.h | 45 seL4_CPtr serverSession; /* Has ownership. */ member in struct:serv_connection_s
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
H A D | serv_client_helper.h | 45 seL4_CPtr serverSession; /* Has ownership. */ member in struct:serv_connection_s
|
/seL4-refos-master/projects/refos/impl/apps/selfloader/src/ |
H A D | selfloader.c | 71 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 D | selfloader.c | 71 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 D | sys_io.c | 55 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 D | sys_io.c | 55 if (refosIOState.stdioDataspace && refosIOState.stdioSession.serverSession) { 59 int n = data_write(refosIOState.stdioSession.serverSession, refosIOState.stdioDataspace,
|