Changes in kernel/genarch/src/acpi/acpi.c [9d58539:b2fa1204] in mainline

File:

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

kernel/genarch/src/acpi/acpi.c

@@ -41 +41 @@
 #include <mm/page.h>
 #include <mm/km.h>
-#include <print.h>
+#include <log.h>
 
 #define RSDP_SIGNATURE      "RSD PTR "
@@ -211 +211 @@
         
         if ((acpi_rsdt) && (!acpi_sdt_check((uint8_t *) acpi_rsdt))) {
-                printf("RSDT: bad checksum\n");
+                log(LF_ARCH, LVL_ERROR, "RSDT: bad checksum");
                 return;
         }
         
         if ((acpi_xsdt) && (!acpi_sdt_check((uint8_t *) acpi_xsdt))) {
-                printf("XSDT: bad checksum\n");
+                log(LF_ARCH, LVL_ERROR, "XSDT: bad checksum");
                 return;
         }