4 files changed, 0 insertions, 7 deletions
diff --git a/src/drivers/pc80/pc/i8254.c b/src/drivers/pc80/pc/i8254.c
index b32ac707ad..914c9aed9c 100644
--- a/src/drivers/pc80/pc/i8254.c
+++ b/src/drivers/pc80/pc/i8254.c
@@ -77,7 +77,6 @@ unsigned long calibrate_tsc_with_pit(void)
 		if (end.hi)
 			goto bad_ctc;
 
-
 		/* Error: ECPUTOOSLOW */
 		if (end.lo <= CALIBRATE_DIVISOR)
 			goto bad_ctc;
diff --git a/src/drivers/pc80/pc/isa-dma.c b/src/drivers/pc80/pc/isa-dma.c
index dbb2362836..5c3fe67920 100644
--- a/src/drivers/pc80/pc/isa-dma.c
+++ b/src/drivers/pc80/pc/isa-dma.c
@@ -32,7 +32,6 @@
 
 #define DMA_AUTOINIT	0x10
 
-
 void isa_dma_init(void)
 {
 	/* slave at 0x00 - 0x0f */
diff --git a/src/drivers/pc80/pc/spkmodem.c b/src/drivers/pc80/pc/spkmodem.c
index ced544e178..9e457f7166 100644
--- a/src/drivers/pc80/pc/spkmodem.c
+++ b/src/drivers/pc80/pc/spkmodem.c
@@ -5,7 +5,6 @@
 
 #define SPEAKER_PIT_FREQUENCY		0x1234dd
 
-
 enum {
 	PIT_COUNTER_0 = 0x40,
 	PIT_COUNTER_1 = 0x41,
@@ -14,7 +13,6 @@ enum {
 	PIT_SPEAKER_PORT = 0x61,
 };
 
-
 enum {
 	PIT_SPK_TMR2 = 0x01,
 	PIT_SPK_DATA = 0x02,
@@ -44,13 +42,11 @@ enum {
 
 	PIT_CTRL_HARDSTROBE = 0x0a,
 
-
 	PIT_CTRL_COUNT_MASK = 0x01,
 	PIT_CTRL_COUNT_BINARY = 0x00,
 	PIT_CTRL_COUNT_BCD = 0x01
 };
 
-
 static void
 make_tone(uint16_t freq_count, unsigned int duration)
 {
diff --git a/src/drivers/pc80/rtc/option.c b/src/drivers/pc80/rtc/option.c
index 0a73cb3232..d17c025b1f 100644
--- a/src/drivers/pc80/rtc/option.c
+++ b/src/drivers/pc80/rtc/option.c
@@ -228,7 +228,6 @@ int cmos_lb_cks_valid(void)
 	return cmos_checksum_valid(LB_CKS_RANGE_START, LB_CKS_RANGE_END, LB_CKS_LOC);
 }
 
-
 void sanitize_cmos(void)
 {
 	const unsigned char *cmos_default;