149 	wmb();  in __vxge_hw_pio_mem_write64()
151 	wmb();  in __vxge_hw_pio_mem_write64()
174 	wmb();  in vxge_hw_vpath_fw_api()
522 	wmb();  in __vxge_hw_legacy_swapper_set()
554 	wmb();  in __vxge_hw_legacy_swapper_set()
1049 			wmb();  in vxge_hw_device_hw_info_get()
3081 	wmb();  in __vxge_hw_vpath_swapper_set()
3084 	wmb();  in __vxge_hw_vpath_swapper_set()
3103 		wmb();  in __vxge_hw_kdfc_swapper_set()
3110 		wmb();  in __vxge_hw_kdfc_swapper_set()
3591 	wmb();  in __vxge_hw_vpath_pci_read()
3594 	wmb();  in __vxge_hw_vpath_pci_read()
4204 	wmb();  in __vxge_hw_vpath_kdfc_configure()