diff --git a/src/drivers/infiniband/hermon.c b/src/drivers/infiniband/hermon.c
index 70e9e4d54..1f2bf66f5 100644
--- a/src/drivers/infiniband/hermon.c
+++ b/src/drivers/infiniband/hermon.c
@@ -2843,6 +2843,7 @@ static int hermon_reset ( struct hermon *hermon ) {
 	pci_backup ( pci, &backup, PCI_CONFIG_BACKUP_ALL, backup_exclude );
 	writel ( HERMON_RESET_MAGIC,
 		 ( hermon->config + HERMON_RESET_OFFSET ) );
+	wmb();
 
 	/* Wait until device starts responding to configuration cycles */
 	for ( i = 0 ; i < HERMON_RESET_MAX_WAIT_MS ; i++ ) {