//\r
// Worker functions\r
//\r
+STATIC\r
EFI_STATUS\r
EFIAPI\r
MonotonicCounterDriverGetNextMonotonicCount (\r
@retval EFI_DEVICE_ERROR The variable could not be saved due to a hardware failure.\r
\r
**/\r
+STATIC\r
EFI_STATUS\r
EFIAPI\r
MonotonicCounterDriverGetNextHighMonotonicCount (\r
\r
}\r
\r
+STATIC\r
VOID\r
EFIAPI\r
EfiMtcEventHandler (\r