/* The time is calculated as (Duration * 1000) / Timer_Frequency. */
UINT64 DurationInMicroSeconds(IN UINT64 Duration)
/* The time is calculated as (Duration * 1000) / Timer_Frequency. */
UINT64 DurationInMicroSeconds(IN UINT64 Duration)
{
  return DivU64x32 (Duration, 1000);
}