Comment 4 for bug 1855072

Revision history for this message
Julien Freche (jfreche) wrote :

I tested in AArch64 mode and it worked for me. Looking at the patch, we might be missing trapping for "TTBCR"in AA32 though.