Searched refs:reg_walk_cb_fn_t (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 37 typedef int (*reg_walk_cb_fn_t)(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token); typedef 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);
|
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 37 typedef int (*reg_walk_cb_fn_t)(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token); typedef 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);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | fdt.c | 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)
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | fdt.c | 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)
|
Completed in 81 milliseconds