diff options
author | andrew <andrew@FreeBSD.org> | 2016-02-26 16:04:47 +0000 |
---|---|---|
committer | andrew <andrew@FreeBSD.org> | 2016-02-26 16:04:47 +0000 |
commit | e2b10f22275d5cf513c95bad65cc08a5a177fe29 (patch) | |
tree | eebfc93379998bac6ed371a6b64c75be5c78f37c /sys/arm/mv | |
parent | 14b43e3daae197f4b8c5a61ce642a93bbf6213b7 (diff) | |
download | FreeBSD-src-e2b10f22275d5cf513c95bad65cc08a5a177fe29.zip FreeBSD-src-e2b10f22275d5cf513c95bad65cc08a5a177fe29.tar.gz |
Almost all copies of platform_mp_init_secondary just called
intr_pic_init_secondary. Replace them with a direct call. On BCM2836
and ARMADA XP we need to add this function, but it can be empty.
Reviewed by: ian, imp
Sponsored by: ABT Systems Ltd
Differential Revision: https://reviews.freebsd.org/D5460
Diffstat (limited to 'sys/arm/mv')
-rw-r--r-- | sys/arm/mv/armada38x/armada38x_mp.c | 7 | ||||
-rw-r--r-- | sys/arm/mv/armadaxp/armadaxp_mp.c | 5 | ||||
-rw-r--r-- | sys/arm/mv/mpic.c | 5 |
3 files changed, 5 insertions, 12 deletions
diff --git a/sys/arm/mv/armada38x/armada38x_mp.c b/sys/arm/mv/armada38x/armada38x_mp.c index b7cf3ef..8dc404f 100644 --- a/sys/arm/mv/armada38x/armada38x_mp.c +++ b/sys/arm/mv/armada38x/armada38x_mp.c @@ -131,13 +131,6 @@ platform_mp_setmaxid(void) } void -platform_mp_init_secondary(void) -{ - - intr_pic_init_secondary(); -} - -void platform_mp_start_ap(void) { int rv; diff --git a/sys/arm/mv/armadaxp/armadaxp_mp.c b/sys/arm/mv/armadaxp/armadaxp_mp.c index fd00522..2a9265d 100644 --- a/sys/arm/mv/armadaxp/armadaxp_mp.c +++ b/sys/arm/mv/armadaxp/armadaxp_mp.c @@ -87,11 +87,6 @@ platform_mp_setmaxid(void) mp_maxid = mp_ncpus - 1; } -void -platform_mp_init_secondary(void) -{ -} - void mptramp(void); void mptramp_end(void); extern vm_offset_t mptramp_pmu_boot; diff --git a/sys/arm/mv/mpic.c b/sys/arm/mv/mpic.c index 7eb5d2a..ebd1477 100644 --- a/sys/arm/mv/mpic.c +++ b/sys/arm/mv/mpic.c @@ -361,6 +361,11 @@ mv_msi_data(int irq, uint64_t *addr, uint32_t *data) #if defined(SMP) void +intr_pic_init_secondary(void) +{ +} + +void pic_ipi_send(cpuset_t cpus, u_int ipi) { uint32_t val, i; |