MDSCR_EL1
u64 mdscr = vcpu_read_sys_reg(vcpu, MDSCR_EL1) & ~(MDSCR_EL1_SS |
mdscr = vcpu_read_sys_reg(vcpu, MDSCR_EL1);
return &ctxt_sys_reg(ctxt, MDSCR_EL1);
{ SYS_DESC(SYS_MDSCR_EL1), trap_debug_regs, reset_val, MDSCR_EL1, 0 },
{ Op1( 0), CRn( 0), CRm( 2), Op2( 2), trap_debug_regs, NULL, MDSCR_EL1 },