/* Obtains timestamp counter properties including frequency and value limits. */
EFI_STATUS EFIAPI TimestampDriverGetProperties(OUT EFI_TIMESTAMP_PROPERTIES *Properties)
/* Obtains timestamp counter properties including frequency and value limits. */
EFI_STATUS EFIAPI TimestampDriverGetProperties(OUT EFI_TIMESTAMP_PROPERTIES *Properties)
{
  if (Properties == NULL) {
    return EFI_INVALID_PARAMETER;
  }
  CopyMem ((VOID *)Properties, (VOID *)&mTimestampProperties, sizeof (mTimestampProperties));
  return EFI_SUCCESS;
}