src/refos-io/filetable.c

41     seL4_CPtr dspace;
94             if (e->connection.serverSession && e->dspace) {
95                 refos_err_t error = data_close(e->connection.serverSession, e->dspace);
97                     printf("filetable_oat_delete error: couldn't close dspace.\n");
100                 csfree_delete(e->dspace);
101                 e->dspace = 0;
174     e->dspace = data_open(e->connection.serverSession,
176     if (error || !e->dspace) {
181     e->dspaceSize = data_get_size(e->connection.serverSession, e->dspace);
301     assert(fdEntry->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, fdEntry->dspace);
370     return fdEntry->dspace;