Searched refs:procserv_find_device (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.h | 147 cspacepath_t procserv_find_device(void *paddr, int size);
|
| H A D | state.c | 290 procserv_find_device(void *paddr, int size) function
304 ROS_ERROR("procserv_find_device invalid size 0x%x!\n", size);
311 ROS_ERROR("procserv_find_device failed to allocate cslot.");
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | state.h | 147 cspacepath_t procserv_find_device(void *paddr, int size);
|
| H A D | state.c | 290 procserv_find_device(void *paddr, int size) function
304 ROS_ERROR("procserv_find_device invalid size 0x%x!\n", size);
311 ROS_ERROR("procserv_find_device failed to allocate cslot.");
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | dataspace.c | 292 cspacepath_t deviceFrame = procserv_find_device(
407 dprintf("procserv_find_device...\n");
408 cspacepath_t deviceFrame = procserv_find_device((void*) paddr, REFOS_PAGE_SIZE);
416 dprintf("procserv_find_device OK...\n");
|
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | dataspace.c | 292 cspacepath_t deviceFrame = procserv_find_device(
407 dprintf("procserv_find_device...\n");
408 cspacepath_t deviceFrame = procserv_find_device((void*) paddr, REFOS_PAGE_SIZE);
416 dprintf("procserv_find_device OK...\n");
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 543 cspacepath_t deviceFrame = procserv_find_device((void*) paddr, size);
|
| /seL4-refos-master/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 543 cspacepath_t deviceFrame = procserv_find_device((void*) paddr, size);
|
Completed in 38 milliseconds