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]];