ptr_to_cpu        619 arch/arc/kernel/setup.c 	int cpu_id = ptr_to_cpu(v);
ptr_to_cpu        411 arch/c6x/kernel/setup.c 	int n = ptr_to_cpu(v);