42 if ((MAX_UINTN == MAX_UINT64) &&
45 Status =
gBS->InstallProtocolInterface (
47 &gEdkiiPlatformHasAcpiGuid,
51 if (EFI_ERROR (Status)) {
61 Status =
gBS->InstallProtocolInterface (
63 &gEdkiiPlatformHasDeviceTreeGuid,
67 if (EFI_ERROR (Status)) {
VOID EFIAPI CpuDeadLoop(VOID)
EFI_STATUS EFIAPI PlatformHasAcpiDt(IN EFI_HANDLE ImageHandle, IN EFI_SYSTEM_TABLE *SystemTable)
#define ASSERT_EFI_ERROR(StatusParameter)
#define PcdGetBool(TokenName)