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

/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dfdt.h52 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 Dfdt.h52 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 Dfdt.c45 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 Dltimer.h69 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/libs/libplatsupport/src/
H A Dfdt.c45 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 Dltimer.h69 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/libs/libplatsupport/src/mach/nvidia/
H A Dtimer.c170 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dtimer.c170 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/libs/libplatsupport/src/mach/imx/
H A Dgpt.c278 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/libs/libplatsupport/src/mach/imx/epit/
H A Depit.c235 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/
H A Dgpt.c278 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/epit/
H A Depit.c235 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/
H A Ddmt.c269 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c269 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c174 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c174 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/libs/libplatsupport/src/mach/omap/
H A Dgpt.c413 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/
H A Dpwm.c317 ps_fdt_cookie_t *fdt_cookie;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/
H A Dgpt.c413 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dpwm.c317 ps_fdt_cookie_t *fdt_cookie;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c587 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/
H A Dtimer.c587 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/
H A Dtx2.c428 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A Dimx6.c534 ps_fdt_cookie_t *cookie = NULL;
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/
H A Dzynq7000.c517 ps_fdt_cookie_t *cookie = NULL;

Completed in 198 milliseconds