/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 52 typedef struct ps_fdt_cookie ps_fdt_cookie_t; typedef in typeref:struct:ps_fdt_cookie 65 int ps_fdt_read_path(ps_io_fdt_t *io_fdt, ps_malloc_ops_t *malloc_ops, const char *path, ps_fdt_cookie_t **ret_cookie); 75 int ps_fdt_cleanup_cookie(ps_malloc_ops_t *malloc_ops, ps_fdt_cookie_t *cookie); 93 int ps_fdt_walk_registers(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, reg_walk_cb_fn_t callback, void *token); 113 int ps_fdt_walk_irqs(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, irq_walk_cb_fn_t callback, void *token); 128 void *ps_fdt_index_map_register(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset, 144 irq_id_t ps_fdt_index_register_irq(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset,
|
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 52 typedef struct ps_fdt_cookie ps_fdt_cookie_t; typedef in typeref:struct:ps_fdt_cookie 65 int ps_fdt_read_path(ps_io_fdt_t *io_fdt, ps_malloc_ops_t *malloc_ops, const char *path, ps_fdt_cookie_t **ret_cookie); 75 int ps_fdt_cleanup_cookie(ps_malloc_ops_t *malloc_ops, ps_fdt_cookie_t *cookie); 93 int ps_fdt_walk_registers(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, reg_walk_cb_fn_t callback, void *token); 113 int ps_fdt_walk_irqs(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, irq_walk_cb_fn_t callback, void *token); 128 void *ps_fdt_index_map_register(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset, 144 irq_id_t ps_fdt_index_register_irq(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset,
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | fdt.c | 45 int ps_fdt_read_path(ps_io_fdt_t *io_fdt, ps_malloc_ops_t *malloc_ops, const char *path, ps_fdt_cookie_t **ret_cookie) 73 int ps_fdt_cleanup_cookie(ps_malloc_ops_t *malloc_ops, ps_fdt_cookie_t *cookie) 82 int ps_fdt_walk_registers(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, reg_walk_cb_fn_t callback, void *token) 159 int ps_fdt_walk_irqs(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, irq_walk_cb_fn_t callback, void *token) 270 void *ps_fdt_index_map_register(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset, 321 irq_id_t ps_fdt_index_register_irq(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset,
|
H A D | ltimer.h | 69 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | fdt.c | 45 int ps_fdt_read_path(ps_io_fdt_t *io_fdt, ps_malloc_ops_t *malloc_ops, const char *path, ps_fdt_cookie_t **ret_cookie) 73 int ps_fdt_cleanup_cookie(ps_malloc_ops_t *malloc_ops, ps_fdt_cookie_t *cookie) 82 int ps_fdt_walk_registers(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, reg_walk_cb_fn_t callback, void *token) 159 int ps_fdt_walk_irqs(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, irq_walk_cb_fn_t callback, void *token) 270 void *ps_fdt_index_map_register(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset, 321 irq_id_t ps_fdt_index_register_irq(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset,
|
H A D | ltimer.h | 69 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
H A D | timer.c | 170 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | timer.c | 170 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/libs/libplatsupport/src/mach/imx/ |
H A D | gpt.c | 278 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 235 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | gpt.c | 278 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 235 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 269 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 269 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
H A D | timer.c | 174 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | timer.c | 174 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/libs/libplatsupport/src/mach/omap/ |
H A D | gpt.c | 413 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | pwm.c | 317 ps_fdt_cookie_t *fdt_cookie;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/ |
H A D | gpt.c | 413 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | pwm.c | 317 ps_fdt_cookie_t *fdt_cookie;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 587 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 587 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 428 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 534 ps_fdt_cookie_t *cookie = NULL;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq7000.c | 517 ps_fdt_cookie_t *cookie = NULL;
|