summaryrefslogtreecommitdiff
path: root/nuttx/arch/arm/src/armv6-m
diff options
context:
space:
mode:
authorGregory Nutt <gnutt@nuttx.org>2014-08-28 13:21:36 -0600
committerGregory Nutt <gnutt@nuttx.org>2014-08-28 13:21:36 -0600
commit31078965acba45d24fa74ed2e306a629dbcfb410 (patch)
tree63d97e93d68d6b69f6ea34d9fd521d1e2b227fdd /nuttx/arch/arm/src/armv6-m
parent4c6a994840d6e41fe259d3277ee7eed206fd3b73 (diff)
downloadnuttx-31078965acba45d24fa74ed2e306a629dbcfb410.tar.gz
nuttx-31078965acba45d24fa74ed2e306a629dbcfb410.tar.bz2
nuttx-31078965acba45d24fa74ed2e306a629dbcfb410.zip
Add an ARMv7-A system call definition header file
Diffstat (limited to 'nuttx/arch/arm/src/armv6-m')
-rw-r--r--nuttx/arch/arm/src/armv6-m/svcall.h16
1 files changed, 10 insertions, 6 deletions
diff --git a/nuttx/arch/arm/src/armv6-m/svcall.h b/nuttx/arch/arm/src/armv6-m/svcall.h
index f5511c525..8afd1a981 100644
--- a/nuttx/arch/arm/src/armv6-m/svcall.h
+++ b/nuttx/arch/arm/src/armv6-m/svcall.h
@@ -52,7 +52,8 @@
/* Configuration ********************************************************************/
/* This logic uses three system calls {0,1,2} for context switching and one for the
- * syscall return. The first four syscall values must be reserved.
+ * syscall return. So a minimum of four syscall values must be reserved. If
+ * CONFIG_NUTTX_KERNEL is defined, then four more syscall values must be reserved.
*/
#ifdef CONFIG_LIB_SYSCALL
@@ -64,9 +65,9 @@
# endif
# else
# ifndef CONFIG_SYS_RESERVED
-# error "CONFIG_SYS_RESERVED must be defined to have the value 3"
-# elif CONFIG_SYS_RESERVED != 3
-# error "CONFIG_SYS_RESERVED must have the value 3"
+# error "CONFIG_SYS_RESERVED must be defined to have the value 4"
+# elif CONFIG_SYS_RESERVED != 4
+# error "CONFIG_SYS_RESERVED must have the value 4"
# endif
# endif
#endif
@@ -94,7 +95,7 @@
#define SYS_switch_context (2)
-#ifdef CONFIG_NUTTX_KERNEL
+#ifdef CONFIG_LIB_SYSCALL
/* SYS call 3:
*
* void up_syscall_return(void);
@@ -102,6 +103,7 @@
#define SYS_syscall_return (3)
+#ifdef CONFIG_NUTTX_KERNEL
/* SYS call 4:
*
* void up_task_start(main_t taskentry, int argc, FAR char *argv[])
@@ -132,7 +134,9 @@
*/
#define SYS_signal_handler_return (7)
-#endif
+
+#endif /* CONFIG_NUTTX_KERNEL */
+#endif /* CONFIG_LIB_SYSCALL */
/************************************************************************************
* Inline Functions