/* Get the current stimer value. 
This function can be used to read, uninvasively, the value in the stimer. */
uint32_t am_hal_stimer_counter_get(void)
/* Get the current stimer value. 
This function can be used to read, uninvasively, the value in the stimer. */
uint32_t am_hal_stimer_counter_get(void)
{
    return AM_REG(CTIMER, STTMR);
}