Symbol: tl_dio_read32