void systick_init(void) {
 8003b10:	b580      	push	{r7, lr}
 8003b12:	af00      	add	r7, sp, #0
	// Config clocksource to HCLK (72MHz) and generate 1ms IRQ
	systick_ticks = 0;
 8003b14:	4b08      	ldr	r3, [pc, #32]	; (8003b38 <systick_init+0x28>)
 8003b16:	bf00      	nop
 8003b18:	a200      	add	r2, pc, #0	; (adr r2, 8003b1c <systick_init+0xc>)
 8003b1a:	4413      	add	r3, r2
 8003b1c:	4a07      	ldr	r2, [pc, #28]	; (8003b3c <systick_init+0x2c>)
 8003b1e:	589b      	ldr	r3, [r3, r2]
 8003b20:	f04f 0200 	mov.w	r2, #0
 8003b24:	601a      	str	r2, [r3, #0]

	SysTick_Config(72000);
 8003b26:	f641 1040 	movw	r0, #6464	; 0x1940
 8003b2a:	f2c0 0001 	movt	r0, #1
 8003b2e:	f7ff ffbd 	bl	8003aac <SysTick_Config>
}
 8003b32:	46bd      	mov	sp, r7