Changes in kernel/arch/arm32/src/mm/page.c [f1fc83a:7e752b2] in mainline

File:

• kernel/arch/arm32/src/mm/page.c (modified) (2 diffs)

kernel/arch/arm32/src/mm/page.c

@@ -27 +27 @@
  */
 
-/** @addtogroup arm32mm 
+/** @addtogroup arm32mm
  * @{
  */
@@ -93 +93 @@
             KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH)) {
                 panic("Unable to map physical memory %p (%d bytes).",
-                    physaddr, size);
+                    (void *) physaddr, size);
         }