marvel_names      719 arch/alpha/kernel/setup.c static char marvel_names[][16] = {
marvel_names     1046 arch/alpha/kernel/setup.c 			*variation_name = marvel_names[marvel_indices[member]];