HSTR               38 arch/arm/kvm/hyp/switch.c 	write_sysreg(HSTR_T(15), HSTR);
HSTR               60 arch/arm/kvm/hyp/switch.c 	write_sysreg(0, HSTR);