Searched refs:reset_controller_assert_reset (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Dsrc.h35 void reset_controller_assert_reset(src_dev_t* dev, enum src_rst_id);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/
H A Dsrc.c53 reset_controller_assert_reset(src_dev_t* dev, enum src_rst_id id) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Dsrc.c68 reset_controller_assert_reset(src_dev_t* dev, enum src_rst_id id) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos4/
H A Dsrc.c88 reset_controller_assert_reset(src_dev_t* dev, enum src_rst_id id) function

Completed in 28 milliseconds