Searched refs:allocman_configure_utspace_reserve (Results 1 - 5 of 5) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/ |
| H A D | reservation.h | 18 allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {vka_get_object_size(seL4_ARM_PageDirectoryObject, 0), seL4_ARM_PageDirectoryObject, 1});
19 allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {vka_get_object_size(seL4_ARM_PageUpperDirectoryObject, 0), seL4_ARM_PageUpperDirectoryObject, 1});
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/ |
| H A D | reservation.h | 18 allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {vka_get_object_size(seL4_X86_PageDirectoryObject, 0), seL4_X86_PageDirectoryObject, 1});
19 allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {vka_get_object_size(seL4_X86_PDPTObject, 0), seL4_X86_PDPTObject, 1});
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | allocman.h | 75 * Used by {@link #allocman_configure_utspace_reserve}
329 int allocman_configure_utspace_reserve(allocman_t *alloc, struct allocman_utspace_chunk chunk);
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 740 return allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {cnode_size + seL4_SlotBits, seL4_CapTableObject, 1});
1271 allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {vka_get_object_size(seL4_ARCH_4KPage, 0), seL4_ARCH_4KPage, 3}); function
1272 allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {vka_get_object_size(seL4_ARCH_PageTableObject, 0), seL4_ARCH_PageTableObject, 1}); function
|
| H A D | allocman.c | 519 int allocman_configure_utspace_reserve(allocman_t *alloc, struct allocman_utspace_chunk chunk) { function
|
Completed in 35 milliseconds