src/dispatchers/data_syscall.c

97     struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
98     if (!dspace) {
104     w_purge_dspace(&procServ.windowList, dspace);
107     pid_iterate(&procServ.PIDList, proc_dspace_delete_callback, (void*) dspace);
110     if (dspace->ref != 1) {
111         ROS_WARNING("Dataspace reference is %d and not 1.", dspace->ref);
116     ram_dspace_unref(&procServ.dspaceList, dspace->ID);
147         ROS_ERROR("bad dspace capability.\n");
156     struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
157     if (!dspace) {
162     return dspace->npages * REFOS_PAGE_SIZE;
181     struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
182     if (!dspace) {
187     return ram_dspace_expand(dspace, rpc_size);
217     struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
218     if (!dspace) {
224     if (rpc_offset > (dspace->npages * REFOS_PAGE_SIZE)) {
230     w_set_anon_dspace(window, dspace, rpc_offset);
307     struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
308     if (!dspace) {
317         return ram_dspace_content_init(dspace, path, PID_NULL);
330     int error = ram_dspace_content_init(dspace, path, pcb->pid);
337         (*rpc_dataID) = dspace->ID;
368     struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd);
369     if (!dspace) {
381     int error = ram_dspace_write(initContentBuffer, rpc_contentSize, dspace, rpc_offset);
391         ram_dspace_set_content_init_provided(dspace, offset);
392         ram_dspace_content_init_reply_waiters(dspace, offset);