8 void * systick_handler() {
10 // *RANDOM_ADDR = (volatile uint32_t) 0x10101010 ;
16 /* Enable the counter and enable the interrupt
17 * associated with it */
18 *STK_CTRL = (volatile uint32_t) 0x00000003;
20 /* The counter reload register here holds
21 * 0x1000 -- that's 4096 clock cycles -- if
22 * it is down to zero it is restores the value */
23 *STK_RELOAD = (volatile uint32_t) 0x00000400;
25 /* Every time the counter counts down to zero
26 * a systick exception is asserted. Systick has
27 * exception number 15. in the vector table */
28 ivt_set_gate(15, systick_handler, 0);