/* Get AON Sleep Timer module instance current value.  */
uint32_t aon_sleep_timer_get_current_value(void)
/* Get AON Sleep Timer module instance current value.  */
uint32_t aon_sleep_timer_get_current_value(void)
{
	return AON_SLEEP_TIMER0->CURRENT_COUNT_VALUE.reg;
}