Searched refs:IPG_CLK_HIGHFREQ (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/kernel/src/drivers/timer/ | ||
H A D | imx31-gpt.c | 27 IPG_CLK_HIGHFREQ = 2, enumerator in enum:IPGConstants 40 gpt->gptcr = BIT(ENMOD) | BIT(FRR) | (IPG_CLK_HIGHFREQ << CLKSRC); |
H A D | imx31-epit.c | 26 IPG_CLK_HIGHFREQ = 2, 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 33 milliseconds