target/mips_m4k: change prototype of mips_m4k_verify_pointer()