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 | |
| 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
| -rw-r--r-- | os/rt/ports/ARMCMx/chcore_v7m.h | 6 | ||||
| -rw-r--r-- | os/rt/src/chschd.c | 1 |
2 files changed, 6 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*/ \
}
/**
diff --git a/os/rt/src/chschd.c b/os/rt/src/chschd.c index bcafb26b5..3de92aec8 100644 --- a/os/rt/src/chschd.c +++ b/os/rt/src/chschd.c @@ -304,6 +304,7 @@ static void wakeup(void *p) { (void) queue_dequeue(tp);
break;
default:
+ /* Any other state, nothing to do.*/
break;
}
tp->p_u.rdymsg = MSG_TIMEOUT;
|