Searched refs:IPG_CLK_32K (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/plat/imx31/machine/ | ||
H A D | hardware.c | 36 IPG_CLK_32K = 3 enumerator in enum:IPGConstants 39 #define TIMER_CLOCK_SRC IPG_CLK_32K |
Completed in 43 milliseconds