#include <Library/ResetSystemLib.h> // ResetShutdown()\r
#include <OvmfPlatforms.h> // PIIX4_PMBA_VALUE\r
\r
-STATIC UINT16 mAcpiPmBaseAddress;\r
+STATIC UINT16 mAcpiPmBaseAddress;\r
\r
EFI_STATUS\r
EFIAPI\r
DxeResetInit (\r
- IN EFI_HANDLE ImageHandle,\r
- IN EFI_SYSTEM_TABLE *SystemTable\r
+ IN EFI_HANDLE ImageHandle,\r
+ IN EFI_SYSTEM_TABLE *SystemTable\r
)\r
{\r
- UINT16 HostBridgeDevId;\r
+ UINT16 HostBridgeDevId;\r
\r
HostBridgeDevId = PcdGet16 (PcdOvmfHostBridgePciDevId);\r
switch (HostBridgeDevId) {\r
- case INTEL_82441_DEVICE_ID:\r
- mAcpiPmBaseAddress = PIIX4_PMBA_VALUE;\r
- break;\r
- case INTEL_Q35_MCH_DEVICE_ID:\r
- mAcpiPmBaseAddress = ICH9_PMBASE_VALUE;\r
- break;\r
- default:\r
- ASSERT (FALSE);\r
- CpuDeadLoop ();\r
- return EFI_UNSUPPORTED;\r
+ case INTEL_82441_DEVICE_ID:\r
+ mAcpiPmBaseAddress = PIIX4_PMBA_VALUE;\r
+ break;\r
+ case INTEL_Q35_MCH_DEVICE_ID:\r
+ mAcpiPmBaseAddress = ICH9_PMBASE_VALUE;\r
+ break;\r
+ default:\r
+ ASSERT (FALSE);\r
+ CpuDeadLoop ();\r
+ return EFI_UNSUPPORTED;\r
}\r
\r
return EFI_SUCCESS;\r