Files
libopencm3/lib/stm32/vector.c