You've already forked edk2-platforms
mirror of
https://github.com/Dasharo/edk2-platforms.git
synced 2026-03-06 14:51:43 -08:00
When using ACPI OpRegions to poke device registers, Linux will use the UEFI memory map to decide which memory attributes to use, and so they should not be described as cacheable memory. Since MMIO regions that don't require an OS virtual mapping at runtime don't really belong in the UEFI memory map to begin with, omit them entirely. Signed-off-by: Pete Batard <pete@akeo.ie> Reviewed-by: Philippe Mathieu-Daude <philmd@redhat.com>
28 lines
561 B
C
28 lines
561 B
C
/** @file
|
|
*
|
|
* Copyright (c) 2019, Pete Batard <pete@akeo.ie>
|
|
*
|
|
* SPDX-License-Identifier: BSD-2-Clause-Patent
|
|
*
|
|
**/
|
|
|
|
#ifndef RPI_MEM_H__
|
|
#define RPI_MEM_H__
|
|
|
|
#define RPI_MEM_UNMAPPED_REGION 0
|
|
#define RPI_MEM_BASIC_REGION 1
|
|
#define RPI_MEM_RUNTIME_REGION 2
|
|
#define RPI_MEM_RESERVED_REGION 3
|
|
|
|
typedef struct {
|
|
CONST CHAR16* Name;
|
|
UINTN Type;
|
|
} RPI_MEMORY_REGION_INFO;
|
|
|
|
VOID
|
|
RpiPlatformGetVirtualMemoryInfo (
|
|
IN RPI_MEMORY_REGION_INFO** MemoryInfo
|
|
);
|
|
|
|
#endif /* RPI_MEM_H__ */
|