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

/seL4-refos-master/libs/libplatsupport/plat_include/tk1/platsupport/plat/
H A Dclock.h283 See clk_register_t tk1_clk_registers. */
292 extern const clk_register_t tk1_clk_registers[];
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/tk1/platsupport/plat/
H A Dclock.h283 See clk_register_t tk1_clk_registers. */
292 extern const clk_register_t tk1_clk_registers[];
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Dclock.c37 const clk_register_t tk1_clk_registers[] = { variable
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dclock.c37 const clk_register_t tk1_clk_registers[] = { variable

Completed in 85 milliseconds