target/xscale: change prototype of xscale_verify_pointer()