Commit 5ede4ee7 authored by Philippe Gerum's avatar Philippe Gerum

ipipe: fix build with CONFIG_IPIPE disabled

parent 7bd1a3fb
......@@ -153,6 +153,8 @@ void __ipipe_timer_refresh_freq(unsigned int hrclock_freq);
#define ipipe_host_timer_register(clkevt) do { } while (0)
#define ipipe_host_timer_cleanup(clkevt) do { } while (0)
#endif /* !CONFIG_IPIPE */
#ifdef CONFIG_IPIPE_HAVE_HOSTRT
......
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