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,