/roms/edk2/ArmVirtPkg/Library/XenArmGenericTimerVirtCounterLib/

• ../
• XenArmGenericTimerVirtCounterLib.c
• XenArmGenericTimerVirtCounterLib.inf