/seL4-refos-master/libs/librefos/src/refos-rpc/ |
H A D | serv_client_helper.c | 33 serv_connect_internal(char *serverPath, bool paramBuffer) argument 80 if (paramBuffer) { 81 sc.paramBuffer = data_open_map(REFOS_PROCSERV_EP, "anon", 0, 0, 83 if (sc.paramBuffer.err != ESUCCESS) { 85 sc.error = sc.paramBuffer.err; 88 assert(sc.paramBuffer.window && sc.paramBuffer.dataspace); 89 assert(sc.paramBuffer.vaddr != NULL); 92 error = serv_set_param_buffer(sc.serverSession, sc.paramBuffer.dataspace, 100 sc.paramBuffer [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/ |
H A D | serv_client_helper.c | 33 serv_connect_internal(char *serverPath, bool paramBuffer) argument 80 if (paramBuffer) { 81 sc.paramBuffer = data_open_map(REFOS_PROCSERV_EP, "anon", 0, 0, 83 if (sc.paramBuffer.err != ESUCCESS) { 85 sc.error = sc.paramBuffer.err; 88 assert(sc.paramBuffer.window && sc.paramBuffer.dataspace); 89 assert(sc.paramBuffer.vaddr != NULL); 92 error = serv_set_param_buffer(sc.serverSession, sc.paramBuffer.dataspace, 100 sc.paramBuffer [all...] |
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
H A D | process.c | 201 p->paramBuffer = NULL; 389 if (p->paramBuffer) { 390 ram_dspace_unref(p->paramBuffer->parentList, p->paramBuffer->ID); 391 p->paramBuffer = NULL; 442 proc_set_parambuffer(struct proc_pcb *p, struct ram_dspace *paramBuffer) argument 445 if (p->paramBuffer == paramBuffer) { 448 } else if (p->paramBuffer != NULL) { 450 ram_dspace_unref(p->paramBuffer [all...] |
H A D | process.h | 62 struct ram_dspace *paramBuffer; /* Shared ownership. */ member in struct:proc_pcb 151 @param paramBuffer The parameter buffer anon dataspace structure. (Shared ownership) 154 void proc_set_parambuffer(struct proc_pcb *p, struct ram_dspace *paramBuffer);
|
/seL4-refos-master/apps/process_server/src/system/process/ |
H A D | process.c | 201 p->paramBuffer = NULL; 389 if (p->paramBuffer) { 390 ram_dspace_unref(p->paramBuffer->parentList, p->paramBuffer->ID); 391 p->paramBuffer = NULL; 442 proc_set_parambuffer(struct proc_pcb *p, struct ram_dspace *paramBuffer) argument 445 if (p->paramBuffer == paramBuffer) { 448 } else if (p->paramBuffer != NULL) { 450 ram_dspace_unref(p->paramBuffer [all...] |
H A D | process.h | 62 struct ram_dspace *paramBuffer; /* Shared ownership. */ member in struct:proc_pcb 151 @param paramBuffer The parameter buffer anon dataspace structure. (Shared ownership) 154 void proc_set_parambuffer(struct proc_pcb *p, struct ram_dspace *paramBuffer);
|
/seL4-refos-master/libs/librefos/include/refos-rpc/ |
H A D | data_client_helper.h | 168 @param paramBuffer The parameter buffer that has been set up. 173 uint32_t contentSize, data_mapping_t* paramBuffer) 178 if (!paramBuffer || paramBuffer->err != ESUCCESS) { 181 if (contentSize >= paramBuffer->size) { 184 memcpy(paramBuffer->vaddr, content, 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
|
H A D | serv_client_helper.h | 46 data_mapping_t paramBuffer; /* Has ownership. */ member in struct:serv_connection_s
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
H A D | data_client_helper.h | 168 @param paramBuffer The parameter buffer that has been set up. 173 uint32_t contentSize, data_mapping_t* paramBuffer) 178 if (!paramBuffer || paramBuffer->err != ESUCCESS) { 181 if (contentSize >= paramBuffer->size) { 184 memcpy(paramBuffer->vaddr, content, 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
|
H A D | serv_client_helper.h | 46 data_mapping_t paramBuffer; /* Has ownership. */ member in struct:serv_connection_s
|
/seL4-refos-master/libs/librefos/src/refos-util/ |
H A D | serv_common.c | 92 seL4_CNode_Revoke(REFOS_CSPACE, c->paramBuffer, REFOS_CDEPTH); 93 seL4_CNode_Delete(REFOS_CSPACE, c->paramBuffer, REFOS_CDEPTH); 94 csfree(c->paramBuffer); 95 c->paramBuffer = 0; 110 c->paramBuffer = rpc_copyout_cptr(parambufferDataspace); 111 if (!c->paramBuffer) {
|
H A D | serv_connect.c | 42 nclient->paramBuffer = 0; 94 if (client->paramBuffer) { 95 //seL4_CNode_Revoke(REFOS_CSPACE, client->paramBuffer, REFOS_CDEPTH); // FIXME REVOKE BUG 96 seL4_CNode_Delete(REFOS_CSPACE, client->paramBuffer, REFOS_CDEPTH); 97 csfree(client->paramBuffer);
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | serv_common.c | 92 seL4_CNode_Revoke(REFOS_CSPACE, c->paramBuffer, REFOS_CDEPTH); 93 seL4_CNode_Delete(REFOS_CSPACE, c->paramBuffer, REFOS_CDEPTH); 94 csfree(c->paramBuffer); 95 c->paramBuffer = 0; 110 c->paramBuffer = rpc_copyout_cptr(parambufferDataspace); 111 if (!c->paramBuffer) {
|
H A D | serv_connect.c | 42 nclient->paramBuffer = 0; 94 if (client->paramBuffer) { 95 //seL4_CNode_Revoke(REFOS_CSPACE, client->paramBuffer, REFOS_CDEPTH); // FIXME REVOKE BUG 96 seL4_CNode_Delete(REFOS_CSPACE, client->paramBuffer, REFOS_CDEPTH); 97 csfree(client->paramBuffer);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | dispatcher.c | 105 /* Check that client actually has a paramBuffer set. */ 106 if (!pcb->paramBuffer && readLen) { 121 /* Read bytes out of the paramBuffer dataspace. */ 123 int error = ram_dspace_read(tempBuffer, readLen, pcb->paramBuffer, 0);
|
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | dispatcher.c | 105 /* Check that client actually has a paramBuffer set. */ 106 if (!pcb->paramBuffer && readLen) { 121 /* Read bytes out of the paramBuffer dataspace. */ 123 int error = ram_dspace_read(tempBuffer, readLen, pcb->paramBuffer, 0);
|
/seL4-refos-master/libs/librefos/include/refos-util/ |
H A D | serv_connect.h | 50 seL4_CPtr paramBuffer; member in struct:srv_client
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
H A D | serv_connect.h | 50 seL4_CPtr paramBuffer; member in struct:srv_client
|
/seL4-refos-master/projects/refos/impl/apps/test_os/src/ |
H A D | test_fileserv.c | 152 test_assert(c.paramBuffer.err == ESUCCESS); 153 strcpy(c.paramBuffer.vaddr, "test");
|
/seL4-refos-master/apps/test_os/src/ |
H A D | test_fileserv.c | 152 test_assert(c.paramBuffer.err == ESUCCESS); 153 strcpy(c.paramBuffer.vaddr, "test");
|