Symbol: litex_read32