fips 550 drivers/char/random.c size_t nbytes, int fips); fips 1554 drivers/char/random.c size_t nbytes, int fips) fips 1563 drivers/char/random.c if (fips) {