Searched refs:paddr (Results 1 - 25 of 93) sorted by relevance

1234

/seL4-test-master/projects/seL4_libs/libsel4allocman/src/utspace/
H A Dsplit.c73 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-test-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
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);
H A Dcommon.c66 static void *__map_device_page(void *cookie, uintptr_t paddr, size_t size,
92 static void *__map_device_page_failsafe(void *cookie UNUSED, uintptr_t paddr, size_t size, argument
105 error = sel4platsupport_alloc_frame_at(vka, paddr, bits, &dest);
130 static void *__map_device_page_regular(void *cookie UNUSED, uintptr_t paddr, size_t size, argument
138 error = sel4platsupport_alloc_frame_at(vka, paddr, bits, &dest);
153 void *__map_device_page(void *cookie, uintptr_t paddr, size_t size, argument
157 return __map_device_page_regular(cookie, paddr, size, cached, flags);
159 return __map_device_page_failsafe(cookie, paddr, size, cached, flags);
/seL4-test-master/kernel/src/arch/arm/machine/
H A Dhardware.c35 map_kernel_frame(kernel_devices[i].paddr,
42 .start = kernel_devices[i].paddr,
43 .end = kernel_devices[i].paddr + (1 << PAGE_BITS),
/seL4-test-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h119 /* 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-test-master/kernel/include/
H A Dmachine.h17 static inline void *CONST ptrFromPAddr(paddr_t paddr) argument
19 return (void *)(paddr + PPTR_BASE_OFFSET);
/seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/
H A Dsplit.h36 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 Dtwinkle.h37 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 Dutspace.h62 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 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
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-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Ddevice.h26 * @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-test-master/projects/seL4_libs/libsel4simple-default/src/
H A Dlibsel4simple-default.c28 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-test-master/projects/util_libs/libplatsupport/src/
H A Dchardev.h20 uintptr_t paddr; member in struct:dev_defn
34 dev->paddr,
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dguest_memory_arch.c37 pa_base = ret.paddr + (ipa & MASK(bits));
38 /* From here on, ipa and ret.paddr will be aligned */
42 if (ret.paddr - pa_base != ipa - ipa_base) {
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/arm/
H A Darch.c31 uintptr_t paddr, seL4_Word *cookie)
34 int ret = old_vka.utspace_alloc_at(data, dest, type, size_bits, paddr, cookie);
43 .address = paddr,
30 serial_utspace_alloc_at_fn(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dchardev.c34 .paddr = SERIAL_CONSOLE_COM##devid##_PORT, \
42 .paddr = EGA_TEXT_FB_BASE, \
52 .paddr = 0, \
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dchardev.c28 .paddr = UART_PADDR_##devid, \
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hifive/
H A Dchardev.c28 .paddr = UART##devid##_PADDR, \
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/
H A Dchardev.c28 .paddr = UART##devid##_PADDR, \
/seL4-test-master/kernel/include/arch/riscv/arch/
H A Dtypes.h41 paddr_t paddr; member in struct:kernel_frame
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dchardev.c33 .paddr = UART##devid##_PADDR, \
41 .paddr = UART##devid##_PADDR, \
/seL4-test-master/projects/sel4_projects_libs/libsel4dma/include/dma/
H A Ddma.h29 uintptr_t paddr; member in struct:dma_mem_descriptor
191 * @param[in] paddr The physical address of the memory in question
196 dma_mem_t dma_plookup(struct dma_allocator *allocator, paddr_t paddr);
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/
H A Dguest_memory_util.h41 * @function map_ut_alloc_reservation_with_base_paddr(vm, paddr, reservation)
42 * Map a guest reservation backed with untyped frames allocated from a base paddr
44 * @param {uintptr_t} paddr Base paddr to allocate from
48 int map_ut_alloc_reservation_with_base_paddr(vm_t *vm, uintptr_t paddr,
/seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dobject.h40 static inline int vka_alloc_object_at_maybe_dev(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, argument
60 if (paddr == VKA_NO_PADDR) {
68 error = vka_utspace_alloc_at(vka, &path, type, size_bits, paddr, &result->ut);
70 ZF_LOGE("Failed to allocate object of size %lu at paddr %p, error %d",
71 BIT(size_bits), (void *)paddr, error);
89 static inline int vka_alloc_object_at(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, argument
92 return vka_alloc_object_at_maybe_dev(vka, type, size_bits, paddr, false, result);
136 static inline int vka_alloc_untyped_at(vka_t *vka, uint32_t size_bits, uintptr_t paddr, argument
139 return vka_alloc_object_at(vka, seL4_UntypedObject, size_bits, paddr, result);
218 static inline int vka_alloc_frame_at(vka_t *vka, uint32_t size_bits, uintptr_t paddr, argument
[all...]
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c49 uint64_t paddr; local
90 paddr = 0;
92 for (paddr = 0; paddr < PADDR_TOP;
93 paddr += BIT(seL4_HugePageBits)) {
98 paddr, /* physical address */
186 paddr = 0;
189 for (paddr = 0; paddr < PADDR_TOP;
190 paddr
287 uint64_t paddr = kpptr_to_paddr((void *)skim_start); local
832 makeUserPML4E(paddr_t paddr, vm_attributes_t vm_attr) argument
860 makeUserPDPTEHugePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
877 makeUserPDPTEPageDirectory(paddr_t paddr, vm_attributes_t vm_attr) argument
905 makeUserPDELargePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
922 makeUserPDEPageTable(paddr_t paddr, vm_attributes_t vm_attr) argument
954 makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
1148 paddr_t paddr; local
1313 paddr_t paddr; local
1509 decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr) argument
1546 paddr_t paddr; local
[all...]

Completed in 133 milliseconds

1234