|
|
@@ -51,7 +51,7 @@
|
|
|
#include <asm/x86_init.h>
|
|
|
#include <asm/rtc.h>
|
|
|
|
|
|
-#define EFI_DEBUG 1
|
|
|
+#define EFI_DEBUG
|
|
|
|
|
|
#define EFI_MIN_RESERVE 5120
|
|
|
|
|
|
@@ -398,9 +398,9 @@ int __init efi_memblock_x86_reserve_range(void)
|
|
|
return 0;
|
|
|
}
|
|
|
|
|
|
-#if EFI_DEBUG
|
|
|
static void __init print_efi_memmap(void)
|
|
|
{
|
|
|
+#ifdef EFI_DEBUG
|
|
|
efi_memory_desc_t *md;
|
|
|
void *p;
|
|
|
int i;
|
|
|
@@ -415,8 +415,8 @@ static void __init print_efi_memmap(void)
|
|
|
md->phys_addr + (md->num_pages << EFI_PAGE_SHIFT),
|
|
|
(md->num_pages >> (20 - EFI_PAGE_SHIFT)));
|
|
|
}
|
|
|
-}
|
|
|
#endif /* EFI_DEBUG */
|
|
|
+}
|
|
|
|
|
|
void __init efi_reserve_boot_services(void)
|
|
|
{
|
|
|
@@ -696,10 +696,7 @@ void __init efi_init(void)
|
|
|
x86_platform.set_wallclock = efi_set_rtc_mmss;
|
|
|
}
|
|
|
#endif
|
|
|
-
|
|
|
-#if EFI_DEBUG
|
|
|
print_efi_memmap();
|
|
|
-#endif
|
|
|
}
|
|
|
|
|
|
void __init efi_late_init(void)
|