Searched refs:AcpiS3Range (Results 1 – 1 of 1) sorted by relevance
230 RESERVED_ACPI_S3_RANGE *AcpiS3Range; in ReservedS3Memory() local254 AcpiS3Range = (RESERVED_ACPI_S3_RANGE*) (UINTN) (TsegBase + RESERVED_ACPI_S3_RANGE_OFFSET); in ReservedS3Memory()262 AcpiS3Range->AcpiReservedMemoryBase = (UINT32)(UINTN) AcpiReservedBase; in ReservedS3Memory()263 AcpiS3Range->AcpiReservedMemorySize = PcdGet32 (PcdS3AcpiReservedMemorySize); in ReservedS3Memory()265 AcpiS3Range->SystemMemoryLength = (UINT32)SystemMemoryLength; in ReservedS3Memory()267 DEBUG ((EFI_D_INFO, "S3 Memory Base: %08X\n", AcpiS3Range->AcpiReservedMemoryBase)); in ReservedS3Memory()268 DEBUG ((EFI_D_INFO, "S3 Memory Size: %08X\n", AcpiS3Range->AcpiReservedMemorySize)); in ReservedS3Memory()269 DEBUG ((EFI_D_INFO, "S3 SysMemoryLength: %08X\n", AcpiS3Range->SystemMemoryLength)); in ReservedS3Memory()