Searched refs:sys_hrtimer_irq (Results 1 – 2 of 2) sorted by relevance
68 int sys_hrtimer_irq; /* hrtimer device IRQ */ member
251 info->sys_hrtimer_irq = IPIPE_TIMER_IRQ; in ipipe_get_sysinfo()