target/mips32: change prototype of mips32_verify_pointer()