Searched refs:smp4d_percpu_timer_interrupt (Results 1 – 3 of 3) sorted by relevance
117 void smp4d_percpu_timer_interrupt(struct pt_regs *regs);
363 void smp4d_percpu_timer_interrupt(struct pt_regs *regs) in smp4d_percpu_timer_interrupt() function
352 call smp4d_percpu_timer_interrupt