call exynos_platform_match() if the kernel is compiled with exynos devices

diff --git a/sys/arch/armv7/armv7/platform.c b/sys/arch/armv7/armv7/platform.c
index 062111f..8caec7b 100644 (file)
--- a/sys/arch/armv7/armv7/platform.c
+++ b/sys/arch/armv7/armv7/platform.c
@@ -1,4 +1,4 @@
-/*     $OpenBSD: platform.c,v 1.1 2015/05/19 03:30:54 jsg Exp $        */
+/*     $OpenBSD: platform.c,v 1.2 2015/05/27 08:03:43 jsg Exp $        */
 /*
  * Copyright (c) 2014 Patrick Wildt <patrick@blueri.se>
  *
@@ -28,12 +28,14 @@
 #include "imx.h"
 #include "omap.h"
 #include "sunxi.h"
+#include "exynos.h"
 
 static struct armv7_platform *platform;
 
 struct armv7_platform *imx_platform_match(void);
 struct armv7_platform *omap_platform_match(void);
 struct armv7_platform *sunxi_platform_match(void);
+struct armv7_platform *exynos_platform_match(void);
 
 struct armv7_platform * (*plat_match[])(void) = {
 #if NIMX > 0
@@ -45,6 +47,9 @@ struct armv7_platform * (*plat_match[])(void) = {
 #if NSUNXI > 0
        sunxi_platform_match,
 #endif
+#if NEXYNOS > 0
+       exynos_platform_match,
+#endif
 };
 
 void