RIOT-OS/RIOT — pull request #1034 by Kijewski (2014-04-18 19:46:38+00:00)
Title: vtimer: fix callback usage

Right now the vtimer callback uses unnecessary type casts, which make understanding it difficult.
Functions like `vtimer_callback()` and `vtimer_tick()` were exposed though they are internal use only.

This PR fixes both.