/seL4-refos-master/libs/libplatsupport/src/ |
H A D | ltimer.h | 51 ps_io_ops_t *ops, char *fdt_path, 57 assert(fdt_path != NULL); 70 error = ps_fdt_read_path(&ops->io_fdt, &ops->malloc_ops, fdt_path, &cookie); 72 ZF_LOGE("Simple FDT helper failed to read path (%d, %s)", error, fdt_path); 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 | 51 ps_io_ops_t *ops, char *fdt_path, 57 assert(fdt_path != NULL); 70 error = ps_fdt_read_path(&ops->io_fdt, &ops->malloc_ops, fdt_path, &cookie); 72 ZF_LOGE("Simple FDT helper failed to read path (%d, %s)", error, fdt_path); 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/src/plat/am335x/ |
H A D | ltimer.c | 107 .fdt_path = DMTIMER2_PATH, 124 dmt_config.fdt_path = DMTIMER3_PATH;
|
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
H A D | ltimer.c | 104 .fdt_path = SP804_TIMER1_PATH, 125 sp804_config.fdt_path = SP804_TIMER2_PATH;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | ltimer.c | 107 .fdt_path = DMTIMER2_PATH, 124 dmt_config.fdt_path = DMTIMER3_PATH;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | ltimer.c | 104 .fdt_path = SP804_TIMER1_PATH, 125 sp804_config.fdt_path = SP804_TIMER2_PATH;
|
/seL4-refos-master/libs/libplatsupport/mach_include/omap/platsupport/mach/ |
H A D | gpt.h | 86 int gpt_create(gpt_t *gpt, ps_io_ops_t ops, char *fdt_path, ltimer_callback_fn_t user_cb_fn, void *user_cb_token);
|
/seL4-refos-master/libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
H A D | pwm.h | 75 int pwm_init(pwm_t *pwm, ps_io_ops_t ops, char *fdt_path, ltimer_callback_fn_t user_cb_fn, void *user_cb_token);
|
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/omap/platsupport/mach/ |
H A D | gpt.h | 86 int gpt_create(gpt_t *gpt, ps_io_ops_t ops, char *fdt_path, ltimer_callback_fn_t user_cb_fn, void *user_cb_token);
|
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
H A D | pwm.h | 75 int pwm_init(pwm_t *pwm, ps_io_ops_t ops, char *fdt_path, ltimer_callback_fn_t user_cb_fn, void *user_cb_token);
|
/seL4-refos-master/libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
H A D | timer.h | 33 char *fdt_path; member in struct:__anon1
|
/seL4-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | dmt.h | 60 char *fdt_path; member in struct:__anon5
|
/seL4-refos-master/libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
H A D | sp804.h | 66 char *fdt_path; member in struct:__anon3
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
H A D | timer.h | 33 char *fdt_path; member in struct:__anon12
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | dmt.h | 60 char *fdt_path; member in struct:__anon16
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
H A D | sp804.h | 66 char *fdt_path; member in struct:__anon14
|
/seL4-refos-master/libs/libplatsupport/plat_include/rockpro64/platsupport/plat/ |
H A D | timer.h | 59 char *fdt_path; member in struct:__anon6
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/ |
H A D | timer.h | 59 char *fdt_path; member in struct:__anon12
|
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 229 &ops, config.fdt_path, 270 error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, config.fdt_path, &cookie); 272 ZF_LOGE("Failed to read path (%d, %s)", error, config.fdt_path);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 229 &ops, config.fdt_path, 270 error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, config.fdt_path, &cookie); 272 ZF_LOGE("Failed to read path (%d, %s)", error, config.fdt_path);
|
H A D | ltimer.c | 108 .fdt_path = DMT_PATH,
|
/seL4-refos-master/libs/libplatsupport/src/mach/omap/ |
H A D | gpt.c | 395 int gpt_create(gpt_t *gpt, ps_io_ops_t ops, char *fdt_path, ltimer_callback_fn_t user_cb_fn, void *user_cb_token) argument 399 if (gpt == NULL || fdt_path == NULL) { 414 error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, fdt_path, &cookie);
|
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | pwm.c | 314 int pwm_init(pwm_t *pwm, ps_io_ops_t ops, char *fdt_path, ltimer_callback_fn_t user_cb_fn, void *user_cb_token) argument 319 if (pwm == NULL || fdt_path == NULL) { 333 error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, fdt_path, &fdt_cookie);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/ |
H A D | gpt.c | 395 int gpt_create(gpt_t *gpt, ps_io_ops_t ops, char *fdt_path, ltimer_callback_fn_t user_cb_fn, void *user_cb_token) argument 399 if (gpt == NULL || fdt_path == NULL) { 414 error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, fdt_path, &cookie);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | pwm.c | 314 int pwm_init(pwm_t *pwm, ps_io_ops_t ops, char *fdt_path, ltimer_callback_fn_t user_cb_fn, void *user_cb_token) argument 319 if (pwm == NULL || fdt_path == NULL) { 333 error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, fdt_path, &fdt_cookie);
|