MDSCR_KDE
mdscr = read_sysreg(mdscr_el1) | MDSCR_KDE | MDSCR_MDE;
mdscr = read_sysreg(mdscr_el1) | MDSCR_KDE | MDSCR_SS;