Searched refs:board_id_u64 (Results 1 – 1 of 1) sorted by relevance
249 uint64_t board_id_u64; in initialise_rand() member253 local_rng_state.r[which] ^= splitmix64(unique_id.board_id_u64); in initialise_rand()