Searched refs:procServParamBuffer (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/libs/librefos/include/refos-util/ |
| H A D | serv_common.h | 112 data_mapping_t procServParamBuffer; member in struct:srv_common
|
| /seL4-refos-master/libs/librefos/src/refos-util/ |
| H A D | serv_common.c | 223 s->procServParamBuffer = data_open_map(REFOS_PROCSERV_EP, "anon", 0, 0,
225 if (s->procServParamBuffer.err != ESUCCESS) {
227 return s->procServParamBuffer.err;
229 error = proc_set_parambuffer(s->procServParamBuffer.dataspace, config.paramBufferSize);
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
| H A D | serv_common.h | 112 data_mapping_t procServParamBuffer; member in struct:srv_common
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
| H A D | serv_common.c | 223 s->procServParamBuffer = data_open_map(REFOS_PROCSERV_EP, "anon", 0, 0,
225 if (s->procServParamBuffer.err != ESUCCESS) {
227 return s->procServParamBuffer.err;
229 error = proc_set_parambuffer(s->procServParamBuffer.dataspace, config.paramBufferSize);
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | fault_notify.c | 243 contentSize, &fileServCommon->procServParamBuffer
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | fault_notify.c | 243 contentSize, &fileServCommon->procServParamBuffer
|
Completed in 116 milliseconds