Searched defs:permissions (Results 1 - 12 of 12) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
H A D | dataspace.h | 49 seL4_Word permissions; member in struct:fs_dataspace
|
H A D | dataspace.c | 136 dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData, size_t fileDataSize, seL4_Word permissions) argument
|
/seL4-refos-master/apps/file_server/src/ |
H A D | dataspace.h | 49 seL4_Word permissions; member in struct:fs_dataspace
|
H A D | dataspace.c | 136 dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData, size_t fileDataSize, seL4_Word permissions) argument
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
H A D | window.h | 88 seL4_Word permissions; member in struct:w_window
|
H A D | window.c | 165 w_create_window(struct w_list *wlist, vaddr_t size, int ownerPID, seL4_Word permissions, argument
|
/seL4-refos-master/apps/process_server/src/system/memserv/ |
H A D | window.h | 88 seL4_Word permissions; member in struct:w_window
|
H A D | window.c | 165 w_create_window(struct w_list *wlist, vaddr_t size, int ownerPID, seL4_Word permissions, argument
|
/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, argument
|
/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, argument
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | elf.c | 30 static inline seL4_CapRights_t rights_from_elf(unsigned long permissions) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | elf.c | 30 static inline seL4_CapRights_t rights_from_elf(unsigned long permissions) argument [all...] |
Completed in 56 milliseconds