Searched refs:ps_get_clock (Results 1 - 10 of 10) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dclock.c27 clock_sys->get_clock = &ps_get_clock;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx31/
H A Dclock.c32 clock_sys->get_clock = &ps_get_clock;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/omap3/
H A Dclock.c34 clock_sys->get_clock = &ps_get_clock;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dclock.h82 clk_t* ps_get_clock(clock_sys_t* sys, enum clk_id id);
H A Dclock.c104 clk_t *ps_get_clock(clock_sys_t *sys, enum clk_id id) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/
H A Dclock.c129 clk_sys->get_clock = &ps_get_clock;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos4/
H A Dclock.c325 clock_sys->get_clock = &ps_get_clock;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos5/
H A Dclock.c299 clock_sys->get_clock = &ps_get_clock;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/
H A Dclock.c661 clock_sys->get_clock = &ps_get_clock;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Dclock.c995 clock_sys->get_clock = &ps_get_clock;

Completed in 108 milliseconds