Symbol: set_sbi_tid
arch/sparc/kernel/sun4d_irq.c
262
set_sbi_tid(devid, cpuid << 3);
arch/sparc/kernel/sun4d_irq.c
495
set_sbi_tid(devid, target_cpu << 3);