Searched defs:ID (Results 1 - 10 of 10) sorted by relevance
| /seL4-refos-master/libs/librefos/src/refos-util/ |
| H A D | serv_connect.c | 157 int ID = coat_alloc(&ct->allocTable, arg, (cvector_item_t *) &nclient); local
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | dataspace.h | 46 int ID; member in struct:ram_dspace
[all...] |
| H A D | window.c | 173 int ID = coat_alloc(&wlist->windows, arg, (cvector_item_t *) &w); local
[all...] |
| H A D | dataspace.c | 229 int ID = coat_alloc(&rdslist->allocTable, arg, (cvector_item_t *) &dspace); local
239 ram_dspace_ref(struct ram_dspace_list *rdslist, int ID) argument
252 ram_dspace_unref(struct ram_dspace_list *rdslist, int ID) argument
313 ram_dspace_get(struct ram_dspace_list *rdslist, int ID) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
| H A D | serv_connect.c | 157 int ID = coat_alloc(&ct->allocTable, arg, (cvector_item_t *) &nclient); local
|
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | dataspace.h | 46 int ID; member in struct:ram_dspace
[all...] |
| H A D | window.c | 173 int ID = coat_alloc(&wlist->windows, arg, (cvector_item_t *) &w); local
[all...] |
| H A D | dataspace.c | 229 int ID = coat_alloc(&rdslist->allocTable, arg, (cvector_item_t *) &dspace); local
239 ram_dspace_ref(struct ram_dspace_list *rdslist, int ID) argument
252 ram_dspace_unref(struct ram_dspace_list *rdslist, int ID) argument
313 ram_dspace_get(struct ram_dspace_list *rdslist, int ID) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
| H A D | dataspace.c | 148 int ID = coat_alloc(&dt->allocTable, arg, (cvector_item_t *) &ndspace); local
|
| /seL4-refos-master/apps/file_server/src/ |
| H A D | dataspace.c | 148 int ID = coat_alloc(&dt->allocTable, arg, (cvector_item_t *) &ndspace); local
|
Completed in 115 milliseconds