Symbol: flush_wc
drivers/infiniband/hw/hfi1/chip.c
9966
flush_wc();
drivers/infiniband/hw/hfi1/exp_rcv.h
101
flush_wc();
drivers/infiniband/hw/hfi1/file_ops.c
643
flush_wc();
drivers/infiniband/hw/hfi1/netdev_rx.c
94
flush_wc();