/* Helper function which calls the hrtimer callback from tasklet/softirq context  */
static void __tasklet_hrtimer_trampoline(unsigned long data)
/* Helper function which calls the hrtimer callback from tasklet/softirq context  */
static void __tasklet_hrtimer_trampoline(unsigned long data)
{
	struct tasklet_hrtimer *ttimer = (void *)data;
	enum hrtimer_restart restart;
	restart = ttimer->function(&ttimer->timer);
	if (restart != HRTIMER_NORESTART)
		hrtimer_restart(&ttimer->timer);
}