Searched refs:faultNotifyEP (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddata_syscall.c321 seL4_CPtr faultNotifyEP = dispatcher_copyout_cptr(rpc_faultNotifyEP); local
322 if (!faultNotifyEP) {
323 dvprintf("could not copy out faultNotifyEP.");
327 vka_cspace_make_path(&procServ.vka, faultNotifyEP, &path);
332 dispatcher_release_copyout_cptr(faultNotifyEP);
H A Dmem_syscall.c223 seL4_CPtr faultNotifyEP = dispatcher_copyout_cptr(rpc_faultNotifyEP); local
224 if (!faultNotifyEP) {
225 dvprintf("could not copy out faultNotifyEP.");
232 vka_cspace_make_path(&procServ.vka, faultNotifyEP, &faultNotifyEPPath);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Ddata_syscall.c321 seL4_CPtr faultNotifyEP = dispatcher_copyout_cptr(rpc_faultNotifyEP); local
322 if (!faultNotifyEP) {
323 dvprintf("could not copy out faultNotifyEP.");
327 vka_cspace_make_path(&procServ.vka, faultNotifyEP, &path);
332 dispatcher_release_copyout_cptr(faultNotifyEP);
H A Dmem_syscall.c223 seL4_CPtr faultNotifyEP = dispatcher_copyout_cptr(rpc_faultNotifyEP); local
224 if (!faultNotifyEP) {
225 dvprintf("could not copy out faultNotifyEP.");
232 vka_cspace_make_path(&procServ.vka, faultNotifyEP, &faultNotifyEPPath);

Completed in 31 milliseconds