smp_get_core_info  807 arch/s390/kernel/smp.c 	smp_get_core_info(info, 1);
smp_get_core_info 1183 arch/s390/kernel/smp.c 	smp_get_core_info(info, 0);