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;