-
Expiration dates of in-band timers are based on the monotonic time base read by ktime_get(), which is ok for us to use from non-NMI context. At this chance, drop the pointless 'inline' specifier from pipeline_must_force_program_tick(). Signed-off-by: Philippe Gerum <rpm@xenomai.org>
80d992ea