Searched defs: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
343 seL4_CPtr memoryWindow = rpc_copyout_cptr(rpc_memoryWindow); local
[all...]
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c301 seL4_CPtr memoryWindow = rpc_copyout_cptr(rpc_memoryWindow); local
343 seL4_CPtr memoryWindow = rpc_copyout_cptr(rpc_memoryWindow); local
[all...]

Completed in 33 milliseconds