Searched refs:num_pages (Results 1 - 16 of 16) sorted by relevance

/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dvspace.h37 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 Dvspace.h37 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 Dio.c35 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 Dio.c35 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 Dsys_morecore.c261 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 Dsys_morecore.c261 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 Dvspace.c75 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 Dvspace.c75 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 Dvspace.c252 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 Dvspace.c252 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 Dvspace_internal.h433 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 Dvspace_internal.h433 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 Dpage_dma.c42 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 Dpage_dma.c42 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 Defi.h122 uint64_t num_pages; member in struct:__anon191
/seL4-refos-master/tools/elfloader/include/binaries/efi/
H A Defi.h122 uint64_t num_pages; member in struct:__anon207

Completed in 114 milliseconds