arch_counter      112 drivers/char/hw_random/s390-trng.c 	u64 arch_counter = atomic64_read(&s390_arch_random_counter);
arch_counter      119 drivers/char/hw_random/s390-trng.c 			dev_counter, hwrng_counter, arch_counter,
arch_counter      120 drivers/char/hw_random/s390-trng.c 			dev_counter + hwrng_counter + arch_counter);