HSR_DABT_S1PTW    209 arch/arm/include/asm/kvm_emulate.h 	return kvm_vcpu_get_hsr(vcpu) & HSR_DABT_S1PTW;
HSR_DABT_S1PTW    123 arch/arm/kvm/hyp/switch.c 	if (!(hsr & HSR_DABT_S1PTW) && (hsr & HSR_FSC_TYPE) == FSC_PERM) {