/* Monotonic counter event handler. This handler updates the high part of monotonic counter. */
VOID EFIAPI EfiMtcEventHandler(IN EFI_EVENT Event, IN VOID *Context)
/* Monotonic counter event handler. This handler updates the high part of monotonic counter. */
VOID EFIAPI EfiMtcEventHandler(IN EFI_EVENT Event, IN VOID *Context)
{
  UINT32  HighCount;
  MonotonicCounterDriverGetNextHighMonotonicCount (&HighCount);
}