ESR_ELx_S1PTW
return !!(kvm_vcpu_get_esr(vcpu) & ESR_ELx_S1PTW);
if ((esr & ESR_ELx_S1PTW) && esr_fsc_is_permission_fault(esr))
return (esr_fsc_is_sea_ttw(esr) && (esr & ESR_ELx_S1PTW));
(esr & ESR_ELx_S1PTW) >> ESR_ELx_S1PTW_SHIFT);