diff --git a/configs/ea3131/src/up_usbmsc.c b/configs/ea3131/src/up_usbmsc.c
index 67e9d5afedf..9a7e7442764 100644
--- a/configs/ea3131/src/up_usbmsc.c
+++ b/configs/ea3131/src/up_usbmsc.c
@@ -108,7 +108,7 @@ int usbmsc_archinitialize(void)
     {
       printf("create_ramdisk: Failed to register ramdisk at %s: %d\n",
              g_source, -ret);
-      kfree(pbuffer);
+      kmm_free(pbuffer);
       return ret;
     }
 
@@ -119,7 +119,7 @@ int usbmsc_archinitialize(void)
     {
       printf("create_ramdisk: Failed to create FAT filesystem on ramdisk at %s\n",
              g_source);
-      /* kfree(pbuffer); -- RAM disk is registered */
+      /* kmm_free(pbuffer); -- RAM disk is registered */
       return ret;
     }
 
diff --git a/configs/ea3152/src/up_usbmsc.c b/configs/ea3152/src/up_usbmsc.c
index e861ad48f75..44d11089d38 100644
--- a/configs/ea3152/src/up_usbmsc.c
+++ b/configs/ea3152/src/up_usbmsc.c
@@ -108,7 +108,7 @@ int usbmsc_archinitialize(void)
     {
       printf("create_ramdisk: Failed to register ramdisk at %s: %d\n",
              g_source, -ret);
-      kfree(pbuffer);
+      kmm_free(pbuffer);
       return ret;
     }
 
@@ -119,7 +119,7 @@ int usbmsc_archinitialize(void)
     {
       printf("create_ramdisk: Failed to create FAT filesystem on ramdisk at %s\n",
              g_source);
-      /* kfree(pbuffer); -- RAM disk is registered */
+      /* kmm_free(pbuffer); -- RAM disk is registered */
       return ret;
     }
 
diff --git a/configs/mikroe-stm32f4/src/up_touchscreen.c b/configs/mikroe-stm32f4/src/up_touchscreen.c
index 52edd65de55..ab18f05d5a7 100644
--- a/configs/mikroe-stm32f4/src/up_touchscreen.c
+++ b/configs/mikroe-stm32f4/src/up_touchscreen.c
@@ -1578,7 +1578,7 @@ int arch_tcinitialize(int minor)
 errout_with_priv:
   sem_destroy(&priv->devsem);
 #ifdef CONFIG_TOUCHSCREEN_MULTIPLE
-  kfree(priv);
+  kmm_free(priv);
 #endif
   return ret;
 }
diff --git a/configs/pic32mx7mmb/src/up_touchscreen.c b/configs/pic32mx7mmb/src/up_touchscreen.c
index 99b35151c61..fd048d61398 100644
--- a/configs/pic32mx7mmb/src/up_touchscreen.c
+++ b/configs/pic32mx7mmb/src/up_touchscreen.c
@@ -1431,7 +1431,7 @@ int arch_tcinitialize(int minor)
 errout_with_priv:
   sem_destroy(&priv->devsem);
 #ifdef CONFIG_TOUCHSCREEN_MULTIPLE
-  kfree(priv);
+  kmm_free(priv);
 #endif
   return ret;
 }