arch_inlined_clockevent_set_next_coupled
arch_inlined_clockevent_set_next_coupled(u64 cycles, struct clock_event_device *evt)
arch_inlined_clockevent_set_next_coupled(u64 cycles, struct clock_event_device *dev) { }