/* Set lptimer Counter. 
Set the value of a lptimer counter. */
void lptimer_set_counter(uint32_t lptimer_peripheral, uint16_t count)
/* Set lptimer Counter. 
Set the value of a lptimer counter. */
void lptimer_set_counter(uint32_t lptimer_peripheral, uint16_t count)
{
	LPTIM_CNT(lptimer_peripheral) = count;
}