541 	const int hash_idx = ppm_hash_pid(pid);  in find_ppm()  local
544 	ppm = ppm_hash_table[hash_idx];  in find_ppm()
557 	const int hash_idx = ppm_hash_pid(pid);  in add_ppm_hash()  local
566 		ppm->hash_next = ppm_hash_table[hash_idx];  in add_ppm_hash()
567 		ppm_hash_table[hash_idx] = ppm;  in add_ppm_hash()
655 	const int hash_idx = ppi_hash(ppi);  in add_ppi_to_hash()  local
657 	ppi->hash_next = ppi_hash_table[hash_idx];  in add_ppi_to_hash()
658 	ppi_hash_table[hash_idx] = ppi;  in add_ppi_to_hash()
670 	const int hash_idx = ppi_hash_name(name);  in find_ppi_by_name()  local
673 	ppi = ppi_hash_table[hash_idx];  in find_ppi_by_name()
688 	const int hash_idx = ppi_hash_pid(pid);  in find_ppi_by_pid()  local
691 	ppi = ppi_hash_table[hash_idx];  in find_ppi_by_pid()