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

/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Ddataspace.c49 dspace_oat_create(coat_t *oat, int id, uint32_t arg[COAT_ARGS]) function
55 ROS_ERROR("dspace_oat_create out of memory!");
114 dt->allocTable.oat_create = dspace_oat_create;
/seL4-refos-master/apps/file_server/src/
H A Ddataspace.c49 dspace_oat_create(coat_t *oat, int id, uint32_t arg[COAT_ARGS]) function
55 ROS_ERROR("dspace_oat_create out of memory!");
114 dt->allocTable.oat_create = dspace_oat_create;

Completed in 28 milliseconds