smp4d_ticker 147 arch/sparc/kernel/kernel.h extern unsigned int smp4d_ticker[]; smp4d_ticker 401 arch/sparc/kernel/sun4d_irq.c lvl14_save[2] += smp4d_ticker - real_irq_entry;