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