3 ms·

VHE is implemented and stuck as on indeed. There's also the fact that only pc and sp are retained on WFI, without the other GPRs. Those quirks only affect bar

by my123 6y ago

VHE is implemented and stuck as on indeed. There's also the fact that only pc and sp are retained on WFI, without the other GPRs. Those quirks only affect bare metal kernel-mode (EL2), and do not affect user-mode or virtualised machines at EL1 in any way.