2009-04-04 Yoshinori K. Okuji <okuji@enbug.org>

    * loader/i386/efi/linux.c (fake_bios_data): Use grub_dprintf
    instead of grub_printf.

diff --git a/ChangeLog b/ChangeLog
index bb3b98a648fb1f476314d1600d617de8b0a585d3..12394bad6afcac018a1950b5b17e1a2e13c1e0ba 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-04-04  Yoshinori K. Okuji  <okuji@enbug.org>
+
+       * loader/i386/efi/linux.c (fake_bios_data): Use grub_dprintf
+       instead of grub_printf.
+
 2009-04-03  Robert Millan  <rmh@aybabtu.com>
 
        * loader/i386/linux.c (grub_linux_setup_video): Fill

diff --git a/loader/i386/efi/linux.c b/loader/i386/efi/linux.c
index c62198a4a43fcc9f5f8a2d0034bfe54f87b741e1..d8c6a67c1b5754f1962d644c9fe613e71c9defe2 100644 (file)
--- a/loader/i386/efi/linux.c
+++ b/loader/i386/efi/linux.c
@@ -306,7 +306,7 @@ fake_bios_data (void)
       if (! grub_memcmp (guid, &acpi2_guid, sizeof (grub_efi_guid_t)))
        {
          acpi = grub_efi_system_table->configuration_table[i].vendor_table;
-         grub_printf ("ACPI2: %p\n", acpi);
+         grub_dprintf ("linux", "ACPI2: %p\n", acpi);
        }
       else if (! grub_memcmp (guid, &acpi_guid, sizeof (grub_efi_guid_t)))
        {
@@ -315,7 +315,7 @@ fake_bios_data (void)
          t = grub_efi_system_table->configuration_table[i].vendor_table;
          if (! acpi)
            acpi = t;
-         grub_printf ("ACPI: %p\n", t);
+         grub_dprintf ("linux", "ACPI: %p\n", t);
        }
     }