Searched refs:IPG_CLK_32K (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/kernel/src/drivers/timer/ | ||
| H A D | imx31-epit.c | 27 IPG_CLK_32K = 3 enumerator in enum:IPGConstants 30 #define TIMER_CLOCK_SRC IPG_CLK_32K |
| H A D | imx31-gpt.c | 28 IPG_CLK_32K = 3 enumerator in enum:IPGConstants |
| /seL4-refos-master/libs/libplatsupport/src/mach/imx/epit/ | ||
| H A D | epit.c | 87 IPG_CLK = 1, IPG_CLK_HIGHFREQ = 2, IPG_CLK_32K = 3 enumerator in enum:IPGConstants |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ | ||
| H A D | epit.c | 87 IPG_CLK = 1, IPG_CLK_HIGHFREQ = 2, IPG_CLK_32K = 3 enumerator in enum:IPGConstants |
Completed in 28 milliseconds