Changeset f4c2b6a in mainline for kernel/genarch/src/acpi/acpi.c

Timestamp:

2008-06-03T14:59:48Z (17 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

2c4fb51

Parents:

b63f8569

Message:

reflect changes in generic code
proper formatting directives
coding style

File:

• kernel/genarch/src/acpi/acpi.c (modified) (4 diffs)

kernel/genarch/src/acpi/acpi.c

@@ -106 +106 @@
                                         goto next;
                                 *signature_map[j].sdt_ptr = h;
-                                printf("%#zp: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
+                                printf("%p: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
                         }
                 }
@@ -127 +127 @@
                                         goto next;
                                 *signature_map[j].sdt_ptr = h;
-                                printf("%#zp: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
+                                printf("%p: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
                         }
                 }
@@ -161 +161 @@
 
 rsdp_found:
-        printf("%#zp: ACPI Root System Description Pointer\n", acpi_rsdp);
+        printf("%p: ACPI Root System Description Pointer\n", acpi_rsdp);
 
         acpi_rsdt = (struct acpi_rsdt *) (unative_t) acpi_rsdp->rsdt_address;
@@ -170 +170 @@
 
         if (acpi_rsdt && !acpi_sdt_check((uint8_t *) acpi_rsdt)) {
-                printf("RSDT: %s\n", "bad checksum");
+                printf("RSDT: bad checksum\n");
                 return;
         }
         if (acpi_xsdt && !acpi_sdt_check((uint8_t *) acpi_xsdt)) {
-                printf("XSDT: %s\n", "bad checksum");
+                printf("XSDT: bad checksum\n");
                 return;
         }