| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | window.c | 291 @param aw The window association list of a process.
294 w_associate_update(struct w_associated_windowlist *aw) argument
296 assert(aw);
297 qsort(aw->associated, aw->numIndex, sizeof(struct w_associated_window), w_associate_compare);
298 aw->updated = true;
302 w_associate_reserve(struct w_associated_windowlist *aw, int num) { argument
303 if (num < aw->associatedVectorSize) {
307 if (aw->associatedVectorSize == 0 || aw
323 w_associate_init(struct w_associated_windowlist *aw) argument
330 w_associate(struct w_associated_windowlist *aw, int winID, vaddr_t offset, vaddr_t size) argument
348 w_associate_print(struct w_associated_windowlist *aw) argument
360 w_unassociate(struct w_associated_windowlist *aw, int winID) argument
372 w_associate_clear(struct w_associated_windowlist *aw) argument
388 w_associate_release_associated_all_windows(struct w_list *wlist, struct w_associated_windowlist *aw) argument
406 w_associate_find_index(struct w_associated_windowlist *aw, vaddr_t addr) argument
450 w_associate_find(struct w_associated_windowlist *aw, vaddr_t addr) argument
457 w_associate_find_winID(struct w_associated_windowlist *aw, int winID) argument
474 w_associate_check(struct w_associated_windowlist *aw, vaddr_t offset, vaddr_t size) argument
492 w_associate_find_range(struct w_associated_windowlist *aw, vaddr_t offset, vaddr_t size) argument
[all...] |
| H A D | window.h | 235 void w_associate_init(struct w_associated_windowlist *aw);
238 @param aw The window association list of a process.
244 int w_associate(struct w_associated_windowlist *aw, int winID, vaddr_t offset, vaddr_t size);
247 @param aw The window association list of a process.
249 void w_associate_print(struct w_associated_windowlist *aw);
252 @param aw The window association list of a process.
255 void w_unassociate(struct w_associated_windowlist *aw, int winID);
258 @param aw The window association list of a process to be cleared.
260 void w_associate_clear(struct w_associated_windowlist *aw);
269 @param aw Th
[all...] |
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | window.c | 291 @param aw The window association list of a process.
294 w_associate_update(struct w_associated_windowlist *aw) argument
296 assert(aw);
297 qsort(aw->associated, aw->numIndex, sizeof(struct w_associated_window), w_associate_compare);
298 aw->updated = true;
302 w_associate_reserve(struct w_associated_windowlist *aw, int num) { argument
303 if (num < aw->associatedVectorSize) {
307 if (aw->associatedVectorSize == 0 || aw
323 w_associate_init(struct w_associated_windowlist *aw) argument
330 w_associate(struct w_associated_windowlist *aw, int winID, vaddr_t offset, vaddr_t size) argument
348 w_associate_print(struct w_associated_windowlist *aw) argument
360 w_unassociate(struct w_associated_windowlist *aw, int winID) argument
372 w_associate_clear(struct w_associated_windowlist *aw) argument
388 w_associate_release_associated_all_windows(struct w_list *wlist, struct w_associated_windowlist *aw) argument
406 w_associate_find_index(struct w_associated_windowlist *aw, vaddr_t addr) argument
450 w_associate_find(struct w_associated_windowlist *aw, vaddr_t addr) argument
457 w_associate_find_winID(struct w_associated_windowlist *aw, int winID) argument
474 w_associate_check(struct w_associated_windowlist *aw, vaddr_t offset, vaddr_t size) argument
492 w_associate_find_range(struct w_associated_windowlist *aw, vaddr_t offset, vaddr_t size) argument
[all...] |
| H A D | window.h | 235 void w_associate_init(struct w_associated_windowlist *aw);
238 @param aw The window association list of a process.
244 int w_associate(struct w_associated_windowlist *aw, int winID, vaddr_t offset, vaddr_t size);
247 @param aw The window association list of a process.
249 void w_associate_print(struct w_associated_windowlist *aw);
252 @param aw The window association list of a process.
255 void w_unassociate(struct w_associated_windowlist *aw, int winID);
258 @param aw The window association list of a process to be cleared.
260 void w_associate_clear(struct w_associated_windowlist *aw);
269 @param aw Th
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.c | 124 @param aw Found associated window of the faulting address & client.
130 struct w_associated_window *aw, struct w_window *window)
133 assert(aw && window && window->mode == W_MODE_ANONYMOUS);
136 REFOS_PAGE_ALIGN(aw->offset);
151 if (f->faultAddr + window->ramDataspaceOffset >= aw->offset + aw->size) {
218 @param aw Found associated window of the faulting address & client.
224 struct w_associated_window *aw, struct w_window *window)
227 assert(aw && window && window->mode == W_MODE_PAGER);
236 vmFaultNotification.arg[3] = aw
129 handle_vm_fault_dspace(struct procserv_msg *m, struct procserv_vmfault_msg *f, struct w_associated_window *aw, struct w_window *window) argument
223 handle_vm_fault_pager(struct procserv_msg *m, struct procserv_vmfault_msg *f, struct w_associated_window *aw, struct w_window *window) argument
286 struct w_associated_window *aw = w_associate_find(&f->pcb->vspace.windows, f->faultAddr); local
[all...] |
| H A D | mem_syscall.c | 138 struct w_associated_window *aw = w_associate_find(&pcb->vspace.windows, rpc_vaddr); local
139 if (!aw) {
144 struct w_window *window = w_get_window(&procServ.windowList, aw->winID);
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.c | 124 @param aw Found associated window of the faulting address & client.
130 struct w_associated_window *aw, struct w_window *window)
133 assert(aw && window && window->mode == W_MODE_ANONYMOUS);
136 REFOS_PAGE_ALIGN(aw->offset);
151 if (f->faultAddr + window->ramDataspaceOffset >= aw->offset + aw->size) {
218 @param aw Found associated window of the faulting address & client.
224 struct w_associated_window *aw, struct w_window *window)
227 assert(aw && window && window->mode == W_MODE_PAGER);
236 vmFaultNotification.arg[3] = aw
129 handle_vm_fault_dspace(struct procserv_msg *m, struct procserv_vmfault_msg *f, struct w_associated_window *aw, struct w_window *window) argument
223 handle_vm_fault_pager(struct procserv_msg *m, struct procserv_vmfault_msg *f, struct w_associated_window *aw, struct w_window *window) argument
286 struct w_associated_window *aw = w_associate_find(&f->pcb->vspace.windows, f->faultAddr); local
[all...] |
| H A D | mem_syscall.c | 138 struct w_associated_window *aw = w_associate_find(&pcb->vspace.windows, rpc_vaddr); local
139 if (!aw) {
144 struct w_window *window = w_get_window(&procServ.windowList, aw->winID);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
| H A D | test_memserv.c | 78 struct w_associated_windowlist aw; local
79 w_associate_init(&aw);
81 w_associate(&aw, 4, 400, 10);
82 w_associate(&aw, 2, 200, 10);
83 w_associate(&aw, 3, 300, 10);
84 w_associate(&aw, 1, 100, 10);
85 w_associate(&aw, 5, 500, 10);
89 w_associate_print(&aw);
92 w_associate_find(&aw, (vaddr_t) 0);
93 w_associate_print(&aw);
[all...] |
| /seL4-refos-master/apps/process_server/src/test/ |
| H A D | test_memserv.c | 78 struct w_associated_windowlist aw; local
79 w_associate_init(&aw);
81 w_associate(&aw, 4, 400, 10);
82 w_associate(&aw, 2, 200, 10);
83 w_associate(&aw, 3, 300, 10);
84 w_associate(&aw, 1, 100, 10);
85 w_associate(&aw, 5, 500, 10);
89 w_associate_print(&aw);
92 w_associate_find(&aw, (vaddr_t) 0);
93 w_associate_print(&aw);
[all...] |