925,926c925
< if (reg == MISCREG_DC_CVAC_Xt || reg == MISCREG_DC_CIVAC_Xt ||
< reg == MISCREG_DC_IVAC_Xt) {
---
> if (reg == MISCREG_DC_CVAC_Xt || reg == MISCREG_DC_CIVAC_Xt) {
3560c3559
< .writes(1);
---
> .writes(1).exceptUserMode();