2 * Copyright (C) 2013 Imagination Technologies
3 * Author: Paul Burton <paul.burton@imgtec.com>
6 * Copyright (C) 2007 MIPS Technologies, Inc.
7 * Author: Chris Dearman (chris@mips.com)
9 * This program is free software; you can redistribute it and/or modify it
10 * under the terms of the GNU General Public License as published by the
11 * Free Software Foundation; either version 2 of the License, or (at your
12 * option) any later version.
15 #include <linux/printk.h>
18 #include <asm/smp-ops.h>
20 void gic_send_ipi_single(int cpu
, unsigned int action
)
25 pr_debug("CPU%d: %s cpu %d action %u status %08x\n",
26 smp_processor_id(), __func__
, cpu
, action
, read_c0_status());
28 local_irq_save(flags
);
31 case SMP_CALL_FUNCTION
:
32 intr
= plat_ipi_call_int_xlate(cpu
);
35 case SMP_RESCHEDULE_YOURSELF
:
36 intr
= plat_ipi_resched_int_xlate(cpu
);
44 local_irq_restore(flags
);
47 void gic_send_ipi_mask(const struct cpumask
*mask
, unsigned int action
)
52 gic_send_ipi_single(i
, action
);