hash_castle_key    29 src/hash.cpp      for (i = 0; i < 16; i++) Castle64[i] = hash_castle_key(i);
hash_castle_key    64 src/hash.cpp      key ^= hash_castle_key(board->flags);
hash_castle_key    37 src/hash.h     extern uint64 hash_castle_key   (int flags);