RIOT-OS/RIOT — pull request #2162 by cgundogan (2014-12-08 14:48:00+00:00)
Title: vtimer: set custom msg_t.type with vtimer_set_msg

Currently, when using vtimer_set_msg the corresponding msg_t is filled
with the MSG_TIMER ("12345") type.
This approach makes it difficult to differentiate between incoming
messages via vtimer_set_msg.

In this PR I introduce another parameter for the vtimer_set_msg
function to specify a custom msg_t type.
If 0 is specified, the implementation will return to the MSG_TIMER type
as before.