Searched defs:size_bits (Results 1 - 25 of 64) sorted by relevance

123

/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dpage.h21 utils_valid_size_bits(size_t size_bits) argument
/seL4-refos-master/libs/libsel4vspace/include/vspace/
H A Dpage.h24 sel4_valid_size_bits(size_t size_bits) argument
H A Dmapping.h41 seL4_Word size_bits; member in struct:__anon49
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dpage.h21 utils_valid_size_bits(size_t size_bits) argument
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dpage.h24 sel4_valid_size_bits(size_t size_bits) argument
H A Dmapping.h41 seL4_Word size_bits; member in struct:__anon50
/seL4-refos-master/libs/libsel4allocman/include/allocman/utspace/
H A Dtwinkle.h28 size_t size_bits; member in struct:utspace_twinkle_ut
42 static inline uintptr_t _utspace_twinkle_paddr(void *_twinkle, seL4_Word cookie, size_t size_bits) { argument
H A Dutspace.h49 static inline size_t get_sel4_object_size(seL4_Word type, size_t size_bits) { argument
H A Dvka.h31 static inline seL4_Word _utspace_vka_alloc(struct allocman *alloc, void *_vka, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDevice, int *error) argument
56 static inline void _utspace_vka_free(struct allocman *alloc, void *_vka, seL4_Word _cookie, size_t size_bits) argument
63 static inline uintptr_t _utspace_vka_paddr(void *_vka, seL4_Word _cookie, size_t size_bits) argument
70 static inline int _utspace_vka_add_uts(struct allocman *alloc, void *_trickle, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType) argument
/seL4-refos-master/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
58 void *sel4platsupport_map_frame_at(vka_t *vka, vspace_t *vspace, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/
H A Dtwinkle.h28 size_t size_bits; member in struct:utspace_twinkle_ut
42 static inline uintptr_t _utspace_twinkle_paddr(void *_twinkle, seL4_Word cookie, size_t size_bits) { argument
H A Dutspace.h49 static inline size_t get_sel4_object_size(seL4_Word type, size_t size_bits) { argument
H A Dvka.h31 static inline seL4_Word _utspace_vka_alloc(struct allocman *alloc, void *_vka, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDevice, int *error) argument
56 static inline void _utspace_vka_free(struct allocman *alloc, void *_vka, seL4_Word _cookie, size_t size_bits) argument
63 static inline uintptr_t _utspace_vka_paddr(void *_vka, seL4_Word _cookie, size_t size_bits) argument
70 static inline int _utspace_vka_add_uts(struct allocman *alloc, void *_trickle, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType) argument
/seL4-refos-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
58 void *sel4platsupport_map_frame_at(vka_t *vka, vspace_t *vspace, uintptr_t paddr, size_t size_bits, vka_object_t *frame) argument
/seL4-refos-master/libs/libsel4vka/src/
H A Dnull-vka.c52 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
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/
H A Dnull-vka.c52 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
/seL4-refos-master/kernel/src/arch/x86/machine/
H A Dhardware.c69 void flushCacheRange(void *vaddr, uint32_t size_bits) argument
/seL4-refos-master/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
64 seL4_Word _utspace_twinkle_alloc(allocman_t *alloc, void *_twinkle, size_t size_bits, seL4_Word type, argument
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
129 static int _refill_pool(allocman_t *alloc, utspace_split_t *split, struct utspace_split_node **heads, size_t size_bits, argument
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-refos-master/libs/libsel4allocman/src/
H A Dvka.c118 static int am_vka_utspace_alloc (void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
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-refos-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
64 seL4_Word _utspace_twinkle_alloc(allocman_t *alloc, void *_twinkle, size_t size_bits, seL4_Word type, argument
118 _utspace_twinkle_free(allocman_t *alloc, void *_twinkle, seL4_Word cookie, size_t size_bits) argument
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/
H A Dvka.c118 static int am_vka_utspace_alloc (void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument
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-refos-master/libs/libsel4vka/include/vka/
H A Dcapops.h133 static inline int vka_untyped_retype(vka_object_t *untyped, int type, int size_bits, int num_objects, argument
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dcapops.h133 static inline int vka_untyped_retype(vka_object_t *untyped, int type, int size_bits, int num_objects, argument
/seL4-refos-master/libs/libsel4allocman/
H A Dexample_bootstrap.c67 uint32_t size_bits = bi->untypedSizeBitsList[i - bi->untyped.start]; local
108 uint32_t size_bits = bi->untypedSizeBitsList[i - bi->untyped.start]; local
164 uint32_t size_bits = bi->untypedSizeBitsList[i - bi->untyped.start]; local
232 uint32_t size_bits = bi->untypedSizeBitsList[i - bi->untyped.start]; local

Completed in 78 milliseconds

123