diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-29 14:47:22 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-29 14:47:22 -0600 |
| commit | 64892e44f2ce2612c77b1b20497fb007adafafb8 (patch) | |
| tree | 2c917f29727a017b85193ac85959663d504b26e5 /nuttx/drivers/timer.c | |
| parent | c48af0eb9c61462f59a7ba63ca7a73e8df146f49 (diff) | |
| download | nuttx-64892e44f2ce2612c77b1b20497fb007adafafb8.tar.gz nuttx-64892e44f2ce2612c77b1b20497fb007adafafb8.tar.bz2 nuttx-64892e44f2ce2612c77b1b20497fb007adafafb8.zip | |
Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL
Diffstat (limited to 'nuttx/drivers/timer.c')
| -rw-r--r-- | nuttx/drivers/timer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/drivers/timer.c b/nuttx/drivers/timer.c index 0fb4c5f8e..d8dd6b01f 100644 --- a/nuttx/drivers/timer.c +++ b/nuttx/drivers/timer.c @@ -380,7 +380,7 @@ static int timer_ioctl(FAR struct file *filep, int cmd, unsigned long arg) * case direct callbacks from kernel space into user space is forbidden. */ -#ifndef CONFIG_NUTTX_KERNEL +#if !defined(CONFIG_BUILD_PROTECTED) && !defined(CONFIG_BUILD_KERNEL) case TCIOC_SETHANDLER: { FAR struct timer_sethandler_s *sethandler; |