Searched refs:paramBuffer (Results 1 - 20 of 20) sorted by relevance

/seL4-refos-master/libs/librefos/src/refos-rpc/
H A Dserv_client_helper.c33 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 Dserv_client_helper.c33 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 Dprocess.c201 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 Dprocess.h62 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 Dprocess.c201 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 Dprocess.h62 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 Ddata_client_helper.h168 @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 Dserv_client_helper.h46 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 Ddata_client_helper.h168 @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 Dserv_client_helper.h46 data_mapping_t paramBuffer; /* Has ownership. */ member in struct:serv_connection_s
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dserv_common.c92 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 Dserv_connect.c42 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 Dserv_common.c92 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 Dserv_connect.c42 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 Ddispatcher.c105 /* 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 Ddispatcher.c105 /* 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 Dserv_connect.h50 seL4_CPtr paramBuffer; member in struct:srv_client
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Dserv_connect.h50 seL4_CPtr paramBuffer; member in struct:srv_client
/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_fileserv.c152 test_assert(c.paramBuffer.err == ESUCCESS);
153 strcpy(c.paramBuffer.vaddr, "test");
/seL4-refos-master/apps/test_os/src/
H A Dtest_fileserv.c152 test_assert(c.paramBuffer.err == ESUCCESS);
153 strcpy(c.paramBuffer.vaddr, "test");

Completed in 48 milliseconds