carta_random32   2664 arch/ia64/kernel/perfmon.c 	extern unsigned long carta_random32 (unsigned long seed);
carta_random32   2667 arch/ia64/kernel/perfmon.c 		new_seed = carta_random32(old_seed);
carta_random32   2671 arch/ia64/kernel/perfmon.c 			new_seed |= carta_random32(old_seed >> 32) << 32;