How do I manually convert jiffies to milliseconds and vice versa in Linux? I know kernel 2.6 has a function for this, but I\'m working on 2.4 (homework) and though I looked
To obtain the USER_HZ value (see the comments under the accepted answer) using CLI:
getconf CLK_TCK