Rev 3069 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3069 | Rev 3838 | ||
---|---|---|---|
Line 51... | Line 51... | ||
51 | { |
51 | { |
52 | uint32_t rc; |
52 | uint32_t rc; |
53 | 53 | ||
54 | spinlock_lock(&sem_lock); |
54 | spinlock_lock(&sem_lock); |
55 | rc = seed % max; |
55 | rc = seed % max; |
56 | seed = (((seed<<2) ^ (seed>>2)) * 487) + rc; |
56 | seed = (((seed << 2) ^ (seed >> 2)) * 487) + rc; |
57 | spinlock_unlock(&sem_lock); |
57 | spinlock_unlock(&sem_lock); |
58 | return rc; |
58 | return rc; |
59 | } |
59 | } |
60 | 60 | ||
61 | static void consumer(void *arg) |
61 | static void consumer(void *arg) |