summaryrefslogtreecommitdiff
path: root/nuttx/configs
diff options
context:
space:
mode:
authorGregory Nutt <gnutt@nuttx.org>2014-08-31 17:04:02 -0600
committerGregory Nutt <gnutt@nuttx.org>2014-08-31 17:04:02 -0600
commit7482b7ad0f60724e593a8919783444ef79f4c79e (patch)
tree396e7019c35eb0f49f430c1132972eedc292a752 /nuttx/configs
parent2ad3a4c2a2b56a721180faa3c689110d86d90359 (diff)
downloadpx4-nuttx-7482b7ad0f60724e593a8919783444ef79f4c79e.tar.gz
px4-nuttx-7482b7ad0f60724e593a8919783444ef79f4c79e.tar.bz2
px4-nuttx-7482b7ad0f60724e593a8919783444ef79f4c79e.zip
Rename kfree to kmm_free for consistency with other naming conventions
Diffstat (limited to 'nuttx/configs')
-rw-r--r--nuttx/configs/ea3131/src/up_usbmsc.c4
-rw-r--r--nuttx/configs/ea3152/src/up_usbmsc.c4
-rw-r--r--nuttx/configs/mikroe-stm32f4/src/up_touchscreen.c2
-rw-r--r--nuttx/configs/pic32mx7mmb/src/up_touchscreen.c2
4 files changed, 6 insertions, 6 deletions
diff --git a/nuttx/configs/ea3131/src/up_usbmsc.c b/nuttx/configs/ea3131/src/up_usbmsc.c
index 67e9d5afe..9a7e74427 100644
--- a/nuttx/configs/ea3131/src/up_usbmsc.c
+++ b/nuttx/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/nuttx/configs/ea3152/src/up_usbmsc.c b/nuttx/configs/ea3152/src/up_usbmsc.c
index e861ad48f..44d11089d 100644
--- a/nuttx/configs/ea3152/src/up_usbmsc.c
+++ b/nuttx/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/nuttx/configs/mikroe-stm32f4/src/up_touchscreen.c b/nuttx/configs/mikroe-stm32f4/src/up_touchscreen.c
index 52edd65de..ab18f05d5 100644
--- a/nuttx/configs/mikroe-stm32f4/src/up_touchscreen.c
+++ b/nuttx/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/nuttx/configs/pic32mx7mmb/src/up_touchscreen.c b/nuttx/configs/pic32mx7mmb/src/up_touchscreen.c
index 99b35151c..fd048d613 100644
--- a/nuttx/configs/pic32mx7mmb/src/up_touchscreen.c
+++ b/nuttx/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;
}