raw/ifpga: add APIs to get FPGA information

[dpdk.git] / drivers / bus / vmbus / vmbus_channel.c

diff --git a/drivers/bus/vmbus/vmbus_channel.c b/drivers/bus/vmbus/vmbus_channel.c
index ff2985c..f67f1c4 100644 (file)
--- a/drivers/bus/vmbus/vmbus_channel.c
+++ b/drivers/bus/vmbus/vmbus_channel.c
@@ -26,18 +26,6 @@ vmbus_sync_set_bit(volatile uint32_t *addr, uint32_t mask)
        __sync_or_and_fetch(addr, mask);
 }
 
-static inline void
-vmbus_send_interrupt(const struct rte_vmbus_device *dev, uint32_t relid)
-{
-       uint32_t *int_addr;
-       uint32_t int_mask;
-
-       int_addr = dev->int_page + relid / 32;
-       int_mask = 1u << (relid % 32);
-
-       vmbus_sync_set_bit(int_addr, int_mask);
-}
-
 static inline void
 vmbus_set_monitor(const struct rte_vmbus_device *dev, uint32_t monitor_id)
 {
@@ -55,7 +43,6 @@ static void
 vmbus_set_event(const struct rte_vmbus_device *dev,
                const struct vmbus_channel *chan)
 {
-       vmbus_send_interrupt(dev, chan->relid);
        vmbus_set_monitor(dev, chan->monitor_id);
 }
 
@@ -214,7 +201,7 @@ void rte_vmbus_chan_signal_read(struct vmbus_channel *chan, uint32_t bytes_read)
                return;
 
        /* Make sure reading of pending happens after new read index */
-       rte_mb();
+       rte_smp_mb();
 
        pending_sz = rbr->vbr->pending_send;
        if (!pending_sz)