/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | page.h | 21 utils_valid_size_bits(size_t size_bits) argument
|
/seL4-refos-master/libs/libsel4vspace/include/vspace/ |
H A D | page.h | 24 sel4_valid_size_bits(size_t size_bits) argument
|
H A D | mapping.h | 41 seL4_Word size_bits; member in struct:__anon49
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | page.h | 21 utils_valid_size_bits(size_t size_bits) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | page.h | 24 sel4_valid_size_bits(size_t size_bits) argument
|
H A D | mapping.h | 41 seL4_Word size_bits; member in struct:__anon50
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/utspace/ |
H A D | twinkle.h | 28 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 D | utspace.h | 49 static inline size_t get_sel4_object_size(seL4_Word type, size_t size_bits) { argument
|
H A D | vka.h | 31 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 D | device.c | 47 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 D | twinkle.h | 28 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 D | utspace.h | 49 static inline size_t get_sel4_object_size(seL4_Word type, size_t size_bits) { argument
|
H A D | vka.h | 31 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 D | device.c | 47 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 D | null-vka.c | 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
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
H A D | null-vka.c | 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
|
/seL4-refos-master/kernel/src/arch/x86/machine/ |
H A D | hardware.c | 69 void flushCacheRange(void *vaddr, uint32_t size_bits) argument
|
/seL4-refos-master/libs/libsel4allocman/src/utspace/ |
H A D | twinkle.c | 36 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 D | split.c | 100 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 D | vka.c | 118 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 D | twinkle.c | 36 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 D | vka.c | 118 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 D | capops.h | 133 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 D | capops.h | 133 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 D | example_bootstrap.c | 67 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
|