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) {