alcor_names       710 arch/alpha/kernel/setup.c static char alcor_names[][16] = {"Alcor", "Maverick", "Bret"};
alcor_names      1034 arch/alpha/kernel/setup.c 			*variation_name = alcor_names[alcor_indices[member]];