Returns the current time in milliseconds, may be the same as sys_jiffies or at least based on it.
Definition at line 57 of file sys_arch.cc.