3168c3168,3171
< .mon().secure().exceptUserMode();
---
> .mon().secure()
> .hypRead(FullSystem && system->highestEL() == EL2)
> .privRead(FullSystem && system->highestEL() == EL1)
> .exceptUserMode();