Searched refs:size_bits (Results 1 - 25 of 83) sorted by relevance

1234

/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dpage.h21 utils_valid_size_bits(size_t size_bits) argument
23 return sel4_valid_size_bits(size_bits);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dguest_vspace_arch.h13 int cacheable, size_t size_bits)
15 return sel4utils_map_page_pd(vspace, cap, vaddr, rights, cacheable, size_bits);
12 guest_vspace_map_page_arch(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_vspace_arch.h13 int cacheable, size_t size_bits)
15 return sel4utils_map_page_ept(vspace, cap, vaddr, rights, cacheable, size_bits);
12 guest_vspace_map_page_arch(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
/seL4-camkes-master/projects/util_libs/libutils/include/utils/
H A Dpage.h21 #define SIZE_BITS_TO_BYTES(size_bits) (BIT(size_bits))
33 /* convert b bytes to the number of pages of size size_bits required for that many bytes */
34 #define BYTES_TO_SIZE_BITS_PAGES(b, size_bits) (((b) / (BIT(size_bits))) + ((((b) % (BIT(size_bits))) > 0) ? 1 : 0))
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dobject.h34 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
61 error = vka_utspace_alloc_maybe_device(vka, &path, type, size_bits, can_use_dev, &result->ut);
64 BIT(size_bits), error);
68 error = vka_utspace_alloc_at(vka, &path, type, size_bits, paddr, &result->ut);
71 BIT(size_bits), (void *)paddr, error);
77 result->size_bits = size_bits;
89 static inline int vka_alloc_object_at(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, argument
92 return vka_alloc_object_at_maybe_dev(vka, type, size_bits, padd
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 Dvka.h61 * @param size_bits the size of the object to allocate (as passed to Untyped_Retype)
65 typedef int (*vka_utspace_alloc_fn)(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits,
74 * @param size_bits the size of the object to allocate (as passed to Untyped_Retype)
79 typedef int (*vka_utspace_alloc_at_fn)(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits,
88 * @param size_bits the size of the object to allocate (as passed to Untyped_Retype)
94 seL4_Word size_bits, bool can_use_dev, seL4_Word *res);
102 * @param size_bits the size of the object that was allocated (as passed to Untyped_Retype)
105 typedef void (*vka_utspace_free_fn)(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target);
113 * @param size_bits the size of the object that was allocated (as passed to Untyped_Retype)
116 typedef uintptr_t (*vka_utspace_paddr_fn)(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits);
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-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/
H A Dtwinkle.c36 int _utspace_twinkle_add_uts(allocman_t *alloc, void *_twinkle, size_t num, const cspacepath_t *uts, size_t *size_bits, argument
57 uts[i], 0, size_bits[i]
64 seL4_Word _utspace_twinkle_alloc(allocman_t *alloc, void *_twinkle, size_t size_bits, seL4_Word type, argument
76 sel4_size_bits = get_sel4_object_size(type, size_bits);
77 if (size_bits != vka_get_object_size(type, sel4_size_bits) || size_bits == 0) {
83 if (_round_up(twinkle->uts[i].offset, size_bits) + BIT(size_bits) <= BIT(twinkle->uts[i].size_bits)) {
92 for (j = i; j < twinkle->num_uts && twinkle->uts[i].size_bits
118 _utspace_twinkle_free(allocman_t *alloc, void *_twinkle, seL4_Word cookie, size_t size_bits) argument
[all...]
H A Dsplit.c100 int _utspace_split_add_uts(allocman_t *alloc, void *_split, size_t num, const cspacepath_t *uts, size_t *size_bits, argument
121 error = _insert_new_node(alloc, &list[size_bits[i]], uts[i], paddr ? paddr[i] : ALLOCMAN_NO_PADDR);
129 static int _refill_pool(allocman_t *alloc, utspace_split_t *split, struct utspace_split_node **heads, size_t size_bits, argument
137 if (heads[size_bits]) {
142 for (node = heads[size_bits]; node; node = node->next) {
146 if (node->paddr <= paddr && paddr < node->paddr + BIT(size_bits)) {
152 if (size_bits >= sizeof(seL4_Word) * 8 - 2) {
154 ZF_LOGV("Failed to refill pool of size %zu, no larger pools", size_bits);
158 if (_refill_pool(alloc, split, heads, size_bits + 1, paddr)) {
160 ZF_LOGV("Failed to refill pool of size %zu", size_bits);
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-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dvka.c85 * @param size_bits the size of the object to allocate (as passed to Untyped_Retype)
91 seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res)
99 /* allocman uses the size in memory internally, where as vka expects size_bits
101 size_bits = vka_get_object_size(type, size_bits);
103 *res = allocman_utspace_alloc((allocman_t *) data, size_bits, type, (cspacepath_t*)dest, can_use_dev, &error);
114 * @param size_bits the size of the object to allocate (as passed to Untyped_Retype)
118 static int am_vka_utspace_alloc (void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
120 return am_vka_utspace_alloc_maybe_device(data, dest, type, size_bits, false, res);
129 * @param size_bits th
90 am_vka_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
134 am_vka_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res) argument
160 am_vka_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
171 am_vka_utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/
H A Dutspace.h49 static inline size_t get_sel4_object_size(seL4_Word type, size_t size_bits) { argument
51 return size_bits - seL4_SlotBits;
53 return vka_get_object_size(type, size_bits);
60 /* size_bits is always the size in memory of allocated object. This differs to the untypedretype
61 semantics of size_bits when cnodes are involved */
62 seL4_Word (*alloc)(struct allocman *alloc, void *utspace, size_t size_bits, seL4_Word object_type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDevice, int *error);
63 void (*free)(struct allocman *alloc, void *utspace, seL4_Word cookie, size_t size_bits);
64 int (*add_uts)(struct allocman *alloc, void *utspace, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType);
65 uintptr_t (*paddr)(void *utspace, seL4_Word cookie, size_t size_bits);
H A Dtwinkle.h28 size_t size_bits; member in struct:utspace_twinkle_ut
37 int _utspace_twinkle_add_uts(struct allocman *alloc, void *_twinkle, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType);
39 seL4_Word _utspace_twinkle_alloc(struct allocman *alloc, void *_twinkle, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error);
40 void _utspace_twinkle_free(struct allocman *alloc, void *_twinkle, seL4_Word cookie, size_t size_bits);
42 static inline uintptr_t _utspace_twinkle_paddr(void *_twinkle, seL4_Word cookie, size_t size_bits) { argument
H A Dsplit.h51 int _utspace_split_add_uts(struct allocman *alloc, void *_split, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType);
53 seL4_Word _utspace_split_alloc(struct allocman *alloc, void *_split, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error);
54 void _utspace_split_free(struct allocman *alloc, void *_split, seL4_Word cookie, size_t size_bits);
56 uintptr_t _utspace_split_paddr(void *_split, seL4_Word cookie, size_t size_bits);
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dpage.h24 sel4_valid_size_bits(size_t size_bits) argument
26 for (int i = 0; i < SEL4_NUM_PAGE_SIZES && size_bits >= sel4_page_sizes[i]; i++) {
31 if (size_bits == sel4_page_sizes[i]) {
H A Dvspace.h39 size_t size_bits; member in struct:vspace_new_pages_config
48 * @param size_bits size bits of each page
52 static inline int default_vspace_new_pages_config(size_t num_pages, size_t size_bits, argument
62 config->size_bits = size_bits;
120 * @param size_bits size of pages in bits
127 size_t size_bits, seL4_CapRights_t rights, int cacheable);
177 * @param size_bits size of page in bits
185 int vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits,
232 size_t num_pages, size_t size_bits);
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
710 vspace_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **vaddr) 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-camkes-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/aarch64/
H A Dmapping.c22 obj->size_bits = seL4_PageTableBits;
27 obj->size_bits = seL4_PageDirBits;
33 obj->size_bits = seL4_PUDBits;
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/x86_64/
H A Dmapping.c22 obj->size_bits = seL4_PageTableBits;
27 obj->size_bits = seL4_PageDirBits;
32 obj->size_bits = seL4_PDPTBits,
/seL4-camkes-master/projects/capdl/python-capdl-tool/tests/
H A Dallocator.py45 ut = Untyped(name="test_ut", size_bits=ut_size_bits, paddr=1 << ut_size_bits)
48 child = Untyped(name="child_ut", size_bits=child_size_bits)
57 for i, size_bits in enumerate(object_sizes):
58 sum += (1 << size_bits)
59 child = Untyped(name="child ut {0}".format(i), size_bits=size_bits)
71 ut = Untyped(name="test_ut", size_bits=ut_size_bits, paddr=1 << ut_size_bits)
88 size_bits = ut_sizes[i]
89 paddr = round_up(paddr, 1 << size_bits)
90 ut = Untyped("untyped_{0}".format(i), size_bits
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dslab.c37 ssize_t size_bits; member in struct:__anon564
46 return obj_b->size_bits - obj_a->size_bits;
70 seL4_Word size_bits, seL4_Word *res)
81 return vka_utspace_alloc(sdata->delegate, dest, type, size_bits, res);
96 seL4_Word size_bits, bool can_use_dev, seL4_Word *res)
98 return slab_utspace_alloc(data, dest, type, size_bits, res);
101 static int delegate_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, argument
105 return vka_utspace_alloc_at(sdata->delegate, dest, type, size_bits, paddr, res);
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-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Ddevice.c47 seL4_Error sel4platsupport_alloc_frame_at(vka_t *vka, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
50 int error = vka_alloc_frame_at(vka, size_bits, paddr, frame);
58 void *sel4platsupport_map_frame_at(vka_t *vka, vspace_t *vspace, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
61 error = sel4platsupport_alloc_frame_at(vka, paddr, size_bits, frame);
65 void *vaddr = vspace_map_pages(vspace, &frame->cptr, &frame->ut, seL4_AllRights, 1, size_bits, 0);
/seL4-camkes-master/projects/seL4_libs/libsel4vka/src/
H A Dnull-vka.c35 seL4_Word size_bits, seL4_Word *res)
41 seL4_Word size_bits, bool can_use_dev, seL4_Word *res)
47 seL4_Word size_bits, uintptr_t paddr, seL4_Word *res)
52 static void utspace_free(void *data, seL4_Word type, seL4_Word size_bits, argument
57 static uintptr_t utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
34 utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
40 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
46 utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res) argument
H A Ddebug-vka.c57 seL4_Word size_bits; member in struct:__anon566::obj
174 static void track_obj(state_t *state, seL4_Word type, seL4_Word size_bits, argument
202 state->live_objs[available].size_bits = size_bits;
208 seL4_Word size_bits, seL4_Word *res)
221 int result = v->utspace_alloc(v->data, dest, type, size_bits, res);
223 track_obj(s, type, size_bits, *res);
229 seL4_Word size_bits, bool can_use_dev, seL4_Word *res)
236 int result = v->utspace_alloc_maybe_device(v->data, dest, type, size_bits, can_use_dev, res);
238 track_obj(s, type, size_bits, *re
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-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c149 int cacheable, size_t size_bits)
172 int cacheable, size_t size_bits)
180 (seL4_Word) vaddr, rights, cacheable, size_bits, &pagetable, &pagedir, &pdpt);
207 int cacheable, size_t size_bits)
215 (seL4_Word) vaddr, rights, cacheable, size_bits, pts, &num_pts);
230 int cacheable, size_t size_bits)
233 return data->map_page(vspace, cap, vaddr, rights, cacheable, size_bits);
252 static void *find_range(sel4utils_alloc_data_t *data, size_t num_pages, size_t size_bits) argument
258 uintptr_t start = ALIGN_UP(data->last_allocated, SIZE_BITS_TO_BYTES(size_bits));
261 assert(IS_ALIGNED(start, size_bits));
148 sel4utils_map_page_pd(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
171 sel4utils_map_page_ept(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
206 sel4utils_map_page_iommu(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
229 map_page(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
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
306 new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable, bool can_use_dev) 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
541 sel4utils_reserve_range_no_alloc_aligned(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
565 sel4utils_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) 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
888 sel4utils_get_paddr(vspace_t *vspace, void *vaddr, seL4_Word type, seL4_Word size_bits) argument
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Ddevice.h27 * @param size_bits size of frame in bits
32 size_t size_bits, vka_object_t *dest);
40 * @param size_bits size of the frame
45 size_t size_bits, vka_object_t *dest);
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/riscv/
H A Dmapping.c25 obj->size_bits = seL4_PageTableBits;
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/x86/
H A Dmapping.c30 obj->size_bits = seL4_IOPageTableBits;
42 obj->size_bits = seL4_X86_EPTPTBits;
47 obj->size_bits = seL4_X86_EPTPDBits;
52 obj->size_bits = seL4_X86_EPTPDPTBits;

Completed in 209 milliseconds

1234