On 06/07/2013 12:56 PM, Stephen Warren wrote: ... > [1] Perhaps the issue is why ipi_send_stop() calls down into > tegra_cpu_kill() rather than tegra_cpu_die(), since die() is what > should be run on the killed CPU, and kill() on the killing CPU? Scratch that; I don't think it's calling down to /either/; I was confused. It seems like it /should/ call cpu_die() though, at least if hotplug is enabled, right? -- To unsubscribe from this list: send the line "unsubscribe linux-tegra" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html