diff --git a/sys/ofed/drivers/infiniband/core/ib_cache.c b/sys/ofed/drivers/infiniband/core/ib_cache.c
--- a/sys/ofed/drivers/infiniband/core/ib_cache.c
+++ b/sys/ofed/drivers/infiniband/core/ib_cache.c
@@ -465,7 +465,7 @@
 	struct ib_gid_table *table;
 	u8 p;
 	int local_index;
-	unsigned long flags;
+	unsigned long flags __writeonly;
 
 	for (p = 0; p < ib_dev->phys_port_cnt; p++) {
 		table = ports_table[p];
@@ -514,7 +514,7 @@
 	unsigned long mask = GID_ATTR_FIND_MASK_GID |
 			     GID_ATTR_FIND_MASK_GID_TYPE;
 	struct ib_gid_attr val = {.ndev = ndev, .gid_type = gid_type};
-	unsigned long flags;
+	unsigned long flags __writeonly;
 
 	if (!rdma_is_port_valid(ib_dev, port))
 		return -ENOENT;
@@ -570,7 +570,7 @@
 	struct ib_gid_table **ports_table = ib_dev->cache.gid_cache;
 	struct ib_gid_table *table;
 	unsigned int i;
-	unsigned long flags;
+	unsigned long flags __writeonly;
 	bool found = false;
 
 	if (!ports_table)
@@ -879,7 +879,7 @@
 		      struct ib_gid_attr *gid_attr)
 {
 	int res;
-	unsigned long flags;
+	unsigned long flags __writeonly;
 	struct ib_gid_table **ports_table = device->cache.gid_cache;
 	struct ib_gid_table *table = ports_table[port_num - rdma_start_port(device)];
 
@@ -929,7 +929,7 @@
 		       u16              *pkey)
 {
 	struct ib_pkey_cache *cache;
-	unsigned long flags;
+	unsigned long flags __writeonly;
 	int ret = 0;
 
 	if (!rdma_is_port_valid(device, port_num))
@@ -956,7 +956,7 @@
 			u16              *index)
 {
 	struct ib_pkey_cache *cache;
-	unsigned long flags;
+	unsigned long flags __writeonly;
 	int i;
 	int ret = -ENOENT;
 	int partial_ix = -1;
@@ -997,7 +997,7 @@
 			      u16              *index)
 {
 	struct ib_pkey_cache *cache;
-	unsigned long flags;
+	unsigned long flags __writeonly;
 	int i;
 	int ret = -ENOENT;
 
@@ -1027,7 +1027,7 @@
 		      u8                port_num,
 		      u8                *lmc)
 {
-	unsigned long flags;
+	unsigned long flags __writeonly;
 	int ret = 0;
 
 	if (!rdma_is_port_valid(device, port_num))
diff --git a/sys/ofed/drivers/infiniband/core/ib_cm.c b/sys/ofed/drivers/infiniband/core/ib_cm.c
--- a/sys/ofed/drivers/infiniband/core/ib_cm.c
+++ b/sys/ofed/drivers/infiniband/core/ib_cm.c
@@ -4057,7 +4057,7 @@
 	struct ib_port_modify port_modify = {
 		.set_port_cap_mask = IB_PORT_CM_SUP
 	};
-	unsigned long flags;
+	unsigned long flags __writeonly;
 	int ret;
 	int count = 0;
 	u8 i;
@@ -4150,7 +4150,7 @@
 	struct ib_port_modify port_modify = {
 		.clr_port_cap_mask = IB_PORT_CM_SUP
 	};
-	unsigned long flags;
+	unsigned long flags __writeonly;
 	int i;
 
 	if (!cm_dev)