On Tue, Jan 08, 2019 at 02:07:19PM +0000, Julien Thierry wrote:
When using VHE, the host needs to clear HCR_EL2.TGE bit in order to interract with guest TLBs, switching from EL2&0 translation regime to EL1&0.
However, some non-maskable asynchronous event could happen while TGE is cleared like SDEI. Because of this address translation operations relying on EL2&0 translation regime could fail (tlb invalidation, userspace access, ...).
Why would an NMI context need to access user space? (just curious what breaks exactly without this patch; otherwise it looks fine)