On second thought: I'm agreeing with @mehlis: this function is better placed in vtimer.c and called ``vtimer_gettimeofday()``