Updated Open1788 calibration; More compilation fixes from Mike Smith

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@5707 42af7a65-404d-4744-a932-0658087f49c3

configs/open1788/nsh/defconfig

@@ -223,7 +223,7 @@ CONFIG_ARCH_STACKDUMP=y
 #
 # Board Settings
 #
-CONFIG_BOARD_LOOPSPERMSEC=8079
+CONFIG_BOARD_LOOPSPERMSEC=11852
 # CONFIG_ARCH_CALIBRATION is not set
 CONFIG_DRAM_START=0x10000000
 CONFIG_DRAM_SIZE=65536

configs/open1788/ostest/defconfig

@@ -223,7 +223,7 @@ CONFIG_ARCH_STACKDUMP=y
 #
 # Board Settings
 #
-CONFIG_BOARD_LOOPSPERMSEC=8079
+CONFIG_BOARD_LOOPSPERMSEC=11852
 # CONFIG_ARCH_CALIBRATION is not set
 CONFIG_DRAM_START=0x10000000
 CONFIG_DRAM_SIZE=65536

include/syslog.h

@@ -44,6 +44,7 @@
 
 #include <stdint.h>
 #include <stdarg.h>
+#include <stdbool.h>
 
 /****************************************************************************
  * Pre-processor Definitions

sched/task_restart.c

@@ -177,7 +177,7 @@ int task_restart(pid_t pid)
 #ifdef CONFIG_PRIORITY_INHERITANCE
       tcb->cmn.base_priority = tcb->init_priority;
 #  if CONFIG_SEM_NNESTPRIO > 0
-      tcb->npend_reprio = 0;
+      tcb->cmn.npend_reprio = 0;
 #  endif
 #endif