| /seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
| H A D | dataspace.h | 80 @param dt The dspace table to initialise. (No ownership passed)
82 void dspace_table_init(struct fs_dataspace_table *dt);
85 @param dt The dspace table to release. (No ownership passed, does NOT release the structure)
87 void dspace_table_release(struct fs_dataspace_table *dt);
93 @param dt The dspace table to allocate from.
100 struct fs_dataspace* dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData,
104 @param dt The dspace table to get from.
108 struct fs_dataspace* dspace_get(struct fs_dataspace_table *dt, int id);
111 @param dt The dspace table to get from.
115 struct fs_dataspace* dspace_get_badge(struct fs_dataspace_table *dt, in
[all...] |
| H A D | dataspace.c | 110 dspace_table_init(struct fs_dataspace_table *dt) argument
113 dt->allocTable.oat_expand = NULL;
114 dt->allocTable.oat_create = dspace_oat_create;
115 dt->allocTable.oat_delete = dspace_oat_delete;
118 coat_init(&dt->allocTable, 1, FILESERVER_MAX_DATASPACES);
119 chash_init(&dt->windowAssocTable, FILESERVER_WINDOW_ASSOC_HASHSIZE);
120 chash_init(&dt->dspaceAssocTable, FILESERVER_DSPACE_ASSOC_HASHSIZE);
124 dspace_table_release(struct fs_dataspace_table *dt) argument
127 dspace_window_unassociate(dt, i);
129 coat_release(&dt
136 dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData, size_t fileDataSize, seL4_Word permissions) argument
161 dspace_get(struct fs_dataspace_table *dt, int id) argument
177 dspace_get_badge(struct fs_dataspace_table *dt, int badge) argument
187 dspace_delete(struct fs_dataspace_table *dt, int id) argument
231 dspace_window_associate(struct fs_dataspace_table *dt, int winID, int dsID, int dsOffset, seL4_CPtr windowCap) argument
238 dspace_window_find(struct fs_dataspace_table *dt, int winID) argument
244 dspace_window_unassociate(struct fs_dataspace_table *dt, int winID) argument
250 dspace_external_associate(struct fs_dataspace_table *dt, int xdsID, int dsID, int dsOffset, seL4_CPtr xdspaceCap) argument
257 dspace_external_unassociate(struct fs_dataspace_table *dt, int xdsID) argument
263 dspace_external_find(struct fs_dataspace_table *dt, int xdsID) argument
[all...] |
| /seL4-refos-master/apps/file_server/src/ |
| H A D | dataspace.h | 80 @param dt The dspace table to initialise. (No ownership passed)
82 void dspace_table_init(struct fs_dataspace_table *dt);
85 @param dt The dspace table to release. (No ownership passed, does NOT release the structure)
87 void dspace_table_release(struct fs_dataspace_table *dt);
93 @param dt The dspace table to allocate from.
100 struct fs_dataspace* dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData,
104 @param dt The dspace table to get from.
108 struct fs_dataspace* dspace_get(struct fs_dataspace_table *dt, int id);
111 @param dt The dspace table to get from.
115 struct fs_dataspace* dspace_get_badge(struct fs_dataspace_table *dt, in
[all...] |
| H A D | dataspace.c | 110 dspace_table_init(struct fs_dataspace_table *dt) argument
113 dt->allocTable.oat_expand = NULL;
114 dt->allocTable.oat_create = dspace_oat_create;
115 dt->allocTable.oat_delete = dspace_oat_delete;
118 coat_init(&dt->allocTable, 1, FILESERVER_MAX_DATASPACES);
119 chash_init(&dt->windowAssocTable, FILESERVER_WINDOW_ASSOC_HASHSIZE);
120 chash_init(&dt->dspaceAssocTable, FILESERVER_DSPACE_ASSOC_HASHSIZE);
124 dspace_table_release(struct fs_dataspace_table *dt) argument
127 dspace_window_unassociate(dt, i);
129 coat_release(&dt
136 dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData, size_t fileDataSize, seL4_Word permissions) argument
161 dspace_get(struct fs_dataspace_table *dt, int id) argument
177 dspace_get_badge(struct fs_dataspace_table *dt, int badge) argument
187 dspace_delete(struct fs_dataspace_table *dt, int id) argument
231 dspace_window_associate(struct fs_dataspace_table *dt, int winID, int dsID, int dsOffset, seL4_CPtr windowCap) argument
238 dspace_window_find(struct fs_dataspace_table *dt, int winID) argument
244 dspace_window_unassociate(struct fs_dataspace_table *dt, int winID) argument
250 dspace_external_associate(struct fs_dataspace_table *dt, int xdsID, int dsID, int dsOffset, seL4_CPtr xdspaceCap) argument
257 dspace_external_unassociate(struct fs_dataspace_table *dt, int xdsID) argument
263 dspace_external_find(struct fs_dataspace_table *dt, int xdsID) argument
[all...] |
| /seL4-refos-master/libs/libmuslc/src/math/ |
| H A D | cbrtl.c | 33 double_t dr, dt, dx; local
84 dt = ft;
85 dr = dt * dt * dt;
86 dt = dt * (dx + dx + dr) / (dx + dr + dr);
89 dr = dt * dt * dt;
[all...] |