/*
- * Copyright (c) 2008, 2009, 2010, 2011 Nicira Networks.
+ * Copyright (c) 2008, 2009, 2010, 2011, 2012 Nicira, Inc.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
#include <config.h>
#include "random.h"
-#include <assert.h>
#include <errno.h>
#include <stdlib.h>
#include <sys/time.h>
void
random_set_seed(uint32_t seed_)
{
- assert(seed_);
+ ovs_assert(seed_);
seed = seed_;
}
return random_next();
}
+uint64_t
+random_uint64(void)
+{
+ uint64_t x;
+
+ random_init();
+
+ x = random_next();
+ x |= (uint64_t) random_next() << 32;
+ return x;
+}
+
int
random_range(int max)
{