Searched refs:dataspaceBadge (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c292 seL4_Word dataspaceBadge = seL4_CapData_Badge_get_Badge(seL4_GetBadge(0)); local
293 assert(dataspaceBadge == rpc_dspace_fd);
294 struct fs_dataspace* dspace = dspace_get_badge(&fileServ.dspaceTable, dataspaceBadge);
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c292 seL4_Word dataspaceBadge = seL4_CapData_Badge_get_Badge(seL4_GetBadge(0)); local
293 assert(dataspaceBadge == rpc_dspace_fd);
294 struct fs_dataspace* dspace = dspace_get_badge(&fileServ.dspaceTable, dataspaceBadge);

Completed in 35 milliseconds