34 #include "UpnpStdInt.h"
36 #include <sys/types.h>
46 #define UUIDS_PER_TICK 1024
51 #define UUIDLock() ithread_mutex_lock(&gUUIDMutex)
52 #define UUIDUnlock() ithread_mutex_unlock(&gUUIDMutex)
54 typedef uint64_t uuid_time_t;
62 void get_random_info(
unsigned char seed[16]);