ctxt_mdscr_el1
write_sysreg(*ctxt_mdscr_el1(ctxt), mdscr_el1);
*ctxt_mdscr_el1(ctxt) = read_sysreg(mdscr_el1);