/* SysTick Set the Automatic Reload Value. 
The counter is set to the reload value when the counter starts and after it reaches zero. */
void systick_set_reload(uint32_t value)
/* SysTick Set the Automatic Reload Value. 
The counter is set to the reload value when the counter starts and after it reaches zero. */
void systick_set_reload(uint32_t value)
{
	STK_RVR = (value & STK_RVR_RELOAD);
}