[Impact] cntvct_el0 could be left untrapped if reset with the user access bit set
[Test Case] [Regression Risk]
[Impact]
cntvct_el0 could be left untrapped if reset with the user access bit set
[Test Case]
[Regression Risk]