Searched refs:RsdPtr (Results 1 - 2 of 2) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/AcpiPlatformDxe/
H A DAcpiPlatform.c238 EFI_ACPI_2_0_ROOT_SYSTEM_DESCRIPTION_POINTER *RsdPtr; local
264 RsdPtr = (EFI_ACPI_2_0_ROOT_SYSTEM_DESCRIPTION_POINTER*)FindAcpiRsdPtr();
265 ASSERT(RsdPtr != NULL);
266 TablesPage = (VOID*)(UINTN)((RsdPtr->RsdtAddress) & ~0xfff);
/vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/PlatformPei/
H A DPlatform.c242 EFI_PHYSICAL_ADDRESS RsdPtr; local
293 RsdPtr = (EFI_PHYSICAL_ADDRESS)(UINTN)FindAcpiRsdPtr();
294 ASSERT(RsdPtr != 0);
295 AcpiTables = (EFI_PHYSICAL_ADDRESS)*(UINT32*)((UINTN)RsdPtr + 16) & ~0xfff;

Completed in 2171 milliseconds