diff options
| author | Stephen Boyd <sboyd@codeaurora.org> | 2012-09-19 08:16:07 +0100 |
|---|---|---|
| committer | Russell King <rmk+kernel@arm.linux.org.uk> | 2012-09-19 21:52:08 +0100 |
| commit | 559a593905e583fca23229b916c016e5211c6766 (patch) | |
| tree | 2d79655370beb472af387000d509613f59c96782 /arch/arm/kernel/machine_kexec.c | |
| parent | 38ef2ad5f1d704f1a41599fc70488ca51eb56d3f (diff) | |
ARM: 7536/1: smp: Formalize an IPI for wakeup
Remove the offset from ipi_msg_type and assume that SGI0 is the
wakeup interrupt now that all WFI hotplug users call
gic_raise_softirq() with 0 instead of 1. This allows us to
track how many wakeup interrupts are sent and also removes the
unknown IPI printk message for WFI hotplug based systems.
Reviewed-by: Nicolas Pitre <nico@linaro.org>
Signed-off-by: Stephen Boyd <sboyd@codeaurora.org>
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
Diffstat (limited to 'arch/arm/kernel/machine_kexec.c')
0 files changed, 0 insertions, 0 deletions