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

/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dmem_syscall.c266 cspacepath_t emptyPath; local
267 memset(&emptyPath, 0, sizeof(cspacepath_t));
268 w_set_pager_endpoint(win, emptyPath, PID_NULL);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dmem_syscall.c266 cspacepath_t emptyPath; local
267 memset(&emptyPath, 0, sizeof(cspacepath_t));
268 w_set_pager_endpoint(win, emptyPath, PID_NULL);

Completed in 26 milliseconds