Searched refs:pmem (Results 1 - 25 of 41) sorted by relevance

12

/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dpmem.h17 #include <platsupport/pmem.h>
H A Dtimer.h15 #include <sel4platsupport/pmem.h>
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/arm/
H A Dpmem.c14 #include <sel4platsupport/pmem.h>
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumpdma.c48 uintptr_t pmem = ps_dma_pin(&env.io_ops.dma_manager, mem, size); local
50 if (pmem == 0) {
66 list[i].paddr = (uintptr_t) pmem;
69 *pap = (unsigned long)pmem;
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/
H A Dpwm.h18 #include <platsupport/pmem.h>
55 pmem_region_t pmem; /* mapping for pwm_map */ member in struct:pwm
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dfdt.h18 #include <platsupport/pmem.h>
31 * @param pmem Description of the device register instance.
37 typedef int (*reg_walk_cb_fn_t)(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token);
H A Dltimer.h16 #include <platsupport/pmem.h>
75 * @return the number of pmem regions this timer needs.
80 * Populate a region structure with details of the nth pmem region this timer requires.
224 static inline int ltimer_get_nth_pmem(ltimer_t *timer, size_t n, pmem_region_t *pmem) argument
226 if (!timer || !pmem) {
242 return timer->get_nth_pmem(timer->data, n, pmem);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/
H A Dltimer.h53 void **vmap, pmem_region_t *pmem, irq_id_t *irq_id,
58 assert(vmap != NULL && pmem != NULL && irq_id != NULL);
95 *pmem = temp_pmem;
50 helper_fdt_alloc_simple( ps_io_ops_t *ops, char *fdt_path, unsigned reg_choice, unsigned irq_choice, void **vmap, pmem_region_t *pmem, irq_id_t *irq_id, irq_callback_fn_t handler, void *handler_token ) argument
H A Dfdt.c249 static int register_index_helper_walker(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
258 void *ret_addr = ps_pmem_map(helper_token->io_ops, pmem, false, PS_MEM_NORMAL);
263 helper_token->region = pmem;
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dhpet.h19 #include <platsupport/pmem.h>
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/
H A Dbpmp.c22 #include <platsupport/pmem.h>
162 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
165 bpmp_data.tx_base = ps_pmem_map(bpmp_data.io_ops, pmem, false, PS_MEM_NORMAL);
170 bpmp_data.bpmp_shmems[TX_SHMEM] = pmem;
173 bpmp_data.rx_base = ps_pmem_map(bpmp_data.io_ops, pmem, false, PS_MEM_NORMAL);
178 bpmp_data.bpmp_shmems[RX_SHMEM] = pmem;
H A Dhsp.c18 #include <platsupport/pmem.h>
164 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
170 hsp_priv->hsp_base = ps_pmem_map(hsp_priv->io_ops, pmem, false, PS_MEM_NORMAL);
174 hsp_priv->tx2_hsp_region = pmem;
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/
H A Dhelpers.h28 #include <sel4platsupport/pmem.h>
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/
H A Dpmem.c16 #include <sel4platsupport/pmem.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h70 pmem_region_t pmem; member in struct:dmt
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Ddmt.h52 pmem_region_t pmem; member in struct:__anon38
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/
H A Dsp804.h58 pmem_region_t pmem; member in struct:__anon35
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/
H A Dtimer.h53 pmem_region_t pmem; member in struct:__anon14
/seL4-camkes-master/projects/lwip/src/core/
H A Dmem.c477 struct mem *pmem; local
499 pmem = ptr_to_mem(mem->prev);
500 if (pmem != mem && pmem->used == 0) {
503 lfree = pmem;
505 pmem->next = mem->next;
507 ptr_to_mem(mem->next)->prev = mem_to_ptr(pmem);
553 struct mem *nmem, *pmem; local
557 pmem = ptr_to_mem(mem->prev);
559 ((mem->prev != rmem_idx) && (pmem
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dpwm.c230 static int pwm_walk_registers(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
241 mmio_vaddr = ps_pmem_map(&pwm->ops, pmem, false, PS_MEM_NORMAL);
248 pwm->pmem = pmem;
310 ps_pmem_unmap(&pwm->ops, pwm->pmem, (void *) pwm->pwm_map);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dtimer.c187 ps_pmem_unmap(&dmt->ops, dmt->pmem, (void *) dmt->hw);
208 (void *) &dmt->hw, &dmt->pmem, &dmt->irq_id,
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dsp804.c173 ps_pmem_unmap(&sp804->ops, sp804->pmem, (void *) sp804->sp804_map);
194 (void *) &sp804->sp804_map, &sp804->pmem, &sp804->irq_id,
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dtimer.c125 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
131 tmr->reg_base = (uintptr_t) ps_pmem_map(&tmr->ops, pmem, false, PS_MEM_NORMAL);
135 tmr->timer_pmem = pmem;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/
H A Dgpt.c239 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
245 gpt->gpt_map = (volatile struct gpt_map *) ps_pmem_map(&gpt->io_ops, pmem, false, PS_MEM_NORMAL);
250 gpt->timer_pmem = pmem;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/epit/
H A Depit.c190 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
196 epit->epit_map = (volatile struct epit_map *) ps_pmem_map(&epit->io_ops, pmem, false, PS_MEM_NORMAL);
201 epit->timer_pmem = pmem;

Completed in 125 milliseconds

12