| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | fault_notify.c | 60 seL4_Word winID = notification->arg[0]; local
|
| H A D | cpio_dspace.c | 308 seL4_Word winID; local
349 int winID = proc_window_getID(memoryWindow); local
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | fault_notify.c | 60 seL4_Word winID = notification->arg[0]; local
|
| H A D | cpio_dspace.c | 308 seL4_Word winID; local
349 int winID = proc_window_getID(memoryWindow); local
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
| H A D | dataspace.c | 231 dspace_window_associate(struct fs_dataspace_table *dt, int winID, int dsID, int dsOffset, argument
238 dspace_window_find(struct fs_dataspace_table *dt, int winID) argument
244 dspace_window_unassociate(struct fs_dataspace_table *dt, int winID) argument
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | window.h | 120 int winID; member in struct:w_associated_window
|
| H A D | window.c | 330 w_associate(struct w_associated_windowlist *aw, int winID, vaddr_t offset, vaddr_t size) argument
360 w_unassociate(struct w_associated_windowlist *aw, int winID) argument
457 w_associate_find_winID(struct w_associated_windowlist *aw, int winID) argument
[all...] |
| /seL4-refos-master/apps/file_server/src/ |
| H A D | dataspace.c | 231 dspace_window_associate(struct fs_dataspace_table *dt, int winID, int dsID, int dsOffset, argument
238 dspace_window_find(struct fs_dataspace_table *dt, int winID) argument
244 dspace_window_unassociate(struct fs_dataspace_table *dt, int winID) argument
|
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | window.h | 120 int winID; member in struct:w_associated_window
|
| H A D | window.c | 330 w_associate(struct w_associated_windowlist *aw, int winID, vaddr_t offset, vaddr_t size) argument
360 w_unassociate(struct w_associated_windowlist *aw, int winID) argument
457 w_associate_find_winID(struct w_associated_windowlist *aw, int winID) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 215 vs_create_window(struct vs_vspace *vs, vaddr_t vaddr, vaddr_t size, seL4_Word permissions, bool cacheable, int *winID) argument
[all...] |
| /seL4-refos-master/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 215 vs_create_window(struct vs_vspace *vs, vaddr_t vaddr, vaddr_t size, seL4_Word permissions, bool cacheable, int *winID) argument
[all...] |