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

/seL4-refos-master/libs/libplatsupport/plat_include/tk1/platsupport/plat/
H A Dclock.h218 vde_clk_t, enumerator in enum:src_clocks
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/tk1/platsupport/plat/
H A Dclock.h218 vde_clk_t, enumerator in enum:src_clocks
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Dclock.c181 CLK_REGISTER_ENTRY_SOURCE(vde_clk_t), // CLK_RST_CONTROLLER_CLK_SOURCE_VDE_0
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dclock.c181 CLK_REGISTER_ENTRY_SOURCE(vde_clk_t), // CLK_RST_CONTROLLER_CLK_SOURCE_VDE_0

Completed in 75 milliseconds