K 10 svn:author V 6 andrew K 8 svn:date V 27 2016-03-06T11:41:08.326535Z K 7 svn:log V 363 Add SMP support for the Allwinner A31 and A31s. This updated the existing code for the A20 to use the new PLATFORM_SMP interface, and extends it to add support for the new SoCs allowing for both to coexist within the same kernel. Submitted by: Emmanuel Vadot Reviewed by: jmcneill Differential Revision: https://reviews.freebsd.org/D5342 END