random_read        36 bsp/drv/dev/misc/random.c static int random_read(device_t, char *, size_t *, int);
random_read        42 bsp/drv/dev/misc/random.c 	/* read */	random_read,