Symbol: process_read_regs32