Searched defs:dspace_alloc (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Ddataspace.c136 dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData, size_t fileDataSize, function
/seL4-refos-master/apps/file_server/src/
H A Ddataspace.c136 dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData, size_t fileDataSize, function

Completed in 27 milliseconds