diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-06 16:55:04 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-06 16:55:04 +0000 |
| commit | 3c8445c326a4d566d7322ce54c58f5a57721d51e (patch) | |
| tree | 62f9e01a0c7ab2cf671253a7380bdb63280d235a /os/rt/ports/ARMCMx | |
| parent | 9a77cde34ecdb532fec139d01458a66459ce0758 (diff) | |
| download | ChibiOS-3c8445c326a4d566d7322ce54c58f5a57721d51e.tar.gz ChibiOS-3c8445c326a4d566d7322ce54c58f5a57721d51e.tar.bz2 ChibiOS-3c8445c326a4d566d7322ce54c58f5a57721d51e.zip | |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7720 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/rt/ports/ARMCMx')
| -rw-r--r-- | os/rt/ports/ARMCMx/chcore_v7m.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/os/rt/ports/ARMCMx/chcore_v7m.h b/os/rt/ports/ARMCMx/chcore_v7m.h index 3d72723fb..58f806784 100644 --- a/os/rt/ports/ARMCMx/chcore_v7m.h +++ b/os/rt/ports/ARMCMx/chcore_v7m.h @@ -282,12 +282,16 @@ struct port_intctx { * by an @p port_intctx structure.
*/
#define PORT_SETUP_CONTEXT(tp, workspace, wsize, pf, arg) { \
+ /*lint -save -e9016 -e9087 [18.4, 11.3] Normal pointers arithmetic.*/ \
(tp)->p_ctx.r13 = (struct port_intctx *)((uint8_t *)(workspace) + \
- (wsize) - \
+ (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); \
+ /*lint -restore*/ \
}
/**
|