Lines Matching refs:fault_ipa
1370 dist_read(struct vcpu *vcpu, uint64_t fault_ipa, uint64_t *rval, in dist_read() argument
1383 if (fault_ipa < vgic->dist_start || fault_ipa + size > vgic->dist_end) { in dist_read()
1387 reg = fault_ipa - vgic->dist_start; in dist_read()
1408 dist_write(struct vcpu *vcpu, uint64_t fault_ipa, uint64_t wval, in dist_write() argument
1421 if (fault_ipa < vgic->dist_start || fault_ipa + size > vgic->dist_end) { in dist_write()
1425 reg = fault_ipa - vgic->dist_start; in dist_write()
1613 redist_read(struct vcpu *vcpu, uint64_t fault_ipa, uint64_t *rval, in redist_read() argument
1628 if (fault_ipa < vgic->redist_start || in redist_read()
1629 fault_ipa + size > vgic->redist_end) { in redist_read()
1633 vcpuid = (fault_ipa - vgic->redist_start) / in redist_read()
1657 raise_data_insn_abort(hypctx, fault_ipa, true, in redist_read()
1662 reg = (fault_ipa - vgic->redist_start) % in redist_read()
1691 redist_write(struct vcpu *vcpu, uint64_t fault_ipa, uint64_t wval, in redist_write() argument
1706 if (fault_ipa < vgic->redist_start || in redist_write()
1707 fault_ipa + size > vgic->redist_end) { in redist_write()
1711 vcpuid = (fault_ipa - vgic->redist_start) / in redist_write()
1734 raise_data_insn_abort(hypctx, fault_ipa, true, in redist_write()
1739 reg = (fault_ipa - vgic->redist_start) % in redist_write()