ARM_DSCR_MDBGEN
return !!(dscr & ARM_DSCR_MDBGEN);
if (dscr & ARM_DSCR_MDBGEN)
ARM_DBG_WRITE(c0, c1, 0, (dscr | ARM_DSCR_MDBGEN));
ARM_DBG_WRITE(c0, c2, 2, (dscr | ARM_DSCR_MDBGEN));
if (!(dscr & ARM_DSCR_MDBGEN)) {