From 93f6c1b54fe6e045eca0ac789712f62aaaa1da91 Mon Sep 17 00:00:00 2001
From: Ian Lepore <ian@FreeBSD.org>
Date: Sun, 17 Aug 2014 02:53:36 +0000
Subject: [PATCH] Rename the old initarm_* functions to the new platform_*
 names.  Also move the registration of the static device map table into the
 function intended to do devmap init stuff.

---
 sys/arm/at91/at91_common.c | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/sys/arm/at91/at91_common.c b/sys/arm/at91/at91_common.c
index 25306f0d303..5db7679fa3d 100644
--- a/sys/arm/at91/at91_common.c
+++ b/sys/arm/at91/at91_common.c
@@ -7,6 +7,7 @@ __FBSDID("$FreeBSD$");
 #include <vm/vm.h>
 #include <machine/devmap.h>
 #include <machine/machdep.h>
+#include <machine/platform.h> 
 #include <arm/at91/at91var.h>
 #include <arm/at91/at91soc.h>
 #include <arm/at91/at91_aicreg.h>
@@ -55,36 +56,37 @@ at91_eoi(void *unused)
 
 
 vm_offset_t
-initarm_lastaddr(void)
+platform_lastaddr(void)
 {
 
 	return (arm_devmap_lastaddr());
 }
 
 void
-initarm_early_init(void)
+platform_probe_and_attach(void)
 {
 
 	arm_post_filter = at91_eoi;
 	at91_soc_id();
-	arm_devmap_register_table(at91_devmap);
 }
 
 int
-initarm_devmap_init(void)
+platform_devmap_init(void)
 {
 
 //	arm_devmap_add_entry(0xfff00000, 0x00100000); /* 1MB - uart, aic and timers*/
 
+	arm_devmap_register_table(at91_devmap);
+
 	return (0);
 }
 
 void
-initarm_gpio_init(void)
+platform_gpio_init(void)
 {
 }
 
 void
-initarm_late_init(void)
+platform_late_init(void)
 {
 }