__cpu_rev          78 arch/c6x/kernel/setup.c 	char __cpu_rev[5];
__cpu_rev         183 arch/c6x/kernel/setup.c 		p->cpu_rev = p->__cpu_rev;
__cpu_rev         184 arch/c6x/kernel/setup.c 		snprintf(p->__cpu_rev, sizeof(p->__cpu_rev), "0x%x", cpu_id);