diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-07 07:18:08 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-07 07:18:08 +0000 |
| commit | 4de725748239e122b27ff2b31aac32b835e8a2d6 (patch) | |
| tree | 7a5f663a5dcc2c370b51a7d72f5efd5b81d5f6a7 /os/rt/ports | |
| parent | f6374e3911aebabe120f74369fd3dd6ecef489cd (diff) | |
| download | ChibiOS-4de725748239e122b27ff2b31aac32b835e8a2d6.tar.gz ChibiOS-4de725748239e122b27ff2b31aac32b835e8a2d6.tar.bz2 ChibiOS-4de725748239e122b27ff2b31aac32b835e8a2d6.zip | |
More MISRA.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7725 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/rt/ports')
| -rw-r--r-- | os/rt/ports/ARMCMx/chcore_v7m.h | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/os/rt/ports/ARMCMx/chcore_v7m.h b/os/rt/ports/ARMCMx/chcore_v7m.h index 761cffea7..b4fafc736 100644 --- a/os/rt/ports/ARMCMx/chcore_v7m.h +++ b/os/rt/ports/ARMCMx/chcore_v7m.h @@ -282,15 +282,13 @@ struct port_intctx { * by an @p port_intctx structure.
*/
#define PORT_SETUP_CONTEXT(tp, workspace, wsize, pf, arg) { \
- /*lint -save -e9087 [11.3] Normal pointers arithmetic.*/ \
+ /*lint -save -e611 -e9074 -e9087 [11.1, 11.3] Casts are planned here.*/ \
(tp)->p_ctx.r13 = (struct port_intctx *)((uint8_t *)(workspace) + \
(size_t)(wsize) - \
sizeof(struct port_intctx)); \
- /*lint -restore*/ \
- /*lint -save -e9074 -e9087 [11.1, 11.3] Casts are planned here.*/ \
(tp)->p_ctx.r13->r4 = (regarm_t)(pf); \
(tp)->p_ctx.r13->r5 = (regarm_t)(arg); \
- (tp)->p_ctx.r13->lr = (regarm_t)(_port_thread_start); \
+ (tp)->p_ctx.r13->lr = (regarm_t)_port_thread_start; \
/*lint -restore*/ \
}
|