See int_hash.
Generate a hash key for a pointer to an integer.
The value pointed at is used to generate the key.