Searched refs:contentSize (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/libs/librefos/include/refos-rpc/ |
| H A D | data_client_helper.h | 167 @param contentSize The size of the content. (May have maximum content size.)
173 uint32_t contentSize, data_mapping_t* paramBuffer)
181 if (contentSize >= paramBuffer->size) {
184 memcpy(paramBuffer->vaddr, content, contentSize);
185 return data_provide_data_from_parambuffer(session, dspace_fd, offset, contentSize);
172 data_provide_data(seL4_CPtr session, seL4_CPtr dspace_fd, uint32_t offset, char *content, uint32_t contentSize, data_mapping_t* paramBuffer) argument
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
| H A D | data_client_helper.h | 167 @param contentSize The size of the content. (May have maximum content size.)
173 uint32_t contentSize, data_mapping_t* paramBuffer)
181 if (contentSize >= paramBuffer->size) {
184 memcpy(paramBuffer->vaddr, content, contentSize);
185 return data_provide_data_from_parambuffer(session, dspace_fd, offset, contentSize);
172 data_provide_data(seL4_CPtr session, seL4_CPtr dspace_fd, uint32_t offset, char *content, uint32_t contentSize, data_mapping_t* paramBuffer) argument
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | fault_notify.c | 234 size_t contentSize = MIN(dspace->fileDataSize - dataspaceOffset, REFOS_PAGE_SIZE); local
243 contentSize, &fileServCommon->procServParamBuffer
252 dvprintf(" Data ready. Content size is 0x%x\n", contentSize);
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | fault_notify.c | 234 size_t contentSize = MIN(dspace->fileDataSize - dataspaceOffset, REFOS_PAGE_SIZE); local
243 contentSize, &fileServCommon->procServParamBuffer
252 dvprintf(" Data ready. Content size is 0x%x\n", contentSize);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | ringbuffer.c | 196 size_t contentSize = (buf->size - 1) - rb_remaining_size(buf); local
197 if (len > contentSize) {
|
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | ringbuffer.c | 196 size_t contentSize = (buf->size - 1) - rb_remaining_size(buf); local
197 if (len > contentSize) {
|
Completed in 43 milliseconds