How time is updated when tick interrupts are disabled