Symbol: hpi6000_dsp_block_read32