\r
#include <Library/ArmLib.h>\r
\r
-/**\r
- This structure is used to describe a region of the EFI memory map\r
-\r
- Every EFI regions of the system memory described by their physical start address and their size\r
- can have different attributes. Some regions can be tested and other untested.\r
-\r
-**/\r
-typedef struct {\r
- EFI_RESOURCE_ATTRIBUTE_TYPE ResourceAttribute;\r
- EFI_PHYSICAL_ADDRESS PhysicalStart;\r
- UINT64 NumberOfBytes;\r
-} ARM_SYSTEM_MEMORY_REGION_DESCRIPTOR;\r
-\r
/**\r
Return the core position from the value of its MpId register\r
\r