Add SMP support to the PLATFORM code.

[andrew]

Summary

This allows us to have differnet methods for different SoCs, e.g. the
Allwinner A20 and A31 have different memory ranges they need to map to
power on the secondary cores.

[andrew]

Remove unneeded includes

head/sys/arm/arm/platform.c

 
 void
 platform_late_init(void)
 {
 
         PLATFORM_LATE_INIT(plat_obj);
 }
 
+#if defined(SMP) && defined(PLATFORM_SMP)
+void
+platform_mp_setmaxid(void)
+{
+
+        PLATFORM_MP_SETMAXID(plat_obj);
+}
+
+void
+platform_mp_start_ap(void)
+{
+
+        PLATFORM_MP_START_AP(plat_obj);
+}
+#endif

head/sys/arm/arm/platform_if.m

 #
 # Default implementations
 #
 CODE {
         static void platform_null_attach(platform_t plat)
         {
                 return;
         }
+
+        static void platform_default_mp_setmaxid(platform_t plat)
+        {
+                mp_ncpus = 1;
+                mp_maxid = 0;
+        }
 };
 
 /**
  * @brief Probe for whether we are on this platform, returning the standard
  * newbus probe codes. If we have Open Firmware or a flattened device tree,
  * it is guaranteed to be available at this point.
  */
 METHOD int probe {

  * @brief Called just after cninit(). This is the first of the init
  * routines that can use printf() and expect the output to appear on
  * a standard console.
  */
 METHOD void late_init {
         platform_t      _plat;
 };
 
+/**
+ * @brief Called by cpu_mp_setmaxid() to set mp_maxid and mp_ncpus.
+ */
+METHOD void mp_setmaxid {
+        platform_t      _plat;
+} DEFAULT platform_default_mp_setmaxid;
+
+/**
+ * @brief Called by cpu_mp_start to start the secondary processors.
+ */
+METHOD void mp_start_ap {
+        platform_t      _plat;
+};

head/sys/arm/conf/VIRT

 ident           VIRT
 
 include         "std.armv6"
 include         "../qemu/std.virt"
 
 options         HZ=100
 options         SCHED_ULE               # 4BSD scheduler
 options         PLATFORM
+options         PLATFORM_SMP
 options         SMP                     # Enable multiple cores
 
 # Debugging for use in -current
 makeoptions     DEBUG=-g                # Build kernel with gdb(1) debug symbols
 options         BREAK_TO_DEBUGGER
 options         ALT_BREAK_TO_DEBUGGER
 #options        VERBOSE_SYSINIT         # Enable verbose sysinit messages
 options         KDB                     # Enable kernel debugger support

head/sys/arm/qemu/virt_machdep.c

 
 #include <vm/vm.h>
 
 #include <machine/bus.h>
 #include <machine/devmap.h>
 #include <machine/platform.h>
 #include <machine/platformvar.h>
 
+#include <arm/qemu/virt_mp.h>
+
 #include "platform_if.h"
 
 struct arm32_dma_range *
 bus_dma_get_range(void)
 {
 
         return (NULL);
 }
virt_devmap_init(platform_t plat)
 
         arm_devmap_add_entry(0x09000000, 0x100000); /* Uart */
         return (0);
 }
 
 static platform_method_t virt_methods[] = {
         PLATFORMMETHOD(platform_devmap_init,    virt_devmap_init),
         PLATFORMMETHOD(platform_lastaddr,       virt_lastaddr),
+
+#ifdef SMP
+        PLATFORMMETHOD(platform_mp_start_ap,    virt_mp_start_ap),
+        PLATFORMMETHOD(platform_mp_setmaxid,    virt_mp_setmaxid),
+#endif
 
         PLATFORMMETHOD_END,
 };
 
 FDT_PLATFORM_DEF(virt, "virt", 0, "linux,dummy-virt");