/* Get COUNTER_CLK_PERIOD. 
Usually the period is in femtoseconds. If this is not the case, define HPET_COUNTER_CLK_PERIOD in soc.h so it can be used to calculate frequency. */
static uint32_t hpet_counter_clk_period_get(void)
/* Get COUNTER_CLK_PERIOD. 
Usually the period is in femtoseconds. If this is not the case, define HPET_COUNTER_CLK_PERIOD in soc.h so it can be used to calculate frequency. */
static uint32_t hpet_counter_clk_period_get(void)
{
	return sys_read32(CLK_PERIOD_REG);
}