Lines Matching refs:size
30 void *create_level(vspace_t *vspace, size_t size)
36 return bootstrap_create_level(vspace, size);
42 size / PAGE_SIZE_4K, seL4_PageBits);
46 memset(level, 0, size);
542 size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result)
545 void *vaddr = find_range(data, BYTES_TO_SIZE_BITS_PAGES(size, size_bits), size_bits);
554 perform_reservation(vspace, reservation, (uintptr_t) vaddr, size, rights, cacheable);
558 int sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size,
561 return sel4utils_reserve_range_no_alloc_aligned(vspace, reservation, size, seL4_PageBits,
573 ZF_LOGE("Invalid size bits %zu", size_bits);
597 size_t size, seL4_CapRights_t rights, int cacheable)
600 if (!is_available_range(data->top_level, (uintptr_t) vaddr, (uintptr_t)vaddr + size)) {
601 ZF_LOGE("Range not available at %p, size %p", vaddr, (void *)size);
606 perform_reservation(vspace, reservation, (uintptr_t) vaddr, size, rights, cacheable);
610 reservation_t sel4utils_reserve_range_at(vspace_t *vspace, void *vaddr, size_t size, seL4_CapRights_t
621 int error = sel4utils_reserve_range_at_no_alloc(vspace, reservation.res, vaddr, size, rights, cacheable);
633 reservation_t sel4utils_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t size, int cacheable)
635 reservation_t reservation = sel4utils_reserve_range_at(vspace, vaddr, size, seL4_NoRights, cacheable);
834 ZF_LOGE("Invalid size bits %zu", size_bits);