versatile_immitation_cpu_die 81 arch/arm/mach-realview/platsmp-dt.c return versatile_immitation_cpu_die(cpu, 0x20); versatile_immitation_cpu_die 85 arch/arm/mach-vexpress/platsmp.c versatile_immitation_cpu_die(cpu, 0x40); versatile_immitation_cpu_die 13 arch/arm/plat-versatile/include/plat/platsmp.h void versatile_immitation_cpu_die(unsigned int cpu, unsigned int actrl_mask);