Searched refs:dspace (Results 26 - 28 of 28) sorted by relevance

12

/seL4-refos-master/apps/process_server/src/system/process/
H A Dprocess.c483 struct ram_dspace *dspace = (struct ram_dspace *) cookie; local
484 assert(dspace && dspace->magic == RAM_DATASPACE_MAGIC);
487 if (p->paramBuffer == dspace || (p->paramBuffer->parentList == dspace->parentList &&
488 p->paramBuffer->ID == dspace->ID)) {
496 if (p->notificationBuffer->dataspace == dspace ||
497 (p->notificationBuffer->dataspace->parentList == dspace->parentList &&
498 p->notificationBuffer->dataspace->ID == dspace->ID) ) {
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dmem_syscall.c292 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dataspace); local
293 if (!dspace) {
298 return proc_set_notificationbuffer(pcb, dspace);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dmem_syscall.c292 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dataspace); local
293 if (!dspace) {
298 return proc_set_notificationbuffer(pcb, dspace);

Completed in 35 milliseconds

12