RIOT-OS/RIOT — pull request #931 by haukepetersen (2014-03-26 18:26:38+00:00)
Title: vtimer: renamed eINT to enableIRQ

For some reason there was one single call to eINT() in vtimer.c, I changed it to enableIRQ() for now.

Correct me if I am wrong: but is the interrupt handling in vtimer_remove() correct? Shouldn't there be some kind of disableIRQ that goes with enable?