Searched refs:memoryWindow (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c301 seL4_CPtr memoryWindow = rpc_copyout_cptr(rpc_memoryWindow); local
302 if (!memoryWindow) {
309 int error = proc_register_as_pager(memoryWindow, fileServCommon->notifyClientFaultDeathAsyncEP,
312 csfree(memoryWindow);
320 memoryWindow);
323 csfree(memoryWindow);
343 seL4_CPtr memoryWindow = rpc_copyout_cptr(rpc_memoryWindow); local
344 if (!memoryWindow) {
349 int winID = proc_window_getID(memoryWindow);
352 csfree(memoryWindow);
[all...]
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c301 seL4_CPtr memoryWindow = rpc_copyout_cptr(rpc_memoryWindow); local
302 if (!memoryWindow) {
309 int error = proc_register_as_pager(memoryWindow, fileServCommon->notifyClientFaultDeathAsyncEP,
312 csfree(memoryWindow);
320 memoryWindow);
323 csfree(memoryWindow);
343 seL4_CPtr memoryWindow = rpc_copyout_cptr(rpc_memoryWindow); local
344 if (!memoryWindow) {
349 int winID = proc_window_getID(memoryWindow);
352 csfree(memoryWindow);
[all...]

Completed in 33 milliseconds