/ArmPkg/Include/Protocol/

• ../
• TimerDebugSupport.h
• VirtualUncachedPages.h