platform_devmap_init() was renamed initarm_devmap_init() in r257669, update

comments to match.

2 files changed, 3 insertions, 3 deletions

diff --git a/sys/arm/include/machdep.h b/sys/arm/include/machdep.h
index 46d7e66..1ea4d21 100644
--- a/sys/arm/include/machdep.h
+++ b/sys/arm/include/machdep.h
@@ -41,10 +41,10 @@ vm_offset_t parse_boot_param(struct arm_boot_params *abp);
  *  - initarm_early_init() is called very early, after parsing the boot params
  *    and after physical memory has been located and sized.
  *
- *  - platform_devmap_init() is called as one of the last steps of early virtual
+ *  - initarm_devmap_init() is called as one of the last steps of early virtual
  *    memory initialization, shortly before the new page tables are installed.
  *
- *  - initarm_lastaddr() is called after platform_devmap_init(), and must return
+ *  - initarm_lastaddr() is called after initarm_devmap_init(), and must return
  *    the address of the first byte of unusable KVA space.  This allows a
  *    platform to carve out of the top of the KVA space whatever reserves it
  *    needs for things like static device mapping, and this is called to get the
diff --git a/sys/arm/mv/mv_machdep.c b/sys/arm/mv/mv_machdep.c
index 9758cfb..6fb6db6 100644
--- a/sys/arm/mv/mv_machdep.c
+++ b/sys/arm/mv/mv_machdep.c
@@ -296,7 +296,7 @@ out:
  * Supply a default do-nothing implementation of fdt_pci_devmap() via a weak
  * alias.  Many Marvell platforms don't support a PCI interface, but to support
  * those that do, we end up with a reference to this function below, in
- * platform_devmap_init().  If "device pci" appears in the kernel config, the
+ * initarm_devmap_init().  If "device pci" appears in the kernel config, the
  * real implementation of this function in dev/fdt/fdt_pci.c overrides the weak
  * alias defined here.
  */