Use the recently introduced unified system register accessors for those sysregs that behave differently depending on VHE being in use or not. Reviewe
↧