Searched refs:tco_get_timer_max_value (Results 1 – 3 of 3) sorted by relevance
30 uint32_t tco_get_timer_max_value(void);
157 uint32_t tco_get_timer_max_value(void) in tco_get_timer_max_value() function
493 wdat->max_count = tco_get_timer_max_value(); in acpi_soc_fill_wdat()