random number in driver

get_random_bytes():

ex:

unsigned char uuid[16];

get_random_bytes(uuid, sizeof (uuid));