DSCR_4
FAIL_IF(write_ckpt_tar_registers(child, TAR_4, PPR_4, DSCR_4));
ptrace_write_ckpt, TAR_4, PPR_4, DSCR_4);
ret = validate_tar_registers(regs, TAR_4, PPR_4, DSCR_4);
FAIL_IF(write_ckpt_tar_registers(child, TAR_4, PPR_4, DSCR_4));
ptrace_write_ckpt, TAR_4, PPR_4, DSCR_4);
ret = validate_tar_registers(regs, TAR_4, PPR_4, DSCR_4);