diff options
author | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-08 21:19:58 +0000 |
---|---|---|
committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-08 21:19:58 +0000 |
commit | ce7f7103df5f634f7b57d90e115c5824adcb68a0 (patch) | |
tree | 48064ba690d7002bb8fc7b78f3f9dd76729b785c /os/hal/src/ext.c | |
parent | 63bf265ddf9ad40ad981c5a145c601972b91426e (diff) | |
download | ChibiOS-ce7f7103df5f634f7b57d90e115c5824adcb68a0.tar.gz ChibiOS-ce7f7103df5f634f7b57d90e115c5824adcb68a0.tar.bz2 ChibiOS-ce7f7103df5f634f7b57d90e115c5824adcb68a0.zip |
MISRA fixes for high level HAL.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7738 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/hal/src/ext.c')
-rw-r--r-- | os/hal/src/ext.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/os/hal/src/ext.c b/os/hal/src/ext.c index 6d67cb94e..feacdc0ef 100644 --- a/os/hal/src/ext.c +++ b/os/hal/src/ext.c @@ -27,7 +27,7 @@ #include "hal.h"
-#if HAL_USE_EXT || defined(__DOXYGEN__)
+#if (HAL_USE_EXT == TRUE) || defined(__DOXYGEN__)
/*===========================================================================*/
/* Driver local definitions. */
@@ -127,7 +127,7 @@ void extStop(EXTDriver *extp) { */
void extChannelEnable(EXTDriver *extp, expchannel_t channel) {
- osalDbgCheck((extp != NULL) && (channel < EXT_MAX_CHANNELS));
+ osalDbgCheck((extp != NULL) && (channel < (expchannel_t)EXT_MAX_CHANNELS));
osalSysLock();
osalDbgAssert((extp->state == EXT_ACTIVE) &&
@@ -149,7 +149,7 @@ void extChannelEnable(EXTDriver *extp, expchannel_t channel) { */
void extChannelDisable(EXTDriver *extp, expchannel_t channel) {
- osalDbgCheck((extp != NULL) && (channel < EXT_MAX_CHANNELS));
+ osalDbgCheck((extp != NULL) && (channel < (expchannel_t)EXT_MAX_CHANNELS));
osalSysLock();
osalDbgAssert((extp->state == EXT_ACTIVE) &&
@@ -183,7 +183,7 @@ void extSetChannelModeI(EXTDriver *extp, EXTChannelConfig *oldcp;
osalDbgCheck((extp != NULL) &&
- (channel < EXT_MAX_CHANNELS) &&
+ (channel < (expchannel_t)EXT_MAX_CHANNELS) &&
(extcp != NULL));
osalDbgAssert(extp->state == EXT_ACTIVE, "invalid state");
@@ -198,6 +198,6 @@ void extSetChannelModeI(EXTDriver *extp, ext_lld_channel_enable(extp, channel);
}
-#endif /* HAL_USE_EXT */
+#endif /* HAL_USE_EXT == TRUE */
/** @} */
|