$E000E010 constant STK_CTRL         \ SysTick control register
$E000E014 constant STK_LOAD         \ SysTick reload value register
$E000E018 constant STK_VAL          \ SysTick current value register
$E000E01C constant STK_CALIB        \ SysTick calibration value register
