Symbol: to_stm32_pcie