69 static inline uint64_t msi_addr64(XenPTMSI *msi)  in msi_addr64()  argument
71     return (uint64_t)msi->addr_hi << 32 | msi->addr_lo;  in msi_addr64()
240     if (!s->msi) {  in xen_pt_msi_set_enable()
244     return msi_msix_enable(s, s->msi->ctrl_offset, PCI_MSI_FLAGS_ENABLE,  in xen_pt_msi_set_enable()
253     XenPTMSI *msi = s->msi;  in xen_pt_msi_setup()  local
255     if (msi->initialized) {  in xen_pt_msi_setup()
261     rc = msi_msix_setup(s, msi_addr64(msi), msi->data, &pirq, false, 0, true);  in xen_pt_msi_setup()
271     msi->pirq = pirq;  in xen_pt_msi_setup()
279     XenPTMSI *msi = s->msi;  in xen_pt_msi_update()  local
282     return msi_msix_update(s, msi_addr64(msi), msi->data, msi->pirq,  in xen_pt_msi_update()
283                            false, 0, &msi->pirq, msi->mask & 1);  in xen_pt_msi_update()
288     XenPTMSI *msi = s->msi;  in xen_pt_msi_disable()  local
290     if (!msi) {  in xen_pt_msi_disable()
296     msi_msix_disable(s, msi_addr64(msi), msi->data, msi->pirq, false,  in xen_pt_msi_disable()
297                      msi->initialized);  in xen_pt_msi_disable()
300     msi->flags &= ~PCI_MSI_FLAGS_ENABLE;  in xen_pt_msi_disable()
301     msi->initialized = false;  in xen_pt_msi_disable()
302     msi->mapped = false;  in xen_pt_msi_disable()
303     msi->pirq = XEN_PT_UNASSIGNED_PIRQ;  in xen_pt_msi_disable()