Searched refs:reset_controller_init (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | src.h | 27 int reset_controller_init(enum src_id, ps_io_ops_t* ops, src_dev_t* dev);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | src.c | 74 reset_controller_init(enum src_id id, ps_io_ops_t* ops, src_dev_t* dev) function
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ |
H A D | src.c | 82 reset_controller_init(enum src_id id, ps_io_ops_t* ops, src_dev_t* dev) function
|
H A D | clock.c | 986 err = reset_controller_init(SLCR, o, &slcr);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos4/ |
H A D | src.c | 103 reset_controller_init(enum src_id id, ps_io_ops_t* ops, src_dev_t* dev) function
|
Completed in 89 milliseconds