//\r
ZeroMem (KernelSetup, 0x1f1);\r
ZeroMem (((UINT8 *)KernelSetup) + SetupEnd, 4096 - SetupEnd);\r
- DEBUG ((EFI_D_INFO, "Cleared kernel setup 0-0x1f1, 0x%Lx-0x1000\n",\r
+ DEBUG ((DEBUG_INFO, "Cleared kernel setup 0-0x1f1, 0x%Lx-0x1000\n",\r
(UINT64)SetupEnd));\r
\r
return EFI_SUCCESS;\r
\r
default:\r
DEBUG ((\r
- EFI_D_ERROR,\r
+ DEBUG_ERROR,\r
"Invalid EFI memory descriptor type (0x%x)!\n",\r
MemoryMap->Type\r
));\r
Bp->hdr.code32_start = (UINT32)(UINTN) Kernel;\r
if (Bp->hdr.version >= 0x20c && Bp->hdr.handover_offset &&\r
(Bp->hdr.xloadflags & (sizeof (UINTN) == 4 ? BIT2 : BIT3))) {\r
- DEBUG ((EFI_D_INFO, "Jumping to kernel EFI handover point at ofs %x\n", Bp->hdr.handover_offset));\r
+ DEBUG ((DEBUG_INFO, "Jumping to kernel EFI handover point at ofs %x\n", Bp->hdr.handover_offset));\r
\r
DisableInterrupts ();\r
JumpToUefiKernel ((VOID*) gImageHandle, (VOID*) gST, KernelSetup, Kernel);\r
//\r
SetupLinuxBootParams (KernelSetup);\r
\r
- DEBUG ((EFI_D_INFO, "Jumping to kernel\n"));\r
+ DEBUG ((DEBUG_INFO, "Jumping to kernel\n"));\r
DisableInterrupts ();\r
SetLinuxDescriptorTables ();\r
JumpToKernel (Kernel, (VOID*) KernelSetup);\r