f73cefd412
it returns time in microseconds instead of HZ (feel difference!) 2) change GET_TIME type to unsigned long in all places to prevent overflow