found_thread      316 arch/powerpc/kernel/prom.c 	int found_thread = 0;
found_thread      337 arch/powerpc/kernel/prom.c 			found_thread = i;
found_thread      350 arch/powerpc/kernel/prom.c 	    be32_to_cpu(intserv[found_thread]));
found_thread      391 arch/powerpc/kernel/prom.c 	set_hard_smp_processor_id(found, be32_to_cpu(intserv[found_thread]));