Searched refs:IPG_CLK (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/kernel/src/drivers/timer/ | ||
H A D | imx31-gpt.c | 26 IPG_CLK = 1, enumerator in enum:IPGConstants |
H A D | imx31-epit.c | 25 IPG_CLK = 1, enumerator in enum:IPGConstants |
/seL4-camkes-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 124 epit->epit_map->epitcr = reload_val | (IPG_CLK << CLKSRC) | /* Clock source = IPG */ |
Completed in 93 milliseconds