diff options
Diffstat (limited to 'nuttx/sched/sched_free.c')
| -rw-r--r-- | nuttx/sched/sched_free.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/nuttx/sched/sched_free.c b/nuttx/sched/sched_free.c index 998f5458c..2bdf9670e 100644 --- a/nuttx/sched/sched_free.c +++ b/nuttx/sched/sched_free.c @@ -45,8 +45,6 @@ #include <nuttx/kmalloc.h> #include <nuttx/arch.h> #include <nuttx/wqueue.h> -#include <nuttx/mm.h> - #include "os_internal.h" /************************************************************************ @@ -92,7 +90,7 @@ void sched_free(FAR void *address) * manager to do this. */ - if (up_interrupt_context() || mm_trysemaphore() != 0) + if (up_interrupt_context() || kmm_trysemaphore() != 0) { /* Yes.. Delay the deallocation until a more appropriate time. */ @@ -111,7 +109,7 @@ void sched_free(FAR void *address) /* No.. just deallocate the memory now. */ kfree(address); - mm_givesemaphore(); + kmm_givesemaphore(); } } |