/roms/edk2/ArmPlatformPkg/Library/PL031RealTimeClockLib/