Symbol: NFS4_DEVICE_ID_HASH_SIZE