/seL4-refos-master/libs/libsel4allocman/src/utspace/ |
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 84 node->paddr = paddr; 101 uintptr_t *paddr, int utType) 121 error = _insert_new_node(alloc, &list[size_bits[i]], uts[i], paddr ? paddr[i] : ALLOCMAN_NO_PADDR); 130 uintptr_t paddr) 135 if (paddr == ALLOCMAN_NO_PADDR) { 141 /* see if the pool has the paddr we want */ 143 if (node->paddr 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/projects/seL4_libs/libsel4allocman/src/utspace/ |
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 84 node->paddr = paddr; 101 uintptr_t *paddr, int utType) 121 error = _insert_new_node(alloc, &list[size_bits[i]], uts[i], paddr ? paddr[i] : ALLOCMAN_NO_PADDR); 130 uintptr_t paddr) 135 if (paddr == ALLOCMAN_NO_PADDR) { 141 /* see if the pool has the paddr we want */ 143 if (node->paddr 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/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 50 int error = vka_alloc_frame_at(vka, size_bits, paddr, frame); 52 ZF_LOGE("Failed to find frame at paddr %p", (void *)paddr); 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); 67 ZF_LOGE("Failed to map frame at paddr %p", (void *)paddr);
|
/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 50 int error = vka_alloc_frame_at(vka, size_bits, paddr, frame); 52 ZF_LOGE("Failed to find frame at paddr %p", (void *)paddr); 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); 67 ZF_LOGE("Failed to map frame at paddr %p", (void *)paddr);
|
/seL4-refos-master/kernel/src/arch/arm/machine/ |
H A D | hardware.c | 35 map_kernel_frame(kernel_devices[i].paddr, 42 .start = kernel_devices[i].paddr, 43 .end = kernel_devices[i].paddr + (1 << PAGE_BITS),
|
/seL4-refos-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/ |
H A D | hardware.h | 119 /* since we have two kernel VM windows, we have two pptr to paddr 125 paddr_to_kpptr(paddr_t paddr) argument 127 assert(paddr < KERNEL_ELF_PADDR_TOP); 128 return (void *)(paddr + KERNEL_ELF_BASE_OFFSET);
|
/seL4-refos-master/kernel/include/ |
H A D | machine.h | 17 static inline void *CONST ptrFromPAddr(paddr_t paddr) argument 19 return (void *)(paddr + PPTR_BASE_OFFSET);
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/utspace/ |
H A D | split.h | 36 uintptr_t paddr; member in struct:utspace_split_node 51 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); 63 .paddr = _utspace_split_paddr,
|
H A D | twinkle.h | 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); 52 .paddr = _utspace_twinkle_paddr,
|
H A D | utspace.h | 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); 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); 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 41 if (paddr == ALLOCMAN_NO_PADDR) { 44 _error = vka_utspace_alloc_at(vka, slot, type, sel4_size_bits, paddr, &cookie->original_cookie); 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 88 .paddr = _utspace_vka_paddr,
|
/seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/ |
H A D | device.h | 26 * @param paddr to get the cap for 31 seL4_Error sel4platsupport_alloc_frame_at(vka_t *vka, uintptr_t paddr, 39 * @param paddr to map in 44 void *sel4platsupport_map_frame_at(vka_t *vka, vspace_t *vspace, uintptr_t paddr,
|
/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 51 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); 63 .paddr = _utspace_split_paddr,
|
H A D | twinkle.h | 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); 52 .paddr = _utspace_twinkle_paddr,
|
H A D | utspace.h | 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); 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); 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 41 if (paddr == ALLOCMAN_NO_PADDR) { 44 _error = vka_utspace_alloc_at(vka, slot, type, sel4_size_bits, paddr, &cookie->original_cookie); 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 88 .paddr = _utspace_vka_paddr,
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
H A D | device.h | 26 * @param paddr to get the cap for 31 seL4_Error sel4platsupport_alloc_frame_at(vka_t *vka, uintptr_t paddr, 39 * @param paddr to map in 44 void *sel4platsupport_map_frame_at(vka_t *vka, vspace_t *vspace, uintptr_t paddr,
|
/seL4-refos-master/libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 28 void *simple_default_get_frame_info(void *data, void *paddr, int size_bits, seL4_CPtr *frame_cap, seL4_Word *offset) argument 32 assert(bi && paddr && offset && frame_cap); 35 if (bi->untypedList[i].paddr <= (seL4_Word)paddr && 36 bi->untypedList[i].paddr + BIT(bi->untypedList[i].sizeBits) >= (seL4_Word)paddr + BIT(size_bits)) { 38 *offset = (seL4_Word)paddr - bi->untypedList[i].paddr; 44 seL4_Error simple_default_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument 48 assert(bi && paddr); 60 simple_default_get_frame_mapping(void *data, void *paddr, int size_bits) argument 142 simple_default_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 28 void *simple_default_get_frame_info(void *data, void *paddr, int size_bits, seL4_CPtr *frame_cap, seL4_Word *offset) argument 32 assert(bi && paddr && offset && frame_cap); 35 if (bi->untypedList[i].paddr <= (seL4_Word)paddr && 36 bi->untypedList[i].paddr + BIT(bi->untypedList[i].sizeBits) >= (seL4_Word)paddr + BIT(size_bits)) { 38 *offset = (seL4_Word)paddr - bi->untypedList[i].paddr; 44 seL4_Error simple_default_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument 48 assert(bi && paddr); 60 simple_default_get_frame_mapping(void *data, void *paddr, int size_bits) argument 142 simple_default_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | chardev.h | 20 uintptr_t paddr; member in struct:dev_defn 34 dev->paddr,
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | chardev.h | 20 uintptr_t paddr; member in struct:dev_defn 34 dev->paddr,
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
H A D | chardev.c | 34 .paddr = SERIAL_CONSOLE_COM##devid##_PORT, \ 42 .paddr = EGA_TEXT_FB_BASE, \ 52 .paddr = 0, \
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | chardev.c | 34 .paddr = SERIAL_CONSOLE_COM##devid##_PORT, \ 42 .paddr = EGA_TEXT_FB_BASE, \ 52 .paddr = 0, \
|
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
H A D | chardev.c | 28 .paddr = UART_PADDR_##devid, \
|
/seL4-refos-master/libs/libplatsupport/src/plat/hifive/ |
H A D | chardev.c | 28 .paddr = UART##devid##_PADDR, \
|