Commit 862ddaad authored by Philippe Gerum's avatar Philippe Gerum

Revert "ipipe: Revert changes to ARM arch_timer_set_cntkctl"

Add back ARM-specific changes reverted from noarch.
parent 9cde37cf
......@@ -106,6 +106,10 @@ static inline u32 arch_timer_get_cntkctl(void)
static inline void arch_timer_set_cntkctl(u32 cntkctl)
{
#ifdef CONFIG_IPIPE
/* Enable access to user-space (may not be needed) */
cntkctl |= ARCH_TIMER_USR_PCT_ACCESS_EN;
#endif
asm volatile("mcr p15, 0, %0, c14, c1, 0" : : "r" (cntkctl));
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment