Symbol: DC395x_read32