audk/ArmVirtPkg/Library/XenRealTimeClockLib
..
XenRealTimeClockLib.c
XenRealTimeClockLib.inf