Symbol: p54spi_read32