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