summaryrefslogtreecommitdiff
path: root/nuttx/include
diff options
context:
space:
mode:
authorpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2010-08-15 16:23:18 +0000
committerpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2010-08-15 16:23:18 +0000
commitaa8fe0d6cf94a297fd0e7c8a6ab1ddb315fda57e (patch)
treec4b6ec2ea5886dc9ce638d1981146ec1cb363006 /nuttx/include
parentb2769ae6a5785363554e9c77953eed7bf8a9e1f9 (diff)
downloadpx4-nuttx-aa8fe0d6cf94a297fd0e7c8a6ab1ddb315fda57e.tar.gz
px4-nuttx-aa8fe0d6cf94a297fd0e7c8a6ab1ddb315fda57e.tar.bz2
px4-nuttx-aa8fe0d6cf94a297fd0e7c8a6ab1ddb315fda57e.zip
Minor design improvements
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2856 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/include')
-rwxr-xr-xnuttx/include/nuttx/page.h12
1 files changed, 4 insertions, 8 deletions
diff --git a/nuttx/include/nuttx/page.h b/nuttx/include/nuttx/page.h
index 147a3b6c8..fc8ec989d 100755
--- a/nuttx/include/nuttx/page.h
+++ b/nuttx/include/nuttx/page.h
@@ -43,10 +43,7 @@
#include <nuttx/config.h>
-#include <sys/types.h>
-#include <stdint.h>
#include <stdbool.h>
-#include <nuttx/wqueue.h>
#ifdef CONFIG_PAGING
@@ -165,10 +162,9 @@ EXTERN void pg_miss(void);
* to be performed or not.
*
* Returned Value:
- * This function will return zero (OK) if the mapping is in place and
- * the negated errn ENXIO if the mapping is still needed. Other errors
- * may also be returned but these will be interpreted as fatal error
- * conditions.
+ * This function will return true if the mapping is in place and false
+ * if the mapping is still needed. Errors encountered should be
+ * interpreted as fatal.
*
* Assumptions:
* - This function is called from the normal tasking context (but with
@@ -178,7 +174,7 @@ EXTERN void pg_miss(void);
*
****************************************************************************/
-EXTERN int up_checkmapping(FAR _TCB *tcb);
+EXTERN bool up_checkmapping(FAR _TCB *tcb);
/****************************************************************************
* Name: up_allocpage()