Symbol: process_write_regs32