diff --git a/sys/arm/at91/at91_pinctrl.c b/sys/arm/at91/at91_pinctrl.c
index b795d91bf79..7ca379be930 100644
--- a/sys/arm/at91/at91_pinctrl.c
+++ b/sys/arm/at91/at91_pinctrl.c
@@ -126,7 +126,7 @@ at91_pinctrl_setup_dinfo(device_t dev, phandle_t node)
 		resource_list_add(&ndi->rl, SYS_RES_MEMORY, k,
 		    phys, phys + size - 1, size);
 	}
-	free(reg, M_OFWPROP);
+	OF_prop_free(reg);
 
 	nintr = OF_getencprop_alloc(node, "interrupts",  sizeof(*intr),
 	    (void **)&intr);
@@ -154,7 +154,7 @@ at91_pinctrl_setup_dinfo(device_t dev, phandle_t node)
 			resource_list_add(&ndi->rl, SYS_RES_IRQ, k, intr[i],
 			    intr[i], 1);
 		}
-		free(intr, M_OFWPROP);
+		OF_prop_free(intr);
 	}
 
 	return (ndi);
@@ -429,7 +429,7 @@ pinctrl_configure_pins(device_t bus, phandle_t cfgxref)
 			break;
 		}
 	}
-	free(cfgdata, M_OFWPROP);
+	OF_prop_free(cfgdata);
 	return (0);
 }
 
diff --git a/sys/arm/freescale/imx/imx_iomux.c b/sys/arm/freescale/imx/imx_iomux.c
index c130b7838b5..be3a3e81b22 100644
--- a/sys/arm/freescale/imx/imx_iomux.c
+++ b/sys/arm/freescale/imx/imx_iomux.c
@@ -176,7 +176,7 @@ iomux_configure_pins(device_t dev, phandle_t cfgxref)
 			    cfg->padconf_reg, cfg->padconf_val);
 		}
 	}
-	free(cfgtuples, M_OFWPROP);
+	OF_prop_free(cfgtuples);
 	return (0);
 }
 
diff --git a/sys/arm/mv/mv_localbus.c b/sys/arm/mv/mv_localbus.c
index 1bee2a14695..5013da299b9 100644
--- a/sys/arm/mv/mv_localbus.c
+++ b/sys/arm/mv/mv_localbus.c
@@ -234,7 +234,7 @@ fdt_localbus_reg_decode(phandle_t node, struct localbus_softc *sc,
 	}
 	rv = 0;
 out:
-	free(reg, M_OFWPROP);
+	OF_prop_free(reg);
 	return (rv);
 }