// Root System Description Pointer (RSDP), ACPI ? 5.2.5.\r
// - Within the RSDP, the RsdtAddress field must be null (zero) and the\r
// XsdtAddresss MUST be a valid, non-null, 64-bit value.\r
- UINT32 RsdtAddr = *(UINT32*)Ptr;\r
+ UINT32 RsdtAddr;\r
+\r
+ RsdtAddr = *(UINT32*)Ptr;\r
+\r
if (RsdtAddr != 0) {\r
IncrementErrorCount ();\r
Print (\r
// Root System Description Pointer (RSDP), ACPI ? 5.2.5.\r
// - Within the RSDP, the RsdtAddress field must be null (zero) and the\r
// XsdtAddresss MUST be a valid, non-null, 64-bit value.\r
- UINT64 XsdtAddr = *(UINT64*)Ptr;\r
+ UINT64 XsdtAddr;\r
+\r
+ XsdtAddr = *(UINT64*)Ptr;\r
+\r
if (XsdtAddr == 0) {\r
IncrementErrorCount ();\r
Print (\r