/ArmVirtPkg/Include/

• ../
• ArmPlatform.h
• Guid
• Protocol