shuffle_seed      166 scripts/gcc-plugins/randomize_layout_plugin.c static u64 shuffle_seed[4];
shuffle_seed      278 scripts/gcc-plugins/randomize_layout_plugin.c 		seed[i] = shuffle_seed[i];
shuffle_seed      976 scripts/gcc-plugins/randomize_layout_plugin.c 		&shuffle_seed[0], &shuffle_seed[1], &shuffle_seed[2], &shuffle_seed[3]);