__arch_update_dedicated_flag  311 arch/s390/kernel/topology.c 	on_each_cpu(__arch_update_dedicated_flag, NULL, 0);
__arch_update_dedicated_flag  558 arch/s390/kernel/topology.c 	__arch_update_dedicated_flag(NULL);