has_initialized 714 drivers/char/random.c int entropy_count, orig, has_initialized = 0; has_initialized 771 drivers/char/random.c has_initialized = 1; has_initialized 775 drivers/char/random.c if (has_initialized) {