eb64p_names       713 arch/alpha/kernel/setup.c static char eb64p_names[][16] = {"EB64+", "Cabriolet", "AlphaPCI64"};
eb64p_names      1038 arch/alpha/kernel/setup.c 			*variation_name = eb64p_names[eb64p_indices[member]];