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

/seL4-refos-master/kernel/src/drivers/timer/
H A Dimx31-gpt.c27 IPG_CLK_HIGHFREQ = 2, enumerator in enum:IPGConstants
40 gpt->gptcr = BIT(ENMOD) | BIT(FRR) | (IPG_CLK_HIGHFREQ << CLKSRC);
H A Dimx31-epit.c26 IPG_CLK_HIGHFREQ = 2, enumerator in enum:IPGConstants
/seL4-refos-master/libs/libplatsupport/src/mach/imx/epit/
H A Depit.c87 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 Depit.c87 IPG_CLK = 1, IPG_CLK_HIGHFREQ = 2, IPG_CLK_32K = 3 enumerator in enum:IPGConstants

Completed in 35 milliseconds