Searched refs:HPET_COUNTER_CLK_PERIOD (Results 1 – 1 of 1) sorted by relevance
208 #ifndef HPET_COUNTER_CLK_PERIOD210 #define HPET_COUNTER_CLK_PERIOD (1000000000000000ULL) macro439 hz = (uint32_t)(HPET_COUNTER_CLK_PERIOD / hpet_counter_clk_period_get()); in sys_clock_driver_init()