Symbol: wfx_write32_locked