/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
H A D | pmem.h | 17 #include <platsupport/pmem.h>
|
H A D | timer.h | 15 #include <sel4platsupport/pmem.h>
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/arm/ |
H A D | pmem.c | 14 #include <sel4platsupport/pmem.h>
|
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/ |
H A D | rumpdma.c | 48 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 D | pwm.h | 18 #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 D | fdt.h | 18 #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 D | ltimer.h | 16 #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 D | ltimer.h | 53 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 D | fdt.c | 249 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 D | hpet.h | 19 #include <platsupport/pmem.h>
|
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/ |
H A D | bpmp.c | 22 #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 D | hsp.c | 18 #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 D | helpers.h | 28 #include <sel4platsupport/pmem.h>
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
H A D | pmem.c | 16 #include <sel4platsupport/pmem.h>
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
H A D | timer.h | 70 pmem_region_t pmem; member in struct:dmt
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | dmt.h | 52 pmem_region_t pmem; member in struct:__anon38
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
H A D | sp804.h | 58 pmem_region_t pmem; member in struct:__anon35
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/ |
H A D | timer.h | 53 pmem_region_t pmem; member in struct:__anon14
|
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | mem.c | 477 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 D | pwm.c | 230 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 D | timer.c | 187 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 D | sp804.c | 173 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 D | timer.c | 125 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 D | gpt.c | 239 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 D | epit.c | 190 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;
|