hstr_el2 75 arch/arm64/kvm/hyp/switch.c write_sysreg(1 << 15, hstr_el2); hstr_el2 90 arch/arm64/kvm/hyp/switch.c write_sysreg(0, hstr_el2);