René Kijewski 5f29fed076 core: introduce msg_sent_by_int()
msg_send_int() sets `m->sender_pid = target_pid`. This was used to flag a
message as having been sent by an ISR.

This PR introduces a static inline function `msg_sent_by_int()` and a
specific define for this purpose.
2014-12-18 23:04:03 +01:00
..
2014-09-17 19:54:40 +02:00
2014-09-12 11:50:12 +02:00
2014-10-31 01:24:30 +01:00
2014-11-30 21:22:52 +01:00
2014-12-03 20:18:37 +01:00
2014-10-30 20:16:48 +01:00
2014-10-28 14:25:34 +01:00
2014-08-07 16:31:27 +02:00
2014-12-03 20:42:51 +01:00
2014-08-23 16:16:26 +02:00