Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/genarch/src/acpi/acpi.c	(revision c1f44ca9058d587a92a07d661a9e0197a5bf1f93)
@@ -65,5 +65,6 @@
 };
 
-static int rsdp_check(uint8_t *_rsdp) {
+static int rsdp_check(uint8_t *_rsdp)
+{
 	struct acpi_rsdp *rsdp = (struct acpi_rsdp *) _rsdp;
 	uint8_t sum = 0;
@@ -119,10 +120,10 @@
 	size_t i;
 	size_t j;
-	size_t cnt = (acpi_rsdt->header.length - sizeof(struct acpi_sdt_header))
-	    / sizeof(uint32_t);
+	size_t cnt = (acpi_rsdt->header.length - sizeof(struct acpi_sdt_header)) /
+	    sizeof(uint32_t);
 
 	for (i = 0; i < cnt; i++) {
-		for (j = 0; j < sizeof(signature_map)
-		    / sizeof(struct acpi_signature_map); j++) {
+		for (j = 0; j < sizeof(signature_map) /
+		    sizeof(struct acpi_signature_map); j++) {
 			struct acpi_sdt_header *hdr =
 			    (struct acpi_sdt_header *) (sysarg_t) acpi_rsdt->entry[i];
@@ -145,10 +146,10 @@
 	size_t i;
 	size_t j;
-	size_t cnt = (acpi_xsdt->header.length - sizeof(struct acpi_sdt_header))
-	    / sizeof(uint64_t);
+	size_t cnt = (acpi_xsdt->header.length - sizeof(struct acpi_sdt_header)) /
+	    sizeof(uint64_t);
 
 	for (i = 0; i < cnt; i++) {
-		for (j = 0; j < sizeof(signature_map)
-		    / sizeof(struct acpi_signature_map); j++) {
+		for (j = 0; j < sizeof(signature_map) /
+		    sizeof(struct acpi_signature_map); j++) {
 			struct acpi_sdt_header *hdr =
 			    (struct acpi_sdt_header *) ((uintptr_t) acpi_xsdt->entry[i]);
@@ -184,6 +185,6 @@
 	for (i = (ebda ? 0 : 1); i < 2; i++) {
 		for (j = 0; j < length[i]; j += 16) {
-			if ((*((uint64_t *) &addr[i][j]) == *sig)
-			    && (rsdp_check(&addr[i][j]))) {
+			if ((*((uint64_t *) &addr[i][j]) == *sig) &&
+			    (rsdp_check(&addr[i][j]))) {
 				acpi_rsdp = (struct acpi_rsdp *) &addr[i][j];
 				goto rsdp_found;
Index: kernel/genarch/src/acpi/madt.c
===================================================================
--- kernel/genarch/src/acpi/madt.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/genarch/src/acpi/madt.c	(revision c1f44ca9058d587a92a07d661a9e0197a5bf1f93)
@@ -225,5 +225,5 @@
 		case MADT_IO_APIC:
 			madt_io_apic_entry((struct madt_io_apic *) hdr, i);
-		break;
+			break;
 		case MADT_INTR_SRC_OVRD:
 			madt_intr_src_ovrd_entry((struct madt_intr_src_ovrd *) hdr, i);
@@ -240,6 +240,6 @@
 			break;
 		default:
-			if ((hdr->type >= MADT_RESERVED_SKIP_BEGIN)
-			    && (hdr->type <= MADT_RESERVED_SKIP_END))
+			if ((hdr->type >= MADT_RESERVED_SKIP_BEGIN) &&
+			    (hdr->type <= MADT_RESERVED_SKIP_END))
 				log(LF_ARCH, LVL_NOTE,
 				    "MADT: Skipping reserved entry (type=%" PRIu8 ")",