| /seL4-refos-master/kernel/include/ |
| H A D | machine.h | 17 static inline void *CONST ptrFromPAddr(paddr_t paddr) argument
|
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | chardev.h | 20 uintptr_t paddr; member in struct:dev_defn
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/ |
| H A D | chardev.h | 20 uintptr_t paddr; member in struct:dev_defn
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/utspace/ |
| H A D | split.h | 36 uintptr_t paddr; member in struct:utspace_split_node
|
| H A D | utspace.h | 65 uintptr_t (*paddr)(void *utspace, seL4_Word cookie, size_t size_bits); member in struct:utspace_interface
|
| 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
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 | split.h | 36 uintptr_t paddr; member in struct:utspace_split_node
|
| H A D | utspace.h | 65 uintptr_t (*paddr)(void *utspace, seL4_Word cookie, size_t size_bits); member in struct:utspace_interface
|
| 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
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/kernel/include/plat/pc99/plat/64/plat_mode/machine/ |
| H A D | hardware.h | 125 paddr_to_kpptr(paddr_t paddr) argument
|
| /seL4-refos-master/libs/libsel4vka/src/ |
| H A D | null-vka.c | 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 D | debug-vka.c | 243 utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
| H A D | null-vka.c | 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/libs/libsel4allocman/src/utspace/ |
| H A D | twinkle.c | 36 _utspace_twinkle_add_uts(allocman_t *alloc, void *_twinkle, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType) argument
64 _utspace_twinkle_alloc(allocman_t *alloc, void *_twinkle, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) argument
|
| H A D | split.c | 73 static int _insert_new_node(allocman_t *alloc, struct utspace_split_node **head, cspacepath_t ut, uintptr_t paddr) argument
100 _utspace_split_add_uts(allocman_t *alloc, void *_split, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType) argument
129 _refill_pool(allocman_t *alloc, utspace_split_t *split, struct utspace_split_node **heads, size_t size_bits, uintptr_t paddr) 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
[all...] |
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | vka.c | 134 static int 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
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
| H A D | twinkle.c | 36 _utspace_twinkle_add_uts(allocman_t *alloc, void *_twinkle, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType) argument
64 _utspace_twinkle_alloc(allocman_t *alloc, void *_twinkle, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | vka.c | 134 static int 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
|
| /seL4-refos-master/kernel/include/arch/arm/arch/ |
| H A D | types.h | 47 paddr_t paddr; member in struct:kernel_frame
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/ |
| H A D | types.h | 41 paddr_t paddr; member in struct:kernel_frame
|
| /seL4-refos-master/libs/librefos/src/refos-util/ |
| H A D | device_io.c | 45 dev_io_map(void* cookie, uintptr_t paddr, size_t size, int cached, ps_mem_flags_t flags) argument
|
| /seL4-refos-master/libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 68 uint32_t paddr = bi->untypedPaddrList[i - bi->untyped.start]; local
109 uint32_t paddr = bi->untypedPaddrList[i - bi->untyped.start]; local
165 uint32_t paddr = bi->untypedPaddrList[i - bi->untyped.start]; local
233 uint32_t paddr = bi->untypedPaddrList[i - bi->untyped.start]; local
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | page_dma.c | 33 uintptr_t paddr; member in struct:dma_alloc
95 uintptr_t paddr = vka_utspace_paddr(&dma->vka, ut.ut, seL4_UntypedObject, size_bits); local
|