Searched refs:W_BADGE_BASE (Results 1 - 10 of 10) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | badge.h | 37 #define W_BADGE_BASE PID_LIVENESS_BADGE_END macro
38 #define W_BADGE_END (W_BADGE_BASE + W_MAX_WINDOWS)
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | badge.h | 37 #define W_BADGE_BASE PID_LIVENESS_BADGE_END macro
38 #define W_BADGE_END (W_BADGE_BASE + W_MAX_WINDOWS)
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | mem_syscall.c | 107 return vs_resize_window(&pcb->vspace, rpc_window - W_BADGE_BASE, rpc_size);
127 vs_delete_window(&pcb->vspace, rpc_window - W_BADGE_BASE);
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 | dispatcher.h | 95 return (badge >= W_BADGE_BASE && badge < W_BADGE_END);
|
| H A D | data_syscall.c | 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);
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | mem_syscall.c | 107 return vs_resize_window(&pcb->vspace, rpc_window - W_BADGE_BASE, rpc_size);
127 vs_delete_window(&pcb->vspace, rpc_window - W_BADGE_BASE);
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 | dispatcher.h | 95 return (badge >= W_BADGE_BASE && badge < W_BADGE_END);
|
| H A D | data_syscall.c | 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);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | window.c | 96 nw->capability = procserv_mint_badge(W_BADGE_BASE + id);
|
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | window.c | 96 nw->capability = procserv_mint_badge(W_BADGE_BASE + id);
|
Completed in 89 milliseconds