void __init get_cpu_vendor(struct cpuinfo_x86 *c) 
void __cpuinit get_cpu_vendor(struct cpuinfo_x86 *c) 
void __init get_cpu_vendor(struct cpuinfo_x86 *c){	char *v = c->x86_vendor_id;	if (!strcmp(v, "AuthenticAMD"))		c->x86_vendor = X86_VENDOR_AMD;	else if (!strcmp(v, "GenuineIntel"))		c->x86_vendor = X86_VENDOR_INTEL;	else		c->x86_vendor = X86_VENDOR_UNKNOWN;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/setup.c/clean/arch/x86_64/kernel/setup.c