From 53d5e44d894d292621a1ca63973a910b4c6f046f Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Wed, 28 Aug 2019 15:14:27 -0600 Subject: [PATCH] Cosmetic updates. --- include/nuttx/wdog.h | 7 +++++-- sched/timer/timer_release.c | 2 +- sched/wdog/wd_delete.c | 2 +- 3 files changed, 7 insertions(+), 4 deletions(-) diff --git a/include/nuttx/wdog.h b/include/nuttx/wdog.h index e8e26dbaae..b736ef09c5 100644 --- a/include/nuttx/wdog.h +++ b/include/nuttx/wdog.h @@ -49,7 +49,8 @@ /**************************************************************************** * Pre-processor Definitions ****************************************************************************/ -/* Configuration ********************************************************/ + +/* Configuration ************************************************************/ #ifndef CONFIG_PREALLOC_WDOGS # define CONFIG_PREALLOC_WDOGS 32 @@ -69,7 +70,8 @@ # error CONFIG_WDOG_INTRESERVE >= CONFIG_PREALLOC_WDOGS #endif -/* Watchdog Definitions *************************************************/ +/* Watchdog Definitions *****************************************************/ + /* Flag bits for the flags field of struct wdog_s */ #define WDOGF_ACTIVE (1 << 0) /* Bit 0: 1=Watchdog is actively timing */ @@ -102,6 +104,7 @@ /**************************************************************************** * Public Type Declarations ****************************************************************************/ + /* The arguments are passed as scalar wdparm_t values. For systems where * the sizeof(pointer) < sizeof(uint32_t), the following union defines the * alignment of the pointer within the uint32_t. For example, the SDCC diff --git a/sched/timer/timer_release.c b/sched/timer/timer_release.c index 5d2c8d7c14..b172a4ff7b 100644 --- a/sched/timer/timer_release.c +++ b/sched/timer/timer_release.c @@ -119,7 +119,7 @@ int timer_release(FAR struct posix_timer_s *timer) { /* Some sanity checks */ - if (!timer) + if (timer == NULL) { return -EINVAL; } diff --git a/sched/wdog/wd_delete.c b/sched/wdog/wd_delete.c index 30a7f58a63..653e7a15ba 100644 --- a/sched/wdog/wd_delete.c +++ b/sched/wdog/wd_delete.c @@ -80,7 +80,7 @@ int wd_delete(WDOG_ID wdog) { irqstate_t flags; - DEBUGASSERT(wdog); + DEBUGASSERT(wdog != NULL); /* The following steps are atomic... the watchdog must not be active when * it is being deallocated.