Searched refs:HPET_COUNTER_CLK_PERIOD (Results 1 – 2 of 2) sorted by relevance
22 #define HPET_COUNTER_CLK_PERIOD (1000000000000ULL) macro
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()