Symbol: DC395x_write32