| 403 | } |
| 404 | |
| 405 | inline unsigned int |
| 406 | next_rand(unsigned int *p) |
| 407 | { |
| 408 | unsigned int seed = *p; |
| 409 | seed = 1103515145 * seed + 12345; |
| 410 | *p = seed; |
| 411 | return seed; |
| 412 | } |
| 413 | |
| 414 | extern ClassAllocator<CacheRemoveCont, false> cacheRemoveContAllocator; |
| 415 |
no outgoing calls