XenInfo = XenGetInfoHOB ();\r
ASSERT (XenInfo != NULL);\r
if (XenInfo->RsdpPvh != NULL) {\r
XenInfo = XenGetInfoHOB ();\r
ASSERT (XenInfo != NULL);\r
if (XenInfo->RsdpPvh != NULL) {\r
- DEBUG ((DEBUG_INFO, "%a: Use ACPI RSDP table at 0x%p\n",\r
- gEfiCallerBaseName, XenInfo->RsdpPvh));\r
+ DEBUG ((\r
+ DEBUG_INFO,\r
+ "%a: Use ACPI RSDP table at 0x%p\n",\r
+ gEfiCallerBaseName,\r
+ XenInfo->RsdpPvh\r
+ ));\r
- for (XenAcpiPtr = (UINT8*)(UINTN) XEN_ACPI_PHYSICAL_ADDRESS;\r
- XenAcpiPtr < (UINT8*)(UINTN) XEN_BIOS_PHYSICAL_END;\r
- XenAcpiPtr += 0x10) {\r
-\r
+ for (XenAcpiPtr = (UINT8 *)(UINTN)XEN_ACPI_PHYSICAL_ADDRESS;\r
+ XenAcpiPtr < (UINT8 *)(UINTN)XEN_BIOS_PHYSICAL_END;\r
+ XenAcpiPtr += 0x10)\r
+ {\r
//\r
// RSDP ACPI 1.0 checksum for 1.0/2.0/3.0 table.\r
// This is only the first 20 bytes of the structure\r
//\r
// RSDP ACPI 1.0 checksum for 1.0/2.0/3.0 table.\r
// This is only the first 20 bytes of the structure\r
- EFI_STATUS Status;\r
- UINTN TableHandle;\r
-\r
- EFI_ACPI_DESCRIPTION_HEADER *Rsdt;\r
- EFI_ACPI_DESCRIPTION_HEADER *Xsdt;\r
- VOID *CurrentTableEntry;\r
- UINTN CurrentTablePointer;\r
- EFI_ACPI_DESCRIPTION_HEADER *CurrentTable;\r
- UINTN Index;\r
- UINTN NumberOfTableEntries;\r
- EFI_ACPI_2_0_FIXED_ACPI_DESCRIPTION_TABLE *Fadt2Table;\r
- EFI_ACPI_1_0_FIXED_ACPI_DESCRIPTION_TABLE *Fadt1Table;\r
- EFI_ACPI_2_0_FIRMWARE_ACPI_CONTROL_STRUCTURE *Facs2Table;\r
- EFI_ACPI_1_0_FIRMWARE_ACPI_CONTROL_STRUCTURE *Facs1Table;\r
- EFI_ACPI_DESCRIPTION_HEADER *DsdtTable;\r
-\r
- Fadt2Table = NULL;\r
- Fadt1Table = NULL;\r
- Facs2Table = NULL;\r
- Facs1Table = NULL;\r
- DsdtTable = NULL;\r
- TableHandle = 0;\r
+ EFI_STATUS Status;\r
+ UINTN TableHandle;\r
+\r
+ EFI_ACPI_DESCRIPTION_HEADER *Rsdt;\r
+ EFI_ACPI_DESCRIPTION_HEADER *Xsdt;\r
+ VOID *CurrentTableEntry;\r
+ UINTN CurrentTablePointer;\r
+ EFI_ACPI_DESCRIPTION_HEADER *CurrentTable;\r
+ UINTN Index;\r
+ UINTN NumberOfTableEntries;\r
+ EFI_ACPI_2_0_FIXED_ACPI_DESCRIPTION_TABLE *Fadt2Table;\r
+ EFI_ACPI_1_0_FIXED_ACPI_DESCRIPTION_TABLE *Fadt1Table;\r
+ EFI_ACPI_2_0_FIRMWARE_ACPI_CONTROL_STRUCTURE *Facs2Table;\r
+ EFI_ACPI_1_0_FIRMWARE_ACPI_CONTROL_STRUCTURE *Facs1Table;\r
+ EFI_ACPI_DESCRIPTION_HEADER *DsdtTable;\r
+\r
+ Fadt2Table = NULL;\r
+ Fadt1Table = NULL;\r
+ Facs2Table = NULL;\r
+ Facs1Table = NULL;\r
+ DsdtTable = NULL;\r
+ TableHandle = 0;\r
- CurrentTableEntry = (VOID *) ((UINT8 *) Xsdt +\r
- sizeof (EFI_ACPI_DESCRIPTION_HEADER) +\r
- Index * sizeof (UINT64));\r
- CurrentTablePointer = (UINTN) *(UINT64 *)CurrentTableEntry;\r
- CurrentTable = (EFI_ACPI_DESCRIPTION_HEADER *) CurrentTablePointer;\r
+ CurrentTableEntry = (VOID *)((UINT8 *)Xsdt +\r
+ sizeof (EFI_ACPI_DESCRIPTION_HEADER) +\r
+ Index * sizeof (UINT64));\r
+ CurrentTablePointer = (UINTN)*(UINT64 *)CurrentTableEntry;\r
+ CurrentTable = (EFI_ACPI_DESCRIPTION_HEADER *)CurrentTablePointer;\r
- (UINTN) Fadt2Table->FirmwareCtrl;\r
- DsdtTable = (EFI_ACPI_DESCRIPTION_HEADER *) (UINTN) Fadt2Table->Dsdt;\r
+ (UINTN)Fadt2Table->FirmwareCtrl;\r
+ DsdtTable = (EFI_ACPI_DESCRIPTION_HEADER *)(UINTN)Fadt2Table->Dsdt;\r
- CurrentTableEntry = (UINT32 *) ((UINT8 *) Rsdt +\r
- sizeof (EFI_ACPI_DESCRIPTION_HEADER) +\r
- Index * sizeof (UINT32));\r
+ CurrentTableEntry = (UINT32 *)((UINT8 *)Rsdt +\r
+ sizeof (EFI_ACPI_DESCRIPTION_HEADER) +\r
+ Index * sizeof (UINT32));\r
- (UINTN) Fadt1Table->FirmwareCtrl;\r
- DsdtTable = (EFI_ACPI_DESCRIPTION_HEADER *) (UINTN) Fadt1Table->Dsdt;\r
+ (UINTN)Fadt1Table->FirmwareCtrl;\r
+ DsdtTable = (EFI_ACPI_DESCRIPTION_HEADER *)(UINTN)Fadt1Table->Dsdt;\r