Kernel maintains a global variable called jiffies
which holds the number of ticks/timer interrupts from system boot.
Every time a timer interrupt occurs, the value of an internal kernel counter is incremented.
In tickless kernel/dynamic ticks, where the interrupts does not happen periodically, how is the value of jiffies
incremented?