5851 scrub_dcache(int how_many)  argument
5860 	for (i = 0; i < how_many; i++) {
5888 	int how_many;  local
5901 	how_many = (dcache_nlines * scan_rate) / (1000 * csi->csi_freq);
5906 			scrub_dcache(how_many);
5920 scrub_icache(int how_many)  argument
5930 	for (i = 0; i < how_many; i++) {
5962 	int how_many;  local
5976 	how_many = (icache_nlines * scan_rate) / (1000 * csi->csi_freq);
5981 			scrub_icache(how_many);
5992 scrub_ecache(int how_many)  argument
6005 	for (i = 0; i < how_many; i++) {
6041 	int how_many;  local
6055 	how_many = (ecache_nlines * scan_rate) / (1000 * csi->csi_freq);
6060 			scrub_ecache(how_many);