Files
libopencm3/lib/efm32/wg/vector_chipset.c