/* Read lptimer Counter. 
Read back the value of lptimer counter. */
uint16_t lptimer_get_counter(uint32_t lptimer_peripheral)
/* Read lptimer Counter. 
Read back the value of lptimer counter. */
uint16_t lptimer_get_counter(uint32_t lptimer_peripheral)
{
	return LPTIM_CNT(lptimer_peripheral);
}