| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | mem_syscall.c | 74 struct w_window* window = w_get_window(&procServ.windowList, windowID);
144 struct w_window *window = w_get_window(&procServ.windowList, aw->winID);
173 struct w_window *window = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
215 struct w_window *win = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
257 struct w_window *win = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
323 struct w_window *window = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
363 struct w_window *window = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
|
| H A D | data_syscall.c | 104 w_purge_dspace(&procServ.windowList, dspace);
207 struct w_window *window = w_get_window(&procServ.windowList, rpc_memoryWindow - W_BADGE_BASE);
249 struct w_window *window = w_get_window(&procServ.windowList, rpc_memoryWindow - W_BADGE_BASE);
|
| H A D | fault_handler.c | 293 struct w_window *window = w_get_window(&procServ.windowList, aw->winID);
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | mem_syscall.c | 74 struct w_window* window = w_get_window(&procServ.windowList, windowID);
144 struct w_window *window = w_get_window(&procServ.windowList, aw->winID);
173 struct w_window *window = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
215 struct w_window *win = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
257 struct w_window *win = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
323 struct w_window *window = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
363 struct w_window *window = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE);
|
| H A D | data_syscall.c | 104 w_purge_dspace(&procServ.windowList, dspace);
207 struct w_window *window = w_get_window(&procServ.windowList, rpc_memoryWindow - W_BADGE_BASE);
249 struct w_window *window = w_get_window(&procServ.windowList, rpc_memoryWindow - W_BADGE_BASE);
|
| H A D | fault_handler.c | 293 struct w_window *window = w_get_window(&procServ.windowList, aw->winID);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 155 w_associate_release_associated_all_windows(&procServ.windowList, &vs->windows);
246 struct w_window *window = w_create_window(&procServ.windowList, size, vs->pid,
270 w_delete_window(&procServ.windowList, window->wID);
296 int error = w_delete_window(&procServ.windowList, wID);
317 struct w_window* window = w_get_window(&procServ.windowList, wID);
389 struct w_window* window = w_get_window(&procServ.windowList, awindow->winID);
601 struct w_window* window = w_get_window(&procServ.windowList, awindow->winID);
628 struct w_window* window = w_get_window(&procServ.windowList, awindow->winID);
|
| /seL4-refos-master/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 155 w_associate_release_associated_all_windows(&procServ.windowList, &vs->windows);
246 struct w_window *window = w_create_window(&procServ.windowList, size, vs->pid,
270 w_delete_window(&procServ.windowList, window->wID);
296 int error = w_delete_window(&procServ.windowList, wID);
317 struct w_window* window = w_get_window(&procServ.windowList, wID);
389 struct w_window* window = w_get_window(&procServ.windowList, awindow->winID);
601 struct w_window* window = w_get_window(&procServ.windowList, awindow->winID);
628 struct w_window* window = w_get_window(&procServ.windowList, awindow->winID);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.h | 70 struct w_list windowList; member in struct:procserv_state
|
| H A D | state.c | 105 w_init(&s->windowList);
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | state.h | 70 struct w_list windowList; member in struct:procserv_state
|
| H A D | state.c | 105 w_init(&s->windowList);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | window.c | 63 if (window->parentList == &procServ.windowList && window->clientOwnerPID != PID_NULL) {
|
| H A D | dataspace.c | 103 window list that this dataspace has been deleted. This will loop through the windowList,
107 w_purge_dspace(&procServ.windowList, rds);
|
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | window.c | 63 if (window->parentList == &procServ.windowList && window->clientOwnerPID != PID_NULL) {
|
| H A D | dataspace.c | 103 window list that this dataspace has been deleted. This will loop through the windowList,
107 w_purge_dspace(&procServ.windowList, rds);
|