Searched refs:vxtime_hz (Results 1 – 2 of 2) sorted by relevance
13 #define CLOCK_TICK_RATE (vxtime_hz)65 extern unsigned long vxtime_hz;
33 unsigned long vxtime_hz = 1193182; variable640 vxtime_hz = (1000000000000000L + hpet_period / 2) / hpet_period; in time_init()650 vxtime.quot = (1000000L << 32) / vxtime_hz; in time_init()657 vxtime_hz / 1000000, vxtime_hz % 1000000, timename); in time_init()