/seL4-refos-master/libs/libsel4vka/src/ |
H A D | null-vka.c | 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
|
H A D | debug-vka.c | 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
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
H A D | null-vka.c | 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
|
H A D | debug-vka.c | 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
|
/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | vka.c | 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
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | vka.c | 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
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | slab.c | 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
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | slab.c | 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
|
/seL4-refos-master/libs/libsel4vka/include/vka/ |
H A D | object.h | 212 static inline int vka_alloc_frame_maybe_device(vka_t *vka, uint32_t size_bits, bool can_use_dev, vka_object_t *result) argument 40 vka_alloc_object_at_maybe_dev(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, bool can_use_dev, vka_object_t *result) argument
|
H A D | vka.h | 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
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | object.h | 212 static inline int vka_alloc_frame_maybe_device(vka_t *vka, uint32_t size_bits, bool can_use_dev, vka_object_t *result) argument 40 vka_alloc_object_at_maybe_dev(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, bool can_use_dev, vka_object_t *result) argument
|
H A D | vka.h | 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
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 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 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
|
/seL4-refos-master/libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 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 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
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 41 bool can_use_dev; member in struct:vspace_new_pages_config 85 static inline int vspace_new_pages_config_use_device_ut(bool can_use_dev, vspace_new_pages_config_t *config) argument
|
/seL4-refos-master/libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 41 bool can_use_dev; member in struct:vspace_new_pages_config 85 static inline int vspace_new_pages_config_use_device_ut(bool can_use_dev, vspace_new_pages_config_t *config) argument
|