Searched refs:smp4d_percpu_timer_interrupt (Results 1 – 3 of 3) sorted by relevance
129 void smp4d_percpu_timer_interrupt(struct pt_regs *regs);
364 void smp4d_percpu_timer_interrupt(struct pt_regs *regs) in smp4d_percpu_timer_interrupt() function
354 call smp4d_percpu_timer_interrupt