Searched refs:clock_initialized (Results 1 – 1 of 1) sorted by relevance
63 int clock_initialized; variable124 if (!clock_initialized) in decr_intr()211 clock_initialized = 1; in cpu_startclock()