| /seL4-refos-master/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-refos-master/libs/libsel4platsupport/src/arch/arm/ |
| H A D | pmem.c | 14 #include <sel4platsupport/pmem.h>
|
| /seL4-refos-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-refos-master/projects/seL4_libs/libsel4platsupport/src/arch/arm/ |
| H A D | pmem.c | 14 #include <sel4platsupport/pmem.h>
|
| /seL4-refos-master/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-refos-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-refos-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-refos-master/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-refos-master/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
|
| /seL4-refos-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
|
| /seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
| H A D | hpet.h | 19 #include <platsupport/pmem.h>
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
| H A D | hpet.h | 19 #include <platsupport/pmem.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
| H A D | pmem.c | 16 #include <sel4platsupport/pmem.h>
|
| /seL4-refos-master/libs/libsel4platsupport/src/arch/x86/ |
| H A D | pmem.c | 16 #include <sel4platsupport/pmem.h>
|
| /seL4-refos-master/libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
| H A D | timer.h | 70 pmem_region_t pmem; member in struct:dmt
|
| /seL4-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
| H A D | dmt.h | 52 pmem_region_t pmem; member in struct:__anon4
|
| /seL4-refos-master/libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
| H A D | sp804.h | 58 pmem_region_t pmem; member in struct:__anon2
|
| /seL4-refos-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-refos-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
| H A D | dmt.h | 52 pmem_region_t pmem; member in struct:__anon15
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
| H A D | sp804.h | 58 pmem_region_t pmem; member in struct:__anon13
|
| /seL4-refos-master/libs/libplatsupport/plat_include/rockpro64/platsupport/plat/ |
| H A D | timer.h | 53 pmem_region_t pmem; member in struct:__anon5
|