Index: head/sys/arm/allwinner/a20/a20_mp.c =================================================================== --- head/sys/arm/allwinner/a20/a20_mp.c +++ head/sys/arm/allwinner/a20/a20_mp.c @@ -59,13 +59,6 @@ #define CPUCFG_DBGCTL1 0x1e4 void -platform_mp_init_secondary(void) -{ - - intr_pic_init_secondary(); -} - -void platform_mp_setmaxid(void) { int ncpu; Index: head/sys/arm/altera/socfpga/socfpga_mp.c =================================================================== --- head/sys/arm/altera/socfpga/socfpga_mp.c +++ head/sys/arm/altera/socfpga/socfpga_mp.c @@ -85,13 +85,6 @@ } void -platform_mp_init_secondary(void) -{ - - intr_pic_init_secondary(); -} - -void platform_mp_setmaxid(void) { int hwcpu, ncpu; Index: head/sys/arm/amlogic/aml8726/aml8726_mp.c =================================================================== --- head/sys/arm/amlogic/aml8726/aml8726_mp.c +++ head/sys/arm/amlogic/aml8726/aml8726_mp.c @@ -341,21 +341,6 @@ } } - -void -platform_mp_init_secondary(void) -{ - - /* - * Consider modifying the timer driver to support - * per-cpu timers and then enabling the timer for - * each AP. - */ - - intr_pic_init_secondary(); -} - - void platform_mp_setmaxid(void) { Index: head/sys/arm/annapurna/alpine/alpine_machdep_mp.c =================================================================== --- head/sys/arm/annapurna/alpine/alpine_machdep_mp.c +++ head/sys/arm/annapurna/alpine/alpine_machdep_mp.c @@ -119,13 +119,6 @@ } void -platform_mp_init_secondary(void) -{ - - intr_pic_init_secondary(); -} - -void platform_mp_setmaxid(void) { Index: head/sys/arm/arm/mp_machdep.c =================================================================== --- head/sys/arm/arm/mp_machdep.c +++ head/sys/arm/arm/mp_machdep.c @@ -234,7 +234,7 @@ cpu_initclocks_ap(); CTR0(KTR_SMP, "go into scheduler"); - platform_mp_init_secondary(); + intr_pic_init_secondary(); /* Enter the scheduler */ sched_throw(NULL); Index: head/sys/arm/broadcom/bcm2835/bcm2835_intr.c =================================================================== --- head/sys/arm/broadcom/bcm2835/bcm2835_intr.c +++ head/sys/arm/broadcom/bcm2835/bcm2835_intr.c @@ -240,3 +240,10 @@ else printf("arm_mask_irq: Invalid IRQ number: %d\n", nb); } + +#ifdef SMP +void +intr_pic_init_secondary(void) +{ +} +#endif Index: head/sys/arm/broadcom/bcm2835/bcm2836_mp.c =================================================================== --- head/sys/arm/broadcom/bcm2835/bcm2836_mp.c +++ head/sys/arm/broadcom/bcm2835/bcm2836_mp.c @@ -77,12 +77,6 @@ bus_space_write_4(fdtbus_bs_tag, bs_periph, (addr), (val)) void -platform_mp_init_secondary(void) -{ - -} - -void platform_mp_setmaxid(void) { Index: head/sys/arm/freescale/imx/imx6_mp.c =================================================================== --- head/sys/arm/freescale/imx/imx6_mp.c +++ head/sys/arm/freescale/imx/imx6_mp.c @@ -67,13 +67,6 @@ #define SRC_GPR1_C1ARG 0x24 /* Register for Core 1 entry arg */ void -platform_mp_init_secondary(void) -{ - - intr_pic_init_secondary(); -} - -void platform_mp_setmaxid(void) { bus_space_handle_t scu; Index: head/sys/arm/include/smp.h =================================================================== --- head/sys/arm/include/smp.h +++ head/sys/arm/include/smp.h @@ -46,7 +46,6 @@ /* Platform interface */ void platform_mp_setmaxid(void); void platform_mp_start_ap(void); -void platform_mp_init_secondary(void); /* global data in mp_machdep.c */ extern struct pcb stoppcbs[]; Index: head/sys/arm/mv/armada38x/armada38x_mp.c =================================================================== --- head/sys/arm/mv/armada38x/armada38x_mp.c +++ head/sys/arm/mv/armada38x/armada38x_mp.c @@ -131,13 +131,6 @@ } void -platform_mp_init_secondary(void) -{ - - intr_pic_init_secondary(); -} - -void platform_mp_start_ap(void) { int rv; Index: head/sys/arm/mv/armadaxp/armadaxp_mp.c =================================================================== --- head/sys/arm/mv/armadaxp/armadaxp_mp.c +++ head/sys/arm/mv/armadaxp/armadaxp_mp.c @@ -87,11 +87,6 @@ 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; Index: head/sys/arm/mv/mpic.c =================================================================== --- head/sys/arm/mv/mpic.c +++ head/sys/arm/mv/mpic.c @@ -361,6 +361,11 @@ #if defined(SMP) void +intr_pic_init_secondary(void) +{ +} + +void pic_ipi_send(cpuset_t cpus, u_int ipi) { uint32_t val, i; Index: head/sys/arm/qemu/virt_mp.c =================================================================== --- head/sys/arm/qemu/virt_mp.c +++ head/sys/arm/qemu/virt_mp.c @@ -90,10 +90,3 @@ ofw_cpu_early_foreach(virt_start_ap, true); } - -void -platform_mp_init_secondary(void) -{ - - intr_pic_init_secondary(); -} Index: head/sys/arm/rockchip/rk30xx_mp.c =================================================================== --- head/sys/arm/rockchip/rk30xx_mp.c +++ head/sys/arm/rockchip/rk30xx_mp.c @@ -80,13 +80,6 @@ } void -platform_mp_init_secondary(void) -{ - - intr_pic_init_secondary(); -} - -void platform_mp_setmaxid(void) { bus_space_handle_t scu; Index: head/sys/arm/samsung/exynos/exynos5_mp.c =================================================================== --- head/sys/arm/samsung/exynos/exynos5_mp.c +++ head/sys/arm/samsung/exynos/exynos5_mp.c @@ -71,13 +71,6 @@ } void -platform_mp_init_secondary(void) -{ - - intr_pic_init_secondary(); -} - -void platform_mp_setmaxid(void) { Index: head/sys/arm/ti/omap4/omap4_mp.c =================================================================== --- head/sys/arm/ti/omap4/omap4_mp.c +++ head/sys/arm/ti/omap4/omap4_mp.c @@ -43,12 +43,6 @@ #include void -platform_mp_init_secondary(void) -{ - intr_pic_init_secondary(); -} - -void platform_mp_setmaxid(void) { Index: head/sys/arm/xilinx/zy7_mp.c =================================================================== --- head/sys/arm/xilinx/zy7_mp.c +++ head/sys/arm/xilinx/zy7_mp.c @@ -47,13 +47,6 @@ #define SCU_CONTROL_ENABLE (1 << 0) void -platform_mp_init_secondary(void) -{ - - intr_pic_init_secondary(); -} - -void platform_mp_setmaxid(void) {