| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | mapping.c | 116 void *sel4utils_dup_and_map(vka_t *vka, vspace_t *vspace, seL4_CPtr page, size_t size_bits) argument
141 void sel4utils_unmap_dup(vka_t *vka, vspace_t *vspace, void *mapping, size_t size_bits) argument
87 sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr, seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pts, int *num_pts) argument
98 sel4utils_map_ept_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, seL4_Word vaddr, seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pagetable, vka_object_t *pagedir, vka_object_t *pdpt) argument
|
| H A D | page_dma.c | 82 size_t size_bits = LOG_BASE_2(size); local
|
| H A D | slab.c | 37 ssize_t size_bits; member in struct:__anon642
101 static int delegate_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, argument
109 slab_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Wor argument
69 slab_utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
95 slab_utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument
135 alloc_object(vka_t *delegate, vka_object_t *untyped, size_t size_bits, seL4_Word type, vka_object_t *object) argument
156 alloc_object_slab(vka_t *delegate, vka_object_t *untyped, slab_t *slab, size_t n, size_t size_bits, seL4_Word type) argument
[all...] |
| /seL4-refos-master/libs/libsel4vka/src/ |
| H A D | debug-vka.c | 57 seL4_Word size_bits; member in struct:__anon644::obj
174 static void track_obj(state_t *state, seL4_Word type, seL4_Word size_bits, argument
207 utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
228 utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument
243 utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument
265 untrack_obj(state_t *state, seL4_Word type, seL4_Word size_bits, seL4_Word cookie) argument
288 utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
[all...] |
| /seL4-refos-master/libs/libsel4vspace/src/ |
| H A D | vspace.c | 75 void *vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, argument
101 int vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits, argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 67 uint32_t size_bits = bi->untypedSizeBitsList[i - bi->untyped.start]; local
108 uint32_t size_bits = bi->untypedSizeBitsList[i - bi->untyped.start]; local
164 uint32_t size_bits = bi->untypedSizeBitsList[i - bi->untyped.start]; local
232 uint32_t size_bits = bi->untypedSizeBitsList[i - bi->untyped.start]; local
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
| H A D | split.c | 100 int _utspace_split_add_uts(allocman_t *alloc, void *_split, size_t num, const cspacepath_t *uts, size_t *size_bits, argument
129 static int _refill_pool(allocman_t *alloc, utspace_split_t *split, struct utspace_split_node **heads, size_t size_bits, argument
225 find_head_for_paddr(struct utspace_split_node **head, uintptr_t paddr, size_t size_bits) argument
244 _utspace_split_alloc(allocman_t *alloc, void *_split, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) argument
327 _utspace_split_free(allocman_t *alloc, void *_split, seL4_Word cookie, size_t size_bits) argument
347 _utspace_split_paddr(void *_split, seL4_Word cookie, size_t size_bits) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | mapping.c | 116 void *sel4utils_dup_and_map(vka_t *vka, vspace_t *vspace, seL4_CPtr page, size_t size_bits) argument
141 void sel4utils_unmap_dup(vka_t *vka, vspace_t *vspace, void *mapping, size_t size_bits) argument
87 sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr, seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pts, int *num_pts) argument
98 sel4utils_map_ept_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, seL4_Word vaddr, seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pagetable, vka_object_t *pagedir, vka_object_t *pdpt) argument
|
| H A D | page_dma.c | 82 size_t size_bits = LOG_BASE_2(size); local
|
| H A D | slab.c | 37 ssize_t size_bits; member in struct:__anon808
101 static int delegate_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, argument
109 slab_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Wor argument
69 slab_utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
95 slab_utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument
135 alloc_object(vka_t *delegate, vka_object_t *untyped, size_t size_bits, seL4_Word type, vka_object_t *object) argument
156 alloc_object_slab(vka_t *delegate, vka_object_t *untyped, slab_t *slab, size_t n, size_t size_bits, seL4_Word type) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
| H A D | debug-vka.c | 57 seL4_Word size_bits; member in struct:__anon810::obj
174 static void track_obj(state_t *state, seL4_Word type, seL4_Word size_bits, argument
207 utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
228 utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument
243 utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument
265 untrack_obj(state_t *state, seL4_Word type, seL4_Word size_bits, seL4_Word cookie) argument
288 utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/src/ |
| H A D | vspace.c | 75 void *vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, argument
101 int vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits, argument
[all...] |
| /seL4-refos-master/libs/libsel4allocman/include/allocman/ |
| H A D | allocman.h | 78 size_t size_bits; member in struct:allocman_utspace_chunk
98 size_t size_bits; member in struct:allocman_freed_utspace_chunk
254 seL4_Word allocman_utspace_alloc(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, bool canBeDev, int *_error) argument
390 allocman_utspace_add_uts(allocman_t *alloc, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType) argument
410 allocman_utspace_paddr(allocman_t *alloc, seL4_Word cookie, size_t size_bits) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.c | 142 serial_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument
121 serial_utspace_alloc_at_fn(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | allocman.h | 78 size_t size_bits; member in struct:allocman_utspace_chunk
98 size_t size_bits; member in struct:allocman_freed_utspace_chunk
254 seL4_Word allocman_utspace_alloc(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, bool canBeDev, int *_error) argument
390 allocman_utspace_add_uts(allocman_t *alloc, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType) argument
410 allocman_utspace_paddr(allocman_t *alloc, seL4_Word cookie, size_t size_bits) argument
[all...] |
| /seL4-refos-master/apps/process_server/src/ |
| H A D | state.c | 142 serial_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument
121 serial_utspace_alloc_at_fn(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 300 static inline int update_entries(vspace_t *vspace, uintptr_t vaddr, seL4_CPtr cap, size_t size_bits, uintptr_t cookie) argument
314 static inline int reserve_entries(vspace_t *vspace, uintptr_t vaddr, size_t size_bits) argument
336 static inline int clear_entries(vspace_t *vspace, uintptr_t vaddr, size_t size_bits) argument
349 static inline bool is_reserved_or_empty(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits, argument
362 static inline bool is_available(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits) argument
372 is_reserved(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits) argument
[all...] |
| H A D | process_config.h | 113 static inline sel4utils_process_config_t process_config_create_cnode(sel4utils_process_config_t config, int size_bits) argument
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 300 static inline int update_entries(vspace_t *vspace, uintptr_t vaddr, seL4_CPtr cap, size_t size_bits, uintptr_t cookie) argument
314 static inline int reserve_entries(vspace_t *vspace, uintptr_t vaddr, size_t size_bits) argument
336 static inline int clear_entries(vspace_t *vspace, uintptr_t vaddr, size_t size_bits) argument
349 static inline bool is_reserved_or_empty(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits, argument
362 static inline bool is_available(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits) argument
372 is_reserved(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits) argument
[all...] |
| H A D | process_config.h | 113 static inline sel4utils_process_config_t process_config_create_cnode(sel4utils_process_config_t config, int size_bits) argument
|
| /seL4-refos-master/libs/libsel4simple-default/src/ |
| H A D | libsel4simple-default.c | 28 void *simple_default_get_frame_info(void *data, void *paddr, int size_bits, seL4_CPtr *frame_cap, seL4_Word *offset) argument
44 seL4_Error simple_default_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument
60 void *simple_default_get_frame_mapping(void *data, void *paddr, int size_bits) argument
142 seL4_CPtr simple_default_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument
[all...] |
| /seL4-refos-master/libs/libsel4vka/include/vka/ |
| H A D | object.h | 34 seL4_Word size_bits; member in struct:vka_object
40 static inline int vka_alloc_object_at_maybe_dev(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, argument
89 static inline int vka_alloc_object_at(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, argument
94 vka_alloc_object(vka_t *vka, seL4_Word type, seL4_Word size_bits, vka_object_t *result) argument
102 vka_alloc_object_leaky(vka_t *vka, seL4_Word type, seL4_Word size_bits) argument
131 vka_alloc_untyped(vka_t *vka, uint32_t size_bits, vka_object_t *result) argument
136 vka_alloc_untyped_at(vka_t *vka, uint32_t size_bits, uintptr_t paddr, vka_object_t *result) argument
157 vka_alloc_sched_context_size(UNUSED vka_t *vka, UNUSED vka_object_t *result, UNUSED uint32_t size_bits) argument
206 vka_alloc_frame(vka_t *vka, uint32_t size_bits, vka_object_t *result) argument
212 vka_alloc_frame_maybe_device(vka_t *vka, uint32_t size_bits, bool can_use_dev, vka_object_t *result) argument
218 vka_alloc_frame_at(vka_t *vka, uint32_t size_bits, uintptr_t paddr, vka_object_t *result) argument
245 vka_alloc_kobject(vka_t *vka, kobject_t type, seL4_Word size_bits, vka_object_t *result) argument
[all...] |
| H A D | vka.h | 217 vka_utspace_alloc(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
238 vka_utspace_alloc_maybe_device(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument
259 vka_utspace_alloc_at(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument
278 vka_utspace_free(vka_t *vka, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
296 vka_utspace_paddr(vka_t *vka, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/ |
| H A D | libsel4simple-default.c | 28 void *simple_default_get_frame_info(void *data, void *paddr, int size_bits, seL4_CPtr *frame_cap, seL4_Word *offset) argument
44 seL4_Error simple_default_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument
60 void *simple_default_get_frame_mapping(void *data, void *paddr, int size_bits) argument
142 seL4_CPtr simple_default_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | object.h | 34 seL4_Word size_bits; member in struct:vka_object
40 static inline int vka_alloc_object_at_maybe_dev(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, argument
89 static inline int vka_alloc_object_at(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, argument
94 vka_alloc_object(vka_t *vka, seL4_Word type, seL4_Word size_bits, vka_object_t *result) argument
102 vka_alloc_object_leaky(vka_t *vka, seL4_Word type, seL4_Word size_bits) argument
131 vka_alloc_untyped(vka_t *vka, uint32_t size_bits, vka_object_t *result) argument
136 vka_alloc_untyped_at(vka_t *vka, uint32_t size_bits, uintptr_t paddr, vka_object_t *result) argument
157 vka_alloc_sched_context_size(UNUSED vka_t *vka, UNUSED vka_object_t *result, UNUSED uint32_t size_bits) argument
206 vka_alloc_frame(vka_t *vka, uint32_t size_bits, vka_object_t *result) argument
212 vka_alloc_frame_maybe_device(vka_t *vka, uint32_t size_bits, bool can_use_dev, vka_object_t *result) argument
218 vka_alloc_frame_at(vka_t *vka, uint32_t size_bits, uintptr_t paddr, vka_object_t *result) argument
245 vka_alloc_kobject(vka_t *vka, kobject_t type, seL4_Word size_bits, vka_object_t *result) argument
[all...] |