diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-07 11:07:31 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-07 11:07:31 +0000 |
| commit | 272b51ba236d6636bda3ee961cba35eb489d30af (patch) | |
| tree | 2120de0e1054da930c0c54b7a071f5fd73ac3014 /os/rt/include/chsys.h | |
| parent | 57585301af1df353c3dd3a6e389d074bd4de4fcc (diff) | |
| download | ChibiOS-272b51ba236d6636bda3ee961cba35eb489d30af.tar.gz ChibiOS-272b51ba236d6636bda3ee961cba35eb489d30af.tar.bz2 ChibiOS-272b51ba236d6636bda3ee961cba35eb489d30af.zip | |
MISRAs done for RT.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7727 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/rt/include/chsys.h')
| -rw-r--r-- | os/rt/include/chsys.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/os/rt/include/chsys.h b/os/rt/include/chsys.h index 88814fa16..af725f627 100644 --- a/os/rt/include/chsys.h +++ b/os/rt/include/chsys.h @@ -28,6 +28,8 @@ #ifndef _CHSYS_H_
#define _CHSYS_H_
+/*lint -sem(chSysHalt, r_no)*/
+
/*===========================================================================*/
/* Module constants. */
/*===========================================================================*/
|