/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 37 size_t num_pages; member in struct:vspace_new_pages_config 47 * @param num_pages number of pages in reservation 52 static inline int default_vspace_new_pages_config(size_t num_pages, size_t size_bits, argument 55 if (num_pages == 0) { 61 config->num_pages = num_pages; 119 * @param num_pages number of pages to share 126 void *vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, 232 size_t num_pages, size_t size_bits); 236 size_t num_pages, size_ 517 vspace_new_pages(vspace_t *vspace, seL4_CapRights_t rights, size_t num_pages, size_t size_bits) argument 555 vspace_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument 594 vspace_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument 618 vspace_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument 643 vspace_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument 670 vspace_unmap_pages(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, vka_t *vka) argument 879 vspace_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t res) argument [all...] |
/seL4-refos-master/libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 37 size_t num_pages; member in struct:vspace_new_pages_config 47 * @param num_pages number of pages in reservation 52 static inline int default_vspace_new_pages_config(size_t num_pages, size_t size_bits, argument 55 if (num_pages == 0) { 61 config->num_pages = num_pages; 119 * @param num_pages number of pages to share 126 void *vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, 232 size_t num_pages, size_t size_bits); 236 size_t num_pages, size_ 517 vspace_new_pages(vspace_t *vspace, seL4_CapRights_t rights, size_t num_pages, size_t size_bits) argument 555 vspace_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument 594 vspace_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument 618 vspace_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument 643 vspace_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument 670 vspace_unmap_pages(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, vka_t *vka) argument 879 vspace_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t res) argument [all...] |
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | io.c | 35 size_t num_pages; member in struct:io_mapping 63 static io_mapping_t *new_node(size_t num_pages) argument 71 ret->caps = calloc(num_pages, sizeof(seL4_CPtr)); 77 ret->alloc_cookies = calloc(num_pages, sizeof(seL4_Word)); 83 ret->num_pages = num_pages; 90 for (size_t i = 0; i < mapping->num_pages; i++) { 150 assert(mapping->num_pages << page_size_bits >= size); 152 ZF_LOGE("Failed to allocate node for %zu pages", mapping->num_pages); 159 for (unsigned int i = 0; i < mapping->num_pages; [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | io.c | 35 size_t num_pages; member in struct:io_mapping 63 static io_mapping_t *new_node(size_t num_pages) argument 71 ret->caps = calloc(num_pages, sizeof(seL4_CPtr)); 77 ret->alloc_cookies = calloc(num_pages, sizeof(seL4_Word)); 83 ret->num_pages = num_pages; 90 for (size_t i = 0; i < mapping->num_pages; i++) { 150 assert(mapping->num_pages << page_size_bits >= size); 152 ZF_LOGE("Failed to allocate node for %zu pages", mapping->num_pages); 159 for (unsigned int i = 0; i < mapping->num_pages; [all...] |
/seL4-refos-master/libs/libsel4muslcsys/src/ |
H A D | sys_morecore.c | 261 int num_pages = old_size >> seL4_PageBits; local 262 seL4_CPtr caps[num_pages]; 263 uintptr_t cookies[num_pages]; 265 for (i = 0; i < num_pages; i++) { 271 vspace_unmap_pages(muslc_this_vspace, old_address, num_pages, seL4_PageBits, VSPACE_PRESERVE); 283 error = vspace_map_pages_at_vaddr(muslc_this_vspace, caps, cookies, new_address, num_pages, seL4_PageBits, reservation); 290 error = vspace_new_pages_at_vaddr(muslc_this_vspace, new_address + num_pages * PAGE_SIZE_4K, new_pages - num_pages, 294 vspace_unmap_pages(muslc_this_vspace, new_address, num_pages, seL4_PageBits, VSPACE_PRESERVE); 303 reservation = vspace_reserve_range_at(muslc_this_vspace, old_address, num_pages * PAGE_SIZE_4 [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_morecore.c | 261 int num_pages = old_size >> seL4_PageBits; local 262 seL4_CPtr caps[num_pages]; 263 uintptr_t cookies[num_pages]; 265 for (i = 0; i < num_pages; i++) { 271 vspace_unmap_pages(muslc_this_vspace, old_address, num_pages, seL4_PageBits, VSPACE_PRESERVE); 283 error = vspace_map_pages_at_vaddr(muslc_this_vspace, caps, cookies, new_address, num_pages, seL4_PageBits, reservation); 290 error = vspace_new_pages_at_vaddr(muslc_this_vspace, new_address + num_pages * PAGE_SIZE_4K, new_pages - num_pages, 294 vspace_unmap_pages(muslc_this_vspace, new_address, num_pages, seL4_PageBits, VSPACE_PRESERVE); 303 reservation = vspace_reserve_range_at(muslc_this_vspace, old_address, num_pages * PAGE_SIZE_4 [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 81 reservation_t res = vspace_reserve_range_aligned(to, num_pages * (BIT(size_bits)), size_bits, 89 int error = vspace_share_mem_at_vaddr(from, to, start, num_pages, size_bits, result, res); 124 res = vspace_reserve_range_aligned(vspace, config->num_pages * SIZE_BITS_TO_BYTES(config->size_bits), 129 config->num_pages * SIZE_BITS_TO_BYTES(config->size_bits),
|
/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 81 reservation_t res = vspace_reserve_range_aligned(to, num_pages * (BIT(size_bits)), size_bits, 89 int error = vspace_share_mem_at_vaddr(from, to, start, num_pages, size_bits, result, res); 124 res = vspace_reserve_range_aligned(vspace, config->num_pages * SIZE_BITS_TO_BYTES(config->size_bits), 129 config->num_pages * SIZE_BITS_TO_BYTES(config->size_bits),
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 252 static void *find_range(sel4utils_alloc_data_t *data, size_t num_pages, size_t size_bits) argument 262 while (contiguous < num_pages) { 289 void *vaddr, size_t num_pages, 294 for (int i = 0; i < num_pages && error == seL4_NoError; i++) { 306 static int new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, argument 314 for (i = 0; i < num_pages; i++) { 318 ZF_LOGE("Failed to allocate page number: %d out of %zu", i, num_pages); 334 if (i < num_pages) { 345 size_t num_pages, size_t size_bits, reservation_t reservation) 355 if (!check_reservation(data->top_level, res, (uintptr_t) vaddr, (uintptr_t)vaddr + num_pages * BI 288 map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable) argument 344 sel4utils_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument 369 sel4utils_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument 395 sel4utils_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument 441 sel4utils_unmap_pages(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, vka_t *vka) argument 491 sel4utils_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation, bool can_use_dev) argument 505 sel4utils_new_pages(vspace_t *vspace, seL4_CapRights_t rights, size_t num_pages, size_t size_bits) argument 823 sel4utils_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t reservation) argument [all...] |
/seL4-refos-master/libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 252 static void *find_range(sel4utils_alloc_data_t *data, size_t num_pages, size_t size_bits) argument 262 while (contiguous < num_pages) { 289 void *vaddr, size_t num_pages, 294 for (int i = 0; i < num_pages && error == seL4_NoError; i++) { 306 static int new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, argument 314 for (i = 0; i < num_pages; i++) { 318 ZF_LOGE("Failed to allocate page number: %d out of %zu", i, num_pages); 334 if (i < num_pages) { 345 size_t num_pages, size_t size_bits, reservation_t reservation) 355 if (!check_reservation(data->top_level, res, (uintptr_t) vaddr, (uintptr_t)vaddr + num_pages * BI 288 map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable) argument 344 sel4utils_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument 369 sel4utils_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument 395 sel4utils_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument 441 sel4utils_unmap_pages(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, vka_t *vka) argument 491 sel4utils_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation, bool can_use_dev) argument 505 sel4utils_new_pages(vspace_t *vspace, seL4_CapRights_t rights, size_t num_pages, size_t size_bits) argument 823 sel4utils_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t reservation) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | vspace_internal.h | 433 seL4_CapRights_t rights, size_t num_pages, size_t size_bits, 436 size_t num_pages, size_t size_bits, reservation_t reservation); 438 size_t num_pages, size_t size_bits, seL4_CapRights_t rights, 440 void sel4utils_unmap_pages(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, vka_t *vka); 443 size_t num_pages, size_t size_bits); 444 int sel4utils_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, 456 int sel4utils_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages,
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | vspace_internal.h | 433 seL4_CapRights_t rights, size_t num_pages, size_t size_bits, 436 size_t num_pages, size_t size_bits, reservation_t reservation); 438 size_t num_pages, size_t size_bits, seL4_CapRights_t rights, 440 void sel4utils_unmap_pages(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, vka_t *vka); 443 size_t num_pages, size_t size_bits); 444 int sel4utils_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, 456 int sel4utils_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages,
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | page_dma.c | 42 int num_pages = BIT(alloc->ut.size_bits) / PAGE_SIZE_4K; local 43 for (int i = 0; i < num_pages; i++) {
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | page_dma.c | 42 int num_pages = BIT(alloc->ut.size_bits) / PAGE_SIZE_4K; local 43 for (int i = 0; i < num_pages; i++) {
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/efi/ |
H A D | efi.h | 122 uint64_t num_pages; member in struct:__anon191
|
/seL4-refos-master/tools/elfloader/include/binaries/efi/ |
H A D | efi.h | 122 uint64_t num_pages; member in struct:__anon207
|