Searched refs:windowID (Results 1 - 10 of 10) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | window.h | 27 windowID, dynamically allocated.
164 @param windowID The windowID to delete.
167 int w_delete_window(struct w_list *wlist, int windowID);
169 /*! @brief Retrieve the window structure associated with given windowID.
171 @param windowID The windowID to delete.
174 struct w_window* w_get_window(struct w_list *wlist, int windowID);
|
| H A D | window.c | 192 w_delete_window(struct w_list *wlist, int windowID) argument
194 coat_free(&wlist->windows, windowID);
199 w_get_window(struct w_list *wlist, int windowID) argument
201 if (windowID <= W_INVALID_WINID || windowID >= W_MAX_WINDOWS) {
205 struct w_window* window = (struct w_window*) coat_get(&wlist->windows, windowID);
|
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | window.h | 27 windowID, dynamically allocated.
164 @param windowID The windowID to delete.
167 int w_delete_window(struct w_list *wlist, int windowID);
169 /*! @brief Retrieve the window structure associated with given windowID.
171 @param windowID The windowID to delete.
174 struct w_window* w_get_window(struct w_list *wlist, int windowID);
|
| H A D | window.c | 192 w_delete_window(struct w_list *wlist, int windowID) argument
194 coat_free(&wlist->windows, windowID);
199 w_get_window(struct w_list *wlist, int windowID) argument
201 if (windowID <= W_INVALID_WINID || windowID >= W_MAX_WINDOWS) {
205 struct w_window* window = (struct w_window*) coat_get(&wlist->windows, windowID);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | mem_syscall.c | 63 int windowID = W_INVALID_WINID; local
66 &windowID);
67 if (error != ESUCCESS || windowID == W_INVALID_WINID) {
74 struct w_window* window = w_get_window(&procServ.windowList, windowID);
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | mem_syscall.c | 63 int windowID = W_INVALID_WINID; local
66 &windowID);
67 if (error != ESUCCESS || windowID == W_INVALID_WINID) {
74 struct w_window* window = w_get_window(&procServ.windowList, windowID);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
| H A D | test_addrspace.c | 124 int windowID; local
126 true, &windowID);
128 test_assert(windowID != W_INVALID_WINID);
|
| /seL4-refos-master/apps/process_server/src/test/ |
| H A D | test_addrspace.c | 124 int windowID; local
126 true, &windowID);
128 test_assert(windowID != W_INVALID_WINID);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | process.c | 62 int windowID = W_INVALID_WINID; local
64 W_PERMISSION_WRITE | W_PERMISSION_READ, true, &windowID);
81 if (windowID != W_INVALID_WINID) {
82 vs_delete_window(vs, windowID);
|
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | process.c | 62 int windowID = W_INVALID_WINID; local
64 W_PERMISSION_WRITE | W_PERMISSION_READ, true, &windowID);
81 if (windowID != W_INVALID_WINID) {
82 vs_delete_window(vs, windowID);
|
Completed in 100 milliseconds