/* Return the value of the Timer Configuration Register. 
This reads and returns the value of the Timer Configuration Register of Timer #0. */
static uint32_t hpet_timer_conf_get(void)
/* Return the value of the Timer Configuration Register. 
This reads and returns the value of the Timer Configuration Register of Timer #0. */
static uint32_t hpet_timer_conf_get(void)
{
	return sys_read32(TIMER0_CONF_REG);
}