diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-11-25 14:10:35 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-11-25 14:10:35 -0600 |
commit | e814f226d6aa6c1700706bb8db9c190b8244eee5 (patch) | |
tree | 43d0dfba6c451cf16eef42251d776dc4e14cbec6 /nuttx/sched/init | |
parent | f28eff61aeb62c867249c8cb21162dbd3c60cc37 (diff) | |
download | nuttx-e814f226d6aa6c1700706bb8db9c190b8244eee5.tar.gz nuttx-e814f226d6aa6c1700706bb8db9c190b8244eee5.tar.bz2 nuttx-e814f226d6aa6c1700706bb8db9c190b8244eee5.zip |
More fixes to problems noted by cppcheck. Some are kind of risky; some are real bugs.
Diffstat (limited to 'nuttx/sched/init')
-rw-r--r-- | nuttx/sched/init/os_start.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/nuttx/sched/init/os_start.c b/nuttx/sched/init/os_start.c index f48bea318..561e79b9b 100644 --- a/nuttx/sched/init/os_start.c +++ b/nuttx/sched/init/os_start.c @@ -341,6 +341,7 @@ void os_start(void) sem_initialize(); +#if defined(MM_KERNEL_USRHEAP_INIT) || defined(CONFIG_MM_KERNEL_HEAP) || defined(CONFIG_MM_PGALLOC) /* Initialize the memory manager */ { @@ -375,6 +376,7 @@ void os_start(void) mm_pginitialize(heap_start, heap_size); #endif } +#endif #if defined(CONFIG_SCHED_HAVE_PARENT) && defined(CONFIG_SCHED_CHILD_STATUS) /* Initialize tasking data structures */ |