Here's a couple of patches that address the issues that James mentionned in [1], affecting 32bit guests. I lack a BE-capable host to properly test the first patch, but it is obviously correct (ha! ;-). [1] https://lore.kernel.org/r/20200526161834.29165-1-james.morse@xxxxxxx Marc Zyngier (2): KVM: arm64: Make vcpu_cp1x() work on Big Endian hosts KVM: arm64: Synchronize sysreg state on injecting an AArch32 exception arch/arm64/include/asm/kvm_host.h | 10 ++++++++-- arch/arm64/kvm/aarch32.c | 28 ++++++++++++++++++++++++++++ 2 files changed, 36 insertions(+), 2 deletions(-) -- 2.26.2