Cleanup unnecessary semicolons from the kernel.

Found with devel/coccinelle.

4 files changed, 4 insertions, 4 deletions

diff --git a/sys/boot/arm/at91/libat91/sd-card.c b/sys/boot/arm/at91/libat91/sd-card.c
index 803d782..d173399 100644
--- a/sys/boot/arm/at91/libat91/sd-card.c
+++ b/sys/boot/arm/at91/libat91/sd-card.c
@@ -187,7 +187,7 @@ MCI_StartReadBlock(unsigned blknum, void *dataBuffer)
 	// (PDC) Receiver Transfer Enable
 	AT91C_BASE_PDC_MCI->PDC_PTCR = (AT91C_PDC_TXTDIS | AT91C_PDC_RXTDIS);
 	AT91C_BASE_PDC_MCI->PDC_RPR  = (unsigned int)dataBuffer;
-	AT91C_BASE_PDC_MCI->PDC_RCR  = SD_BLOCK_SIZE / 4;;
+	AT91C_BASE_PDC_MCI->PDC_RCR  = SD_BLOCK_SIZE / 4;
 	AT91C_BASE_PDC_MCI->PDC_PTCR = AT91C_PDC_RXTEN;
 
 	// SDHC wants block offset, non-HC wants byte offset.
diff --git a/sys/boot/common/part.c b/sys/boot/common/part.c
index 3fad5dd..b349e96 100644
--- a/sys/boot/common/part.c
+++ b/sys/boot/common/part.c
@@ -514,7 +514,7 @@ vtoc8_parttype(uint16_t type)
 		return (PART_FREEBSD_VINUM);
 	case VTOC_TAG_FREEBSD_ZFS:
 		return (PART_FREEBSD_ZFS);
-	};
+	}
 	return (PART_UNKNOWN);
 }
 
diff --git a/sys/boot/userboot/test/test.c b/sys/boot/userboot/test/test.c
index d5707de..bf64e90 100644
--- a/sys/boot/userboot/test/test.c
+++ b/sys/boot/userboot/test/test.c
@@ -273,7 +273,7 @@ test_diskioctl(void *arg, int unit, u_long cmd, void *data)
 		break;
 	default:
 		return (ENOTTY);
-	};
+	}
 	return (0);
 }
 
diff --git a/sys/boot/userboot/userboot/elf64_freebsd.c b/sys/boot/userboot/userboot/elf64_freebsd.c
index 36129ef..19d369d 100644
--- a/sys/boot/userboot/userboot/elf64_freebsd.c
+++ b/sys/boot/userboot/userboot/elf64_freebsd.c
@@ -141,7 +141,7 @@ elf64_exec(struct preloaded_file *fp)
 
 	dev_cleanup();
 
-	stack[0] = 0;		/* return address */;
+	stack[0] = 0;		/* return address */
 	stack[1] = modulep;
 	stack[2] = kernend;
 	CALLBACK(copyin, stack, 0x1000, sizeof(stack));