tmp_uuid         2235 drivers/char/random.c 	unsigned char buf[64], tmp_uuid[16], *uuid;
tmp_uuid         2239 drivers/char/random.c 		uuid = tmp_uuid;