i find there are two type of hash function. one is https://github.com/minio/highwayhash for /proc/pid/mapping file. the other is https://github.com/cespare/xxhash for debuginfo. what is the difference?