Symbol: xskq_prod_write_addr