diff --git a/src/acpi/acpi.c b/src/acpi/acpi.c
index 30a07bf..c33d195 100644
--- a/src/acpi/acpi.c
+++ b/src/acpi/acpi.c
@@ -1506,7 +1506,6 @@
 			 */
 			for (int i = 0; existing_rsdt->entry[i]; i++)
 				acpi_add_table(rsdp, (void *)(uintptr_t)existing_rsdt->entry[i]);
-
 		}
 
 		/* Add BOOT0000 for Linux google firmware driver */
diff --git a/src/acpi/acpigen.c b/src/acpi/acpigen.c
index 257bd52..9c04e84 100644
--- a/src/acpi/acpigen.c
+++ b/src/acpi/acpigen.c
@@ -1880,7 +1880,6 @@
 	acpigen_write_return_singleton_buffer(0x0);
 
 	acpigen_write_if_end(); /* If (LEqual (Local0, ToUUID(uuid))) */
-
 }
 
 /*
diff --git a/src/acpi/device.c b/src/acpi/device.c
index 368b86c..7fe5a37 100644
--- a/src/acpi/device.c
+++ b/src/acpi/device.c
@@ -1158,7 +1158,6 @@
 	acpi_dp_add_array(dp, gpio);
 
 	return gpio;
-
 }
 
 
diff --git a/src/acpi/gnvs.c b/src/acpi/gnvs.c
index 827cd2d..1e5d746 100644
--- a/src/acpi/gnvs.c
+++ b/src/acpi/gnvs.c
@@ -30,7 +30,6 @@
 
 	if (dnvs_size)
 		dnvs = (char *)gnvs + gnvs_size;
-
 }
 
 BOOT_STATE_INIT_ENTRY(BS_PRE_DEVICE, BS_ON_EXIT, acpi_create_gnvs, NULL);