diff options
Diffstat (limited to 'os')
| -rw-r--r-- | os/rt/include/chtime.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/os/rt/include/chtime.h b/os/rt/include/chtime.h index 73d278a77..b2fc9d5d0 100644 --- a/os/rt/include/chtime.h +++ b/os/rt/include/chtime.h @@ -490,7 +490,10 @@ static inline systime_t chTimeAddX(systime_t systime, */
static inline sysinterval_t chTimeDiffX(systime_t start, systime_t end) {
+ /*lint -save -e9033 [10.8] This cast is required by the operation, it is
+ known that the destination type can be wider.*/
return (sysinterval_t)((systime_t)(end - start));
+ /*lint -restore*/
}
/**
|