xgene_rng_start_timer  175 drivers/char/hw_random/xgene-rng.c 			xgene_rng_start_timer(ctx);
xgene_rng_start_timer  191 drivers/char/hw_random/xgene-rng.c 				xgene_rng_start_timer(ctx);