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;