diff --git a/sys/dev/bhnd/bhnd_subr.c b/sys/dev/bhnd/bhnd_subr.c
index 51dfb40da994..31007695a36f 100644
--- a/sys/dev/bhnd/bhnd_subr.c
+++ b/sys/dev/bhnd/bhnd_subr.c
@@ -833,7 +833,7 @@ bhnd_alloc_resources(device_t dev, struct resource_spec *rs,
 	}
 
 	return (0);
-};
+}
 
 /**
  * Release bhnd(4) resources defined in @p rs from a parent bus.
@@ -1657,7 +1657,7 @@ bhnd_bus_generic_activate_resource(device_t dev, device_t child, int type,
 	}
 
 	return (error);
-};
+}
 
 /**
  * Helper function for implementing BHND_BUS_DEACTIVATE_RESOURCE().
@@ -1674,5 +1674,5 @@ bhnd_bus_generic_deactivate_resource(device_t dev, device_t child,
 		    child, type, rid, r));
 
 	return (EINVAL);
-};
+}
 
diff --git a/sys/dev/bhnd/bhndb/bhndb.c b/sys/dev/bhnd/bhndb/bhndb.c
index f9d8061a6de6..c5b08276caf1 100644
--- a/sys/dev/bhnd/bhndb/bhndb.c
+++ b/sys/dev/bhnd/bhndb/bhndb.c
@@ -1101,7 +1101,7 @@ bhndb_get_rman(struct bhndb_softc *sc, device_t child, int type)
 			return (NULL);
 		default:
 			return (NULL);
-		};
+		}
 		
 	case BHNDB_ADDRSPACE_BRIDGED:
 		switch (type) {
@@ -1111,7 +1111,7 @@ bhndb_get_rman(struct bhndb_softc *sc, device_t child, int type)
 			return (NULL);
 		default:
 			return (NULL);
-		};
+		}
 	}
 
 	/* Quieten gcc */
@@ -1830,7 +1830,7 @@ bhndb_activate_bhnd_resource(device_t dev, device_t child,
 	}
 
 	return (error);
-};
+}
 
 /**
  * Default bhndb(4) implementation of BHND_BUS_DEACTIVATE_RESOURCE().
@@ -1854,7 +1854,7 @@ bhndb_deactivate_bhnd_resource(device_t dev, device_t child,
 		r->direct = false;
 
 	return (error);
-};
+}
 
 /**
  * Slow path for bhndb_io_resource().