3 INF_VERSION = 0x00010005
5 FILE_GUID = 00586300-0E06-4790-AC44-86C56ACBB942
6 MODULE_TYPE = DXE_DRIVER
11 ../Common/ArmLibSupport.S | GCC
12 ../Common/ArmLibSupport.asm | RVCT
16 NullArmCacheInformation.c
23 gEfiCpuArchProtocolGuid
26 gArmTokenSpaceGuid.PcdArmCacheOperationThreshold