Searched defs:paramBuffer (Results 1 - 12 of 12) sorted by path
/seL4-refos-master/apps/process_server/src/system/process/ |
H A D | process.c | 442 proc_set_parambuffer(struct proc_pcb *p, struct ram_dspace *paramBuffer) argument [all...] |
H A D | process.h | 62 struct ram_dspace *paramBuffer; /* Shared ownership. */ member in struct:proc_pcb
|
/seL4-refos-master/libs/librefos/include/refos-rpc/ |
H A D | data_client_helper.h | 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/include/refos-util/ |
H A D | serv_connect.h | 50 seL4_CPtr paramBuffer; member in struct:srv_client
|
/seL4-refos-master/libs/librefos/src/refos-rpc/ |
H A D | serv_client_helper.c | 33 serv_connect_internal(char *serverPath, bool paramBuffer) argument [all...] |
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
H A D | process.c | 442 proc_set_parambuffer(struct proc_pcb *p, struct ram_dspace *paramBuffer) argument [all...] |
H A D | process.h | 62 struct ram_dspace *paramBuffer; /* Shared ownership. */ member in struct:proc_pcb
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
H A D | data_client_helper.h | 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-util/ |
H A D | serv_connect.h | 50 seL4_CPtr paramBuffer; member in struct:srv_client
|
/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 [all...] |
Completed in 57 milliseconds