MDSCR_MDE
READ_SPECIALREG(mdscr_el1) & ~MDSCR_MDE);
READ_SPECIALREG(mdscr_el1) | MDSCR_MDE);
mdscr &= ~(MDSCR_MDE | MDSCR_KDE);
mdscr |= MDSCR_MDE;
READ_SPECIALREG(mdscr_el1) & ~(MDSCR_MDE | MDSCR_KDE));
READ_SPECIALREG(mdscr_el1) & ~(MDSCR_MDE | MDSCR_KDE));